Dr. Michael Leuschel


Date of birth 28 October 1967

Sex Male

Nationality German

Marital Status Married

German: native
French :
English : fluent
Dutch :
Italian :

Management Summary


Strong research background in high-level programming languages, automated software development and verification, program analysis and optimisation, compilation, databases, and artificial intelligence; 7 publications in international journals, 34 in fully reviewed conferences and workshops, 3 chapters in books; programme committee chair of LOPSTR’2002, programme committee member of 10 international conferences and workshops; organiser of 4 international workshops; guest editor of 2 journal issues; lecturer at 2 international summer schools; IBM international chair in computer science 1999. Practical experience: Development of research prototypes for automatic optimisation of programs, automatic compiler generation, animation and verification of B and CSP specifications, and integrity checking in deductive databases. Development of a 50000 line C++ program for job control and billing in the printing business. European profile: German, born in Belgium, married to a French, and living in the UK.

Work Experience


Mar. 2001 - now

University of Southampton

Reader in Computer Science

Research and lecturing

Jun. 1998 — Feb. 2001

University of Southampton

Lecturer in Computer Science

Research and lecturing

Oct. 1997 - May 1998

F.W.O. (Belgian Fund for Scientific Research)

Postdoctoral Research Fellow

Research and lecturing, conducted at K.U. Leuven and University of Copenhagen

Oct. 1993 - Sep. 1997

Katholieke Universiteit Leuven

Researcher/Teaching Assistant

Research on European project Compulog II and Belgian GOA project, Teaching for the Master of AI programme, responsible for WWW group pages

Oct. 1990 - Sep. 1992

Université Libre de Bruxelles

Teaching Assistant

Teaching (favourable student review) and Research in concurrency.






Katholieke Universiteit Leuven

PhD in Computer Science

Abstract of PhD in AI Communications 10 (1997), Bulletin of EATCS 63.



Katholieke Universiteit Leuven

Master of Artificial Intelligence

Summa Cum Laude



Université Libre de Bruxelles

Licence en Informatique (Master in Computer Science)

Summa Cum Laude



Deutsche Schule Brüssel






Operating Systems: Macintosh, Unix, DOS/Windows, NOS (CDC Cyber)

Networking software: ISO-OSI Reference Model

Database Software: SQL, Omnis 5, Deductive Databases & Prolog

PC-based packages: Excel, Word, Mathematica, Page Maker, Illustrator

Programming languages: C, C++, Java, Pascal, Object Pascal, ADA, Fortran, Simula 67, Algol 68, Cobol, Lisp, Prolog, Gödel, Mercury, B-method

Others: HTML, LaTeX