dr hab. Aleksy Schubert, prof. ucz.

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)

Poniedziałki 12:15-13:45
Dla studentów pierwszego roku: piątki 16:15-17:45

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