dr hab. Aleksy Schubert, prof. UW

Affiliation

profesor uczelni, Institute of Informatics

Mail

A.Schubert@mimuw.edu.pl

Phone

55-44-575

Room

5700

Website

http://zls.mimuw.edu.pl/~alx

Other information

Employee's page on USOSweb

Office hours (availability for students)

Czwartki 16:15-17:45

Functions

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

Publications

• Publications list (52)

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

Grants

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