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

Consultations

Czwartki 16:15-17:45

Publications

• Publications list (52)

Functions

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

Fields of research

• Logic in Computer Science
• Semantics and Formal Methods
• Software Engineering

Grants

• Automatisation of constructive logic
• Security Course Curriculum Development