OTWARCIE NOWEJ SIEDZIBY INSTYTUTU PODSTAW INFORMATYKI PAN

Instytut Podstaw Informatyki PAN

OTWARCIE NOWEJ SIEDZIBY INSTYTUTU PODSTAW INFORMATYKI

PAN


Słowo o historii

• 1976: Centrum Obliczeniowe PAN przekształcone w IPI PAN

• 1971: Dzięki Prof. Zdzisławowi Pawlakowi i „jego ludziom” z IM PAN, IMM oraz IM UW Centrum Obliczeniowe PAN ośrodkiem badawczym podstaw informatyki


Słowo o historii, c.d.

• 1971 i nieco później: do CO PAN przychodzą m.in. Andrzej Blikle, Piotr Dembiński, Witold Lipski, Jerzy Łoś, Leon Łukaszewicz, Antoni Mazurkiewicz, Józef Winkowski

• 1961: utworzenie CO PAN – Mieczysław Warmus, Romuald Marczyński


Słowo o historii, c.d.

• Warszawa, rok 1952 i później: IM PAN i GAM - ARR, EMAL, XYZ; ZAM przekształcony w IMM - ZAM 2, SAS, SAKO, …

• IPI PAN jest częścią i też owocem tej historii


W IPI przez długi czas

• działał Zespół Baz Danych i Inżynierii Oprogramowania

• oraz Zespół Grafiki Komputerowej i Przetwarzania Obrazów


Dziś, najczęściej od początku istnienia IPI,

prowadzimy badania w następujących obszarach:


Podstawy Logiczne i Algebraiczne

• Metody logiczne w informatyce

• Teoria procesów współbieżnych

• Specyfikacje oprogramowania

M M ⊨⊨φφ

Teoria SystemówRozproszonych

• Weryfikacja systemów rozproszonych, wieloagentowych, czasu rzeczywistego, protokołów kryptograficznych: system weryfikacyjny VerICS,• Automatyczna kompozycja usług

sieciowych: system PlanICS.



Technologie Usług Internetowych

• e-Biznes & paradygmat SOA–Neiberia - serwis społecznościowy dla

Małych i Średnich Przedsiębiorstw w relacjach C2B & B2C & B2B

• Internet rzeczy czyli współdziałanie inteligentnych urządzeń (też robotów) i ludzi

INTERNET


Kryptologia

• Projektowanie i łamanie szyfrów metodami teorii liczb, algebry i logiki matematycznej

• Współdzielenie sekretów • Analiza siły kryptograficznej algorytmów

funkcji skrótu


Architektura Komputerowa

• Nowe rozwiązania architektury komunikacji w systemach równoległych

• Metody optymalizacji obliczeń w systemach równoległych

• Modelowanie grafowe programów i systemów równoległych


Systemy Inteligentne

• Inżynieria pozyskiwania wiedzy–wyszukiwarki internetowe–wiedza z danych, tekstu i hipertekstu

• Metaheurystyki w optymalizacji –dynamika otoczenia, śledzenie trendów


Inżynieria Lingwistyczna

• Tworzenie zasobów językowych• Przetwarzanie tekstów polskich

(składniowe, semantyczne, nazwy własne…)

• Wydobywanie informacji z tekstów


Modelowanie i Analiza Statystyczna

• Wnioskowanie statystyczne dla modeli regresyjnych i szeregów czasowych

• Analiza skomplikowanych struktur zależności stochastycznej

• Rozwój metod i zastosowania teorii informacji


Teoria Gier i Decyzji

• Matematyczne i informatyczne wspomaganie procesów decyzyjnych

• Badanie gier i schematów decyzyjnych pod kątem zastosowań

• Tworzenie i doskonalenie niezbędnych środków matematycznych

♣

♦TG&D


Na koniec parę faktów i liczb

Aktualnie:• 3 projekty UE• 4 projekty POIG, 1 POKL (Studium

Doktoranckie)• 5+1 projektów badawczych (w tym 1

w ramach programów strategicznych), 1 projekt B+R


Parę faktów i liczb, c.d.

• Rada Naukowa IPI PAN średnio nadaje 3 habilitacje i 5 doktoratów rocznie

• IPI PAN prowadzi bibliotekę środowiskową

• i wydaje kwartalnik Machine GRAPHICS & VISION

OTWARCIE NOWEJ SIEDZIBY INSTYTUTU PODSTAW INFORMATYKI PAN

Documents

Transcript of OTWARCIE NOWEJ SIEDZIBY INSTYTUTU PODSTAW INFORMATYKI PAN