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 hab. Aleksy Schubert, prof. UW

  • Afiliacja: profesor uczelni, Instytut Informatyki
  • Zainteresowania:Zastosowania logiki w informatyce: rachunek lambda ze szczególnym uwzględnieniem teorii typów, unifikacja wyższego rzędu, złożoność obliczeniowa systemów logicznych
  • Konsultacje:
    poniedziałki: 14:15 - 16:00 konsultacje obowiązują w czasie trwania zajęć dydaktycznych
  • Pokój:5750
  • E-mail:A.Schubert@mimuw.edu.pl
  • Telefon:55-44-575
  • Strona www:http://zls.mimuw.edu.pl/~alx