dr hab. Aleksy Schubert, prof. UW

Affiliation

Institute of Informatics

Consultations

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

Phone

55-44-575

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