Aleksy Schubert
How to submit classes proposals (in Polish)?
Here is the Polish version of the page (mostly obsolete)
I'm an associate professor in the Institute of Informatics at the
Faculty of Mathematics, Informatics and Mechanics of the Warsaw University.
Journals
I am on the editorial board of Mathematical Structures in Computer Science. Please submit!
Events
Research interests
My research interests include:
- program specification and verification,
- foundations and software engineering for object-oriented languages,
- security,
- theorem proving,
- lambda calculus and type systems.
Research projects
I am involved in the following research projects:
- NCN grant "Automatisation of constructive logic"
- MOBIUS - Mobility, Ubiquity and Security, EU funded Integrated Project
- TYPES - Types for Proofs and Programs, EU funded Coordination Action
- GAMES - EU funded Research Training Network
- Reasoning about programs with the help of tools based on the type theory - the grant funded by the Polish Ministry of Science and Informatisation
Tools
I took part in development of the following tools and formalisations:
Production
Teaching
Contact information
phone |
+48 (0)22 - 55 44 575 |
fax |
+48 (0)22 - 55 44 400 |
e-mail |
alx@mimuw.NO_SPAMedu.NO_SPAMpl |
address |
|
|
Room 5750
Faculty of Mathematics, Informatics and Mechanics
Warsaw University
ul. Banacha 2
02-097 Warsaw
Poland
|
My scientific genealogy
My family
My public PGP key