Zakład Oprogramowania i Architektury Komputerów

Analiza i projektowanie systemów cyfrowych z uwzględnieniem praktycznych aspektów architektury, oprogramowania systemowego i aplikacyjnego
modelowanie, metody formalne i narzędzia do projektowania systemów informatycznych przetwarzanie równoległe, rozproszone, protokoły komunikacyjne metodyka projektowania i wytwarzania oprogramowania systemy wbudowane i czasu rzeczywistego wiarygodność systemów komputerowych (niezawodność, dostępność, wydajność, bezpieczeństwo, itp.) testowanie sprzętu i oprogramowania, diagnostyka oraz tolerowanie błędów w systemach cyfrowych zaawansowana synteza logiczna
Bieżące prace badawcze:
analiza propagacji i efektów błędów oraz techniki ich obsługi http://staff.ii.pw.edu.pl/organisation/Dependability.html analizator zakleszczeń DedAn http://staff.ii.pw.edu.pl/dedan/ metodologia projektowania i weryfikacja złożonych systemów modele programowania techniki oraz zastosowania analizy danych w sterowaniu, monitorowaniu systemów i odkrywaniu wiedzy

« Kierownik Zakładu Wyposażenie laboratorium »

Ostatnia modyfikacja: środa, 4 maja 2016, 11:37:52, Bożenna Skalska

Kalendarz Instytutu Informatyki

Aktualności

Wyniki Wyborów Członków Komitetów Naukowych PAN na kadencję ‪2020-2023

Miło nam poinformować, że dwóch profesorów z naszego Instytutu - prof. dr hab. Przemysław Rokita oraz prof. dr hab. Henryk Rybiński - zostało członkami Komitetu Informatyki Polskiej Akademii Nauk na kadencję 2020-2023.

Studenci Koła Naukowego Sztucznej Inteligencji „Golem” zwycięzcami hackathonu AI Games w Gdańsku

W dniach 18-19 stycznia 2020 odbywał się w Gdańsku hackathon pn. AI games z trzema konkurencjami dotyczącymi analizy danych. Silnie reprezentowane było na nim Koło Naukowe Sztucznej Inteligencji „Golem”. Koło działa na naszym wydziale i aktywnie współpracuje z Zakładem Sztucznej Inteligencji.

dr hab. inż. Wojciech Mazurczyk profesorem uczelni

Decyzją Rektora PW, dr hab. inż. Wojciech Mazurczyk z dniem 1 stycznia 2020

, otrzymał stanowisko profesora uczelni.

Składamy serdeczne gratulacje oraz życzymy wielu sukcesów.

dr inż.Krzysztof Cabaj doktorem habilitowanym

Z przyjemnością informujemy, że 3 grudnia br. Rada Naukowa Dyscypliny Informatyka Techniczna i Telekomunikacja Politechniki Warszawskiej nadała dr. inż. Krzysztofowi Cabajowi stopień naukowy doktora habilitowanego nauk technicznych.
Dyrekcja i pracownicy instytutu serdecznie gratulują.

Złota Kreda dla Zastępcy Dyrektora ds. Dydaktycznych mgr inż. Kożuszka

Z zadowoleniem informujemy, że 3 grudnia br. zastępca dyrektora ds. dydaktycznych mgr inż.. Rajmund Kożuszek otrzymał Złotą Kredę – nagrodę przyznaną przez Samorząd Studencki WEiTI jako wyraz uznania studentów dla jakości jego wykładów.

Dyrekcja i pracownicy instytutu serdecznie gratulują.

Praca w Instytucie Informatyki

Szukamy osób do realizacji projektu związanego z logistyką i optymalizacją, prowadzonego przez Instytut Informatyki.

Kurs wprowadzający do programowania w Androidzie

W ramach wykładu WPAM (ale otwarty dla wszystkich) będzie w najbliższy czwartek (5-go grudnia, o godzinie 10:15 w sali 170) zorganizowany krótki kurs programowania dla systemu Android. Jeśli chcesz (lub musisz :-) napisać aplikację dla Androida, a nie wiesz jak zacząć - to to spotkanie może być dla Ciebie.

Medale KEN 2019

Medal KEN

Z przyjemnością informujemy, że grupa nauczycieli akademickich z naszego Instytutu, została odznaczona za swoją działalność dydaktyczną, Medalem Komisji Edukacji Narodowej. Serdecznie gratulujemy!

Marek Adamek obronił pracę doktorską

W dniu 19 listopada 2019 roku Marek Adamek obronił rozprawę doktorską pt. "Rozwój aplikacji logik temporalnychw zastosowaniach informatycznych " . Promotorem rozprawy był prof. dr hab. inż. Jan Mulawka

More....