Return to the list of employees
dr hab.
Aleksy Schubert, prof. UW
-
Affiliation:
profesor uczelni, Institute of Informatics
- Fields of interest:Applications of logic in computer science: pure lambda calculus and its various type systems, higher order unification, computational complexity of logical systems
- Consultations:
poniedziałki: 14:15 - 16:00
konsultacje obowiązują w czasie trwania zajęć dydaktycznych
- Room:5750
- E-mail:A.Schubert@mimuw.edu.pl
- Telephone:55-44-575
- Personal homepage:http://zls.mimuw.edu.pl/~alx
You are not logged in | log in
