OTWARCIE NOWEJ SIEDZIBY INSTYTUTU PODSTAW INFORMATYKI PAN Instytut 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 Instytut Podstaw Informatyki PAN

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

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

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

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

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

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

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

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

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

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

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

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

♣♦ 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

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

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