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

Poszukujemy chętnego do wspólpracy

Poszukujemy kandydata do wykonania zadań badawczych w projekcie OPUS “PerM-Cloud, Algorytmy i metody przetwarzania dużych zbiorów danych genomicznych w środowiskach chmur obliczeniowych na potrzeby personalizowanej medycyny” [nr 2014/13/B/NZ2/01248].

Unowocześnienie kształcenia na kierunku Informatyka (I i II st.)

Instytut Informatyki rozpoczął realizację "Zadania 16 -utworzenie nowych specjalności wraz z wprowadzaniem nowoczesnych metod dydaktycznych" w ramach projektu "NERW PW Nauka - Edukacja - Rozwój - Współpraca".
Kierownikiem zadania jest prof. Mieczysław Muraszkiewicz.

Nominacja na stanowisko profesora zwyczajnego

Na posiedzeniu Senatu Politechniki Warszawskiej w dniu 21 lutego 2018 r. JM Rektor prof. dr hab. inż. Jan Szmidt wręczył nominację na stanowisko profesora zwyczajnego panu prof. dr. hab. inż. Przemysławowi Rokicie zatrudnionemu w Instytucie Informatyki na Wydziale Elektroniki i Technik Informacyjnych.

Krzyż Kawalerski Orderu Odrodzenia Polski

Miło nam poinformować, że nasz nauczyciel akademicki Pan prof. Janusz Sosnowski w dniu 16 lutego br. został odznaczony Krzyżem Kawalerskim Orderu Odrodzenia Polski.
Serdecznie gratulujemy!

Orientacja dla studentów zaczynających studia magisterskie

Spotkanie ze studentami, którzy ukończyli inne Wydziały/Uczelnie odbędzie się we wtorek, 20. lutego o godz. 17:15 w Audytorium Centralnym (w Gmachu Elektroniki).

Maraton programistyczny deadline24

Szukasz algorytmicznego wyzwania? Chcesz zgarnąć super nagrody? Zbierz drużynę i zarejestruj się na 10. – jubileuszową – edycję międzynarodowego maratonu programistycznego Deadline24!

Rejestracja trzyosobowych (najlepiej) drużyn trwa do 22 lutego, a 25 lutego zmierzą się one w eliminacjach. Zapraszamy na www.deadline24.pl .

Poszukujemy chętnych do współpracy

Poszukujemy kandydatów do wykonania zadań badawczych w projekcie Instytutu Informatyki p.t.,,BADANIA NAD MECHANIZMAMI WYSZUKIWANIA I BUDOWANIA RANKINGU EKSPERTÓW ZA POMOCĄ METOD SZTUCZNEJ INTELIGENCJI’’.

Bartłomiej Twardowski obronił rozprawę doktorską

Twardowski B.

W dniu 9 stycznia 2018 roku Bartłomiej Twardowski obronił rozprawę doktorską pt. "Algorithms for Ranking of Top-N Recommendations from Implicit User Feedback and Ephemeral Items". Polski tytuł rozprawy - Algorytmy rankingu Top-N rekomendacji bazujące na niejawnej opinii użytkowników oraz ofertach efemerycznych, rozprawa jest napisana w języku angielskim.

Sesja specjalna konferencji

Zapraszamy do składania publikacji na sesję specjalną konferencji MRV poświęconą wizji komputerowej, uczeniu maszynowemu, głęboki sieciom neuronowym oraz analizie obrazu. Organizatorem sesji jest dr inż. Tomasz Trzciński.

More....