Aleksy Schubert
I'm a researcher (adjunct) in the Institute of Informatics at the Faculty of Mathematics, Informatics and Mechanics of the Warsaw University.
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.
I currently work on formal specification and tool-assisted verification using JML.
Research projects
|
|
- 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:
Production
- My research papers
- Translations into Polish (in Polish)
Classes
Classes I give (and gave) are enumerated on this page (mostly in Polish).
Contact information
| phone | +48 (0)22 - 55 44 575 |
| fax | +48 (0)22 - 55 44 400 |
| 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 public GPG key
My scientific genealogy
