Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Powrót do listy pracowników

dr Marcin Kubica

  • Afiliacja: adiunkt, Instytut Informatyki
  • Zainteresowania:Formalne metody specyfikacji, model-checking, automatyczne dowodzenie twierdzeń, inżynieria oprogramowania
  • Konsultacje:
    konsultacje środy od godz. 9:00 konsultacje obowiązują w czasie trwania zajęć dydaktycznych
  • Pokój:4330
  • E-mail:M.Kubica@mimuw.edu.pl
  • Telefon:55-44-433
  • Strona www:http://www.mimuw.edu.pl/~kubica

Komisje, rady

Dziedziny badań