Dr. Michael Leuschel

Languages

Date of birth 28 October 1967

Sex Male

Nationality German

Marital Status Married

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

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.

 

Education

 

PhD

1993-1997

Katholieke Universiteit Leuven

PhD in Computer Science

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

Postgraduate

1992-1993

Katholieke Universiteit Leuven

Master of Artificial Intelligence

Summa Cum Laude

University

1986-1990

Université Libre de Bruxelles

Licence en Informatique (Master in Computer Science)

Summa Cum Laude

School

1973-1986

Deutsche Schule Brüssel

Abitur

 

Information

Technology

 
 

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