dr Marcin Benke

Afiliacja

adiunkt, Instytut Informatyki

Mail

M.Benke@mimuw.edu.pl

Telefon

55-44-575

Pokój

5750

Inne informacje

Strona pracownika w USOSweb

Terminy konsultacji dla studentów

poniedziałki 14:30-16:00

Dziedziny badań

• Logika w informatyce
  Rachunek lambda, teoria typów