Position

I am a senior lecturer in the School of Computer Science at the Universitity of Birmingham.

I am also a member of the Scientific Document Analysis Group.

Student Welfare

I am the School's Welfare Tutor. If you are a student and are having difficulties due to personal problems then please get in touch with our welfare team. The best way is to email welfare@cs.bham.ac.uk or see the the School's welfare page for more information.

For additional and more detailed information on me, please read my CV.

Research Interests

I am a member of the Scientific Document Analysis Group.

My current research interests are:

• Logic and Automated Reasoning:
Mainly the integration of Mathematical Reasoning Techniques and their application in Mathematics.
• Computer Algebra:
In particular Correctness of Computer Algebra Algorithms and Symbolic Computation with Underspecified Matrices
• Scientific Document Analysis:
In particular Mathematical OCR, Formula Recognition and Semantic Document Analysis

Current PhD students

Josef Baker

Noureddin Sadawi

Quratul-ain Mahesar

Mohamed Alkalai

Osama Taleb

Nourah Shenaiber

See here for some possible PhD topics.

Current Projects

• EU CIP-ICT Pilot Type B project
  EUDML
  Development of an advanced European digital library for mathematics. €373,160.
  
• Royal Society Internationl Joint Project
  Combining complementary approaches for mathematical/chemical document analysis
  Collaboration with the Infty Project at Kyushu University, Japan, April 2009 - April 2011. £11588.
  

Former projects and grants are here.

Current and Recent Activities

I am the School's Welfare Tutor. If you are a student and are having difficulties due to personal problems then please get in touch with our welfare team. The best way is to email welfare@cs.bham.ac.uk or see the the School's welfare page for more information.

• AISC10 - Conference on AI and Symbolic Mathematical Computation
  Member of the Program Committee. Paris, France, 2010.
  
• ASCM2009 - Special session on Digitizing Mathematics: From Pen and Paper to Digital Content9th Asian Symposium on Computer Mathematics
  Co-organiser with Alan Sexton. Fukuoka, Japan, 2009.
  
• ASCM2009 - 9th Asian Symposium on Computer Mathematics
  Member of the Program Committee. Fukuoka, Japan, 2009.
  
• Guest Editor for the Annals of Mathematics and Artificial Intelligence
  Special Issue on Artificial Intelligence and Symbolic Computation
  with Jacques Calmet.
  
• ISSAC-2008 - 34th International Symposium on Symbolic and Algebraic Computation
  Member of the Program Committee. Seoul, South Korea, 2008.
  
• Conferences on Intelligent Computer Mathematics 2008
  General Chair. Birmingham, UK, 2008.
  
• AISC 2008 - 9th International Conference on Artificial Intelligence and Symbolic Computation
  Programme Chair. Birmingham, UK, 2008.
  
• Member of the Editorial Board of the Journal of Applied Logic
  since 2006.
  
• Member of the Editorial Board of the Journal of Algorithms in Cognition, Informatics and Logic
  since 2007.
  

Here is a list of all my current and former activities.

A list of my talks can be found here.

Selected Publications

• Josef Baker and Alan Sexton and Volker Sorge
  A Linear Grammar Approach to Mathematical Formula Recognition from PDF
  Mathematical Knowledge Management, 8^th International Conference, MKM 2008. LNCS 5625, Springer Verlag, 2009.
  (PostScript, pdf)
  
• Computing with Abstract Matrix Structures
  Alan Sexton, Volker Sorge, and Stephen M. Watt
  Proceedings of International Symposium on Symbolic and Algebraic Computation, ISSAC'2009. ACM Press.
  (PostScript, pdf)
  
• Volker Sorge, Andreas Meier, Roy McCasland, and Simon Colton
  Automatic Construction and Verification of Isotopy Invariants
  Journal of Automated Reasoning40(2-3):221­243, 2008.
  (PostScript, pdf)
  
• Christoph Benzmüller, Volker Sorge, Mateja Jamnik, and Manfred Kerber
  Can a Higher-Order and a First-Order Theorem Prover Cooperate?
  Journal of Applied Logic6:318­342, 2008.
  
  
• Volker Sorge and Simon Colton and Roy McCasland and Andreas Meier
  Classification Results in Quasigroup and Loop Theory via a Combination of Automated Reasoning Tools
  Commentationes Mathematicae Universitatis Carolinae49(2-3):319­340, 2008.
  (PostScript, pdf)
  
• Weixiong Zhang and Volker Sorge, eds.
  Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems
  Frontiers in AI and Application, IOS Press, 2004.
  (Available at Amazon)
  
• Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakzu Suzuki, and Freek Wiedijk, eds.
  Intelligent Computer Mathematics -- Joint Proceedings of AISC 2008, Calculemus 2008 and MKM 2008
  LNAI 5144, Springer Verlag.
  
  
• Alan Sexton and Volker Sorge
  Abstract Matrices in Symbolic Computation
  Proceedings of International Symposium on Symbolic and Algebraic Computation, ISSAC'2006. pp.318--325, ACM Press.
  (PostScript, pdf)
  

A list of all my publications can be found here

Teaching

Here is my teaching schedule for the 2009/10 academic year:

• Cryptography Autumn Term, 4^th year/MSc module
• Software Systems Components 1 Autumn Term, 2^nd year module

If you are interested in doing a project with me, here are some project proposals.

For my normal availability please see my timetable.

Here is a list of my former teaching activities.

Pictures of me

Here's the School's picture or let's see what Google comes up with....

Contact Details

Dr Volker Sorge
School of Computer Science
University of Birmingham
Birmingham B15 2TT
United Kingdom

Office: 207
Phone: +44 121 414 3746
Fax: +44 121 414 4281
E-mail: V.Sorge@cs.bham.ac.uk

For information how to get to the University click here and to see how to get to the department click here.