dr hab. Aleksy Schubert, prof. ucz.

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

• Faculty Council - Electoral College
• Institute of Informatics Council - Rada Instytutu Informatyki_2024

Grants

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