OTWARCIE NOWEJ SIEDZIBY INSTYTUTU PODSTAW INFORMATYKI PAN

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. M ⊨φ Podstawy Logiczne i Algebraiczne • Metody logiczne w informatyce • Teoria procesów współbieżnych • Specyfikacje oprogramowania Instytut Podstaw Informatyki PAN

8. Teoria SystemówRozproszonych • 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 INTERNET 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. ♣♦ TG&D 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 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