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

Praca w Instytucie Informatyki

Poszukujemy kandydata do wykonania zadań badawczych w projekcie EUREKA “Elastyczne systemy przekazu i przetwarzania danych dla heterogenicznych zastosowań IoT” [nr EUREKA/FLEXNET/02/2018]

dr inż Wiktor Daszczuk doktorem habilitowanym

Z przyjemnością informujemy, że 6 maja br. Rada Naukowa Dyscypliny Informatyka Techniczna i Telekomunikacja Politechniki Warszawskiej nadała dr. inż. Wiktorowi Daszczukowi stopień naukowy doktora habilitowanego nauk technicznych w dyscyplinie informatyka techniczna i telekomunikacja.

Dyrekcja i pracownicy Instytutu serdecznie gratulują!

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, 24. lutego o godz. 17:15 w Audytorium Centralnym (w Gmachu Elektroniki).

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.

More....