Home Page of Michael Leuschel
- I am a Professor
I have now moved to the
University of
Düsseldorf.
- Before joining the University of Southampton
in 1998 I was post-doctoral research fellow of the
and working
- I also spent half a year at DIKU
within the University of Copenhagen.
- How to reach me.
- I was teaching the courses
"Logic Programming"
CM202,
"Compiler Engineering" CM217, and
"Software Engineering"
CM148.
I am also the Compulog Net
contact person for the
University of Southampton.
- I was investigator of the
EU funded research project
ASAP, the DTI funded
project
TSAS on Formal Trust for Agents, the
EPSRC funded research project
ABCD
and principal investigator of the
EPSRC funded research project
iMoc (Infinite
State Model Checking using Partial Evaluation and Abstract Interpretation)
and of the University funded annual grant
A99/15
on Infinite Model Checking.
I was also involved in the European
POST project.
- Software and Libraries
- The ProB animator and model
checker for the B method.
Version 1.2 available for download as of August 31, 2006.
- The LOGEN compiler generator
for efficient specialisation of Prolog.
New version with GUI and precompiled binaires available as of August 2004.
- The ECCE partial deduction system
(new precompiled binaries available as of December 2003)
- The DPPD
library of benchmarks
- The
ICLeupel prototype for pre-compiling integrity constraints
(please, e-mail me if you are interested)
- The XTL model checker for specifications expressed in Prolog
- Activities:
-
My
publications in our EPrints archive
(you can also try my old publications page,
or look at the bottom of
this automatically generated home page, or at the
bibliographical database of Michael Ley, University of Trier
or use
BibFinder).
- Some of my research interests are:
- Automatic Program Optimisation: Partial Evaluation, Partial Deduction,
and Program Transformation in general
- Automatic Program Analysis: Abstract Interpretation
- Logic Programming and Functional Programming
- Distributed Systems: Petri nets, Process Algebras
- Software Verification, Model Checking, and Program Inversion
- Reasoning about action and change: Fluent calculus
- Meta-Programming: Representation Issues
- Integrity Checking in (Deductive) Databases
- My PhD and
my CV (not up-to-date)
- Collaboration
- Pictures and other non-scientific material
- Some Pointers
Michael Leuschel /
University of Southampton /
mal@ecs.soton.ac.uk