OTWARCIE NOWEJ SIEDZIBY INSTYTUTU PODSTAW INFORMATYKI PAN

Prezentacja na temat: "OTWARCIE NOWEJ SIEDZIBY INSTYTUTU PODSTAW INFORMATYKI PAN"— Zapis prezentacji:

1 OTWARCIE NOWEJ SIEDZIBY INSTYTUTU PODSTAW INFORMATYKI PAN
Instytut Podstaw Informatyki PAN

2 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 Instytut Podstaw Informatyki PAN

3 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 Instytut Podstaw Informatyki PAN

4 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 Instytut Podstaw Informatyki PAN

5 W IPI przez długi czas działał Zespół Baz Danych i Inżynierii Oprogramowania oraz Zespół Grafiki Komputerowej i Przetwarzania Obrazów Instytut Podstaw Informatyki PAN

6 Dziś, najczęściej od początku istnienia IPI, prowadzimy badania w następujących obszarach:
Instytut Podstaw Informatyki PAN

7 Podstawy Logiczne i Algebraiczne
M ⊨φ Podstawy Logiczne i Algebraiczne Metody logiczne w informatyce Teoria procesów współbieżnych Specyfikacje oprogramowania Instytut Podstaw Informatyki PAN

8 Teoria Systemów Rozproszonych
Weryfikacja systemów rozproszonych, wieloagentowych, czasu rzeczywistego, protokołów kryptograficznych: system weryfikacyjny VerICS, Automatyczna kompozycja usług sieciowych: system PlanICS. Instytut Podstaw Informatyki PAN

9 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 Instytut Podstaw Informatyki PAN

10 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 Instytut Podstaw Informatyki PAN

11 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 Instytut Podstaw Informatyki PAN

12 Systemy Inteligentne Inżynieria pozyskiwania wiedzy
wyszukiwarki internetowe wiedza z danych, tekstu i hipertekstu Metaheurystyki w optymalizacji dynamika otoczenia, śledzenie trendów Instytut Podstaw Informatyki PAN

13 Inżynieria Lingwistyczna
Tworzenie zasobów językowych Przetwarzanie tekstów polskich (składniowe, semantyczne, nazwy własne…) Wydobywanie informacji z tekstów Instytut Podstaw Informatyki PAN

14 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 Instytut Podstaw Informatyki PAN

15 ♣♦ Teoria Gier i Decyzji TG&D
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 Instytut Podstaw Informatyki PAN

16 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 Instytut Podstaw Informatyki PAN

17 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 Instytut Podstaw Informatyki PAN