To jest stara, nieaktualizowana już wersja portalu wydziałowego. Zapraszamy na www.mimuw.edu.pl.
Wydział MIM Uniwersytet WarszawskiFaculty of MIM University of Warsaw

Wyszukiwarka

Pomiń menu

Inżynieria oprogramowania

Podstawowe i praktyczne aspekty inżynierii oprogramowania. Tematy badań to funkcyjne i obiektowe języki programowania, programowanie w logice, systemy operacyjne, systemy czasu rzeczywistego, metodologie rozwijania oprogramowania, formalna dokumentacja i specyfikacja.

Pracownicy
  • Linh Anh Nguyen
    Programowanie w logice, logiki multimodalne
  • Jacek Chrząszcz
    Programowanie funkcyjne i obiektowe, jakość kodu, Java
  • Krzysztof Ciebiera
    Sieci komputerowe, bezpieczeństwo, programowanie WWW
  • Patryk Czarnik
    Formalne metody specyfikacji i weryfikacji oprogramowania, komputerowo wspomagane dowodzenie twierdzeń, XML i związane z nim standardy
  • Robert Dąbrowski
    Metodologia programowania, specyfikacja i weryfikacja oprogramowania, paradygmaty programowania, programowanie obiektowe
  • Marcin Engel
    Automatyczne dowodzenie twierdzeń
  • Janusz Jabłonowski
    Programowanie obiektowe, formalna specyfikacja i weryfikacja oprogramowania
  • Agata Janowska
    Specyfikacja i weryfikacja systemów czasu rzeczywistego, weryfikacja modelowa systemów zależnych od czasu
  • Paweł Janowski
    Specyfikacja i weryfikacja systemów czasu rzeczywistego, weryfikacja modelowa systemów zależnych od czasu
  • Zbigniew Jurkiewicz
    Programowania funkcyjne, reprezentacja wiedzy
  • Jan Madey
    Specyfikacje w metodzie tropów, metody dokumentacji i specyfikacji formalnej
  • Grzegorz Marczyński
    Algebraiczne metody specyfikacji, projektowania i rozwijania oprogramowania
  • Mirosława Miłkowska
    Programowanie w logice, specyfikacja i weryfikacja programów w logice
  • Janina Mincer-Daszkiewicz
    Systemy operacyjne, systemy rozproszone, programowanie współbieżne, ocena wydajności, inżynieria oprogramowania (metody formalnej dokumentacji i specyfikacji, prowadzenie projektów informatycznych)
  • Aleksy Schubert
    Programowanie funkcyjne i obiektowe, jakość kodu, Java
  • Andrzej Tarlecki
    Matematyczne podstawy inżynierii oprogramowania
  • Władysław M. Turski
    Metodologia programowania, matematyczne aspekty inzynierii oprogramowania, metryki
  • Marek Warpechowski
    Obiektowe języki programowania, Java, system LOGLAN
  • Artur Zaroda
    Projektowanie i implementacja języków programowania, programowanie obiektowe
Seminaria
  • Seminarium Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji (SLIWOWICA)
    Cotygodniowe seminarium badawcze
    piątki, 12:15, s. 5820
    strona domowa
  • Seminarium Systemy Operacyjne i Rozproszone
    Cotygodniowe seminarium doktoranckie
    wtorki, 18:00, s. 5870
    lista referatów | strona domowa