dr hab. Aleksy Schubert, prof. UW

Affiliation

Institute of Informatics

Mail

A.Schubert@mimuw.edu.pl

Phone

55-44-575

Room

5750

Website

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

Consultations

piątki 16:15-17:45 Konsultacje obowiązują w czasie trwania zajęć dydaktycznych.

Publications

• Publications list (51)

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