Profile

1990-1992

"Doktorat" (PhD) in Computer Science at the Vienna University of Technology and the University of Vienna, respectively. PhD thesis on: ``Synthesis and Analysis of Neural Networks - On a Framework for Artificial Neural Networks'' with Prof. Robert Trappl and Doz.Dr. Georg Dorffner. Finished on 21 October 1992 ("mit Auszeichnung").

1982-1990

"Diplom" (MEng) in Computer Science at the Vienna University of Technology and the University of Vienna, respectively. Master thesis: ``Neuronale Strukturen: Möglichkeiten der Initialisierung und symbolisches Wissen'' (Neural Structures: Possibilities for Initialisation and Symbolic Knowledge) with Prof. Robert Trappl and Doz.Dr. Georg Dorffner. Finished on 18 June 1990.

1982-1989

"Diplom" (MSc) in Mathematics at the University of Vienna. Master's thesis: ``Group Representations, Geometric Quantization, and the Momentum Mapping'' with Prof. Peter Michor. Finished on 15 June 1989 ("mit Auszeichnung").

1981-1987

"Diplom" (MSc) in Theoretical Physics at the University of Vienna. Master's thesis: ``Über masstheoretische und topologische Vermischungsbegriffe'' (On Measure-Theoretic and Topological Notions of Mixing) with Prof. Walter Thirring. Finished on 12 March 1987 ("mit Auszeichnung").

Affiliations

since 2001

first Lecturer, then 2005 Senior Lecturer, and since 2008 Reader in Computer Science at the Department of Computing, Imperial College London.

1999-2001

Research Associate at the Department of Computing, Imperial College London with Prof. Chris Hankin. The three year EPSRC project was entitled: "Probabilistic Abstract Interpretation".

1998-1999

Researcher at the Lehrstuhl Praktische Informatik II, University of Mannheim, Germany with Prof. Mila Majster-Cederbaum.

1996-1998

Senior Research Fellow in the Department of Computer Science at City University London. The two year TMR/Marie Curie project was entitled: "Search and Optimization in Logic and Evolutionary Computing".

1996

Beginning of the year, three month research visitor at the Institute of Physical and Chemical Research (RIKEN), Frontier Research Program, Tokyo, Japan in the Group of Prof. Shun-Ichi Amari.

1993-1995

Two year research visit (Schrödinger Stipendium) at the Centrum voor Wiskunde en Informatica (CWI) in Amsterdam with the group of Prof. Jaco de Bakker. Project title "A Calculus of Neural Networks".

1990-1993

Affiliated with the Austrian Research Institute for Artificial Intelligence, Vienna and - as research assistant - with the Department for Medical Cybernetics and Artificial Intelligence at the University of Vienna. Besides PhD, participation in the Esprit Project NEUFODI "Neural Networks for Forecasting and Diagnosis Applications".