Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Inżynieria oprogramowania

Opis

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, weryfikacja oprogramowania.

Seminaria

Pracownicy i doktoranci

  • Jacek Chrząszcz
    Programowanie funkcyjne i obiektowe, jakość kodu, Java
  • Krzysztof Ciebiera
    Sieci komputerowe, bezpieczeństwo, programowanie WWW
  • 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
  • Zbigniew Jurkiewicz
    Programowania funkcyjne, reprezentacja wiedzy
  • Jan Madey
    Specyfikacje w metodzie tropów, metody dokumentacji i specyfikacji formalnej
  • 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)
  • Linh Anh Nguyen
    Programowanie w logice, logiki multimodalne
  • Aleksy Schubert
    Programowanie funkcyjne i obiektowe, jakość kodu, Java
  • Andrzej Tarlecki
    Matematyczne podstawy inżynierii oprogramowania
  • Artur Zaroda
    Projektowanie i implementacja języków programowania, programowanie obiektowe