Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Michael Leuschel's Home Page
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 am 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