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 przy systemie Uczelnianej Bazy Danych - OMEGA PSIR

Poszukujemy absolwentów informatyków lub magistrantów chętnych do pracy przy systemie Uczelnianej Bazy Wiedzy – OMEGA-PSIR.

Potrzebna osoba do projektu naukowego

Poszukujemy osoby do wykonania zadań badawczych w ramach pracy magisterskiej i projektu naukowego (2015/19/B/NZ5/02224) finansowanego przez NCN (OPUS-10). Celem pracy będzie opracowanie nowych algorytmów bioinformatycznych służących do analizy danych całoegzomowych pacjentów i identyfikacji patogennych wariantów genetycznych.

Projekt SoftPOS (możliwość praktyk)

WEiTI rozpoczyna współpracę przy realizacji software'owego terminala płatniczego (tzw. SoftPOS), pozwalającego na przyjmowanie płatności kartą na urządzeniach mobilnych wyposażonych w system operacyjny iOS/Android. Studenci mogą włączyć się do realizacji projektu w ramach praktyk studenckich.

Seminarium "Gry dla programistów"

21 marca (czwartek) o 12:15 w sali 120 prof. Piotr Gawrysiak poprowadzi seminarium "Gry dla programistów".

Współpraca z Shanghai Science & Technology Innovation Resources Data Center

18 lutego 2019 roku Instytut Informatyki podpisał umowę o współpracy z Shanghai Science & Technology Innovation Resources Data Center.
Wspólnie utworzyliśmy Joint Artificial Intelligence Lab. Mamy nadzieję realizować wspólnie projekty badawcze i wdrożeniowe.

Geospatial Hackaton 22-23 lutego w CZIiTT

W dniach 22-23 lutego w CZIiTT odbędzie się Geospatial Hackathon - Smart Tools for Smart Cities. Wyzwaniem w konkursie będzie opracowanie aplikacji wspierającej proces tworzenia i rozwoju smart city oraz (geo)partycypacji społecznej z wykorzystaniem tzw. serious games .

Piętnasty konkurs o nagrodę im. Witolda Lipskiego

Piętnasta edycja Nagrody - konkurs 2019
Rada Nagrody ogłasza konkurs piętnastej edycji dorocznej nagrody im. Witolda Lipskiego dla młodych polskich naukowców za dorobek w zakresie informatyki i jej zastosowań. Podstawowym kryterium oceny i wyboru laureata Nagrody jest udokumentowany publikacjami dorobek naukowy kandydatów.

Rekrutacja studentów do projektu UniStartApp

Trwa rekrutacja studentów do edycji letniej projektu UniStartApp - potencjalne 4 punkty ECTS i ciekawe zadania projektowe!

Comixify - algorytm do przekształcania wideo w komiks

Projekt został stworzony przez studentów przygotowujących prace dyplomowe w ramach Zakładu Grafiki Komputerowej. Byli to inż. Maciej Pęśko, Adam Svystun i inż. Paweł Andruszkiewicz - pod opieką naukową pracowników Zakładu Grafiki Komputerowej Instytutu Informatyki: prof. dr. hab. inż. Przemysława Rokity i dr. inż. Tomasza Trzcińskiego .

More....