dr hab. Aleksy Schubert, prof. ucz.

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

Poniedziałki 12:15-13:45
Dla studentów pierwszego roku: piątki 16:15-17:45

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