Back

Dr. Ing.
Volker
Sorge

Mailing address

School of Computer Science,

Birmingham B15 2TT

United Kingdom

Office

School of Computer Science,

Room 207

Phone: +44 121 414 3746

Fax: +44 121 414 4281

Personal

Employment and Fellowships

2009 - present: Senior Lecturer at the School of Computer Science, Unversity of Birmingham, UK
2007-2008: Medici Fellowship
2002 - 2009: Lecturer at the School of Computer Science, Unversity of Birmingham, UK
2002 - 2004: Marie-Curie Fellowship, European Union
1997 - 2001: Researcher for the department of Computer Science, Unversität des Saarlandes, Germany
1999 - 2001: PhD Grant from Studienstiftung des deutschen Volkes
1997: Research Grant from the DAAD

Education

November 2001: Dr.-Ing. (PhD), Fachbereich Informatik, Universität des Saarlandes.
Thesis: OANTS: A Blackboard Architecture for the Integration of Reasoning Techniques into Proof Planning
Examiners: Prof. Dr. Jörg Siekmann (Universität des Saarlandes) and Prof. Dr. Jacques Calmet (Universität Karlsruhe).
1997 - 2001: Graduate studies at the Department of Computer Science, Universität des Saarlandes
March 1997: Dipl.-Math (Research MSc), Fachbereich Mathematik, Universität des Saarlandes
Thesis: Einbau eines Computeralgebrasystems in eine logische Beweisumgebung
Supervisors: Prof. Dr. Wolfram Decker (Department of Mathematics) and Prof. Dr. Jörg Siekmann (Department of Computer Science).
1994 - 1997: Graduate studies at the Department of Mathematics, Universität des Saarlandes
1993 - 1994: Graduate studies at the Department of Mathematics and the Department of Computer Science (Prof. Woody Bledsoe), University of Texas at Austin
1991 - 1993: Undergraduate studies at the Department of Mathematics and Computer Science, Universität Würzburg
1990 - 1991: Undergraduate studies at the Department of Philosophy, Universität Würzburg

Research Visits

April 2006: Department of Computer Science, University of Saarbrücken, Germany
With the Omega group of Jörg Siekmann
March 2006: Department of Computer Science, University of Barcelona, Spain
With the group of Roberto Nieuwenhuis
September 2005: Department of Mathematics, Kyushu University, Japan
With the Infty group of Masakazu Suzuki
April 2001: Department of Computer Science, University of Birmingham, UK
With the group of Manfred Kerber
March/April, 2000: Department of Computer Science, University of Birmingham, UK
With the group of Manfred Kerber
March/April 1999: Department of Artificial Intelligence, University of Edinburgh, UK
With the DREAM group of Alan Bundy
September-December 1997: UFR de Mathématiques et Informatique, Universite Rene Descartes, Paris V, France
With the group of Dominique Pastre