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

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

dr hab. inż. Robert Nowak profesorem uczelni

Decyzją Rektora PW, dr hab. inż. Robert Nowak z dniem 1 października 2019, otrzymał stanowisko profesora uczelni.

Zostawiona kurtka

W dniu 24 lub 25 września, ktoś zostawił w sekretariacie swoją kurtkę (jak na zdjęciu). Kurtka czeka na właściciela w pokoju 204.

Orientacja dla studentów zaczynających studia magisterskie

Spotkanie ze studentami rozpoczynającymi studia magisterskie, którzy ukończyli inne Wydziały/Uczelnie odbędzie się w poniedziałek, 30. września o godz. 17:15 w Audytorium Centralnym (w Gmachu Elektroniki).

More....