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
I am involved in the following 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
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 |
| 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 public GPG key
My scientific genealogy
Last modification: 3.08.2008