Nie jesteś zalogowany | Zaloguj się

PL /
EN

Afiliacja: profesor uczelni, Instytut Informatyki
Mail: A.Schubert@mimuw.edu.pl
Telefon: 55-44-575
Pokój: 5700
Strona internetowa: http://zls.mimuw.edu.pl/~alx
Inne informacje: Strona pracownika w USOSweb
Terminy konsultacji dla studentów: Czwartki 16:15-17:45

Funkcje

Kierownik studiów – Machine Learning Wydział Matematyki, Informatyki i Mechaniki

Publikacje

Publikacje (52)

Dziedziny badań

Inżynieria oprogramowania
Programowanie funkcyjne i obiektowe, jakość kodu, Java
Logika w informatyce
Rachunek lambda, teoria typów, złożoność systemów logicznych
Semantyka i metody formalne
Formalna specyfikacja oprogramowania, kod zawierający dowód

Granty

Darowizna od Intel Corporation; cel: opracowanie programu kursów z zakresu bezpieczeństwa systemów komputerowych
Finansowany przez: Uniwersytet Warszawski
Automatyzacja wnioskowania konstruktywnego
Finansowany przez: Narodowe Centrum Nauki