Post on 11-Jan-2016
description
Instytut Podstaw Informatyki PAN
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
• 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.
Instytut Podstaw Informatyki PAN
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
INTERNET
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
• 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
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