Aleksy Schubert

Aleksy Schubert

Materials for EUTypes Summer School

Here is the Polish version of the page (mostly obsolete)

I'm a researcher (adjunct) 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:

Research projects

I am involved in the following research projects:

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

Notice: Undefined variable: SCRIPT_NAME in /home/staff/iinf/alx/public_html/timestamp.e.inc on line 3 Last modification: 11.07.2017

Valid HTML 4.01! Valid CSS!