dr hab. Aleksy Schubert, prof. ucz.

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

Mail

A.Schubert@mimuw.edu.pl

Telefon

55-44-575

Pokój

5700

Prywatna strona domowa*

http://zls.mimuw.edu.pl/~alx

Inne informacje

Strona pracownika w USOSweb

Terminy konsultacji dla studentów

Czwartki 16:00-18:00, a gdy nie ma wydziałowych zebrań 14:15-18:00.

Funkcje

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

Publikacje

• Publikacje (53)

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

Komisje, rady

• Rada Wydziału - Profesorowie i dr hab.
• Rada Instytutu Informatyki - Rada Instytutu Informatyki_2024

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