You are not logged in | Log in

PL /
EN

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
Mail: A.Schubert@mimuw.edu.pl
Phone: 55-44-575
Room: 5700
Personal webpage*: http://zls.mimuw.edu.pl/~alx
Other information: Employee's page on USOSweb
Office hours (availability for students): Poniedziałki 14:00-16:00

*The University of Warsaw is not responsible for the content published on employees’ personal webpages.

Functions

Head of studies – Machine Learning Faculty of Mathematics, Informatics, and Mechanics

Publications

Publications list (53)

Fields of research

Logic in Computer Science
Semantics and Formal Methods
Formal verification of software, proof-carrying code
Software Engineering
Functional and object-oriented programming, code quality, Java

Commissions, councils

Grants

Security Course Curriculum Development
Financed by: University of Warsaw
Automatisation of constructive logic
Financed by: National Science Center