|
Dr. Michael Leuschel |
Languages |
|
Date of birth 28 October 1967Sex Male Nationality German Marital Status Married |
German: nativeFrench : 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 |
|