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.

In the academic year 2012/13 I am on sabbatical spending my time as Visiting Scientist at Google Inc. in Mountain View, California. I will be back at the end of September 2013.

Student Welfare

I was the School's Welfare Tutor. Please do not email me directly anything regarding welfare anymore. Instead 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

Behrang Sabeghi Saroui

Randa Almomen

Fubiao Xia

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.

• CICM 2012 - Systems and Projects
  Programme Chair. Bremen Germany, 2012.
  
• Fundamenta Informaticae, 2010
  
• Automated Reasoning for Security, Software Integration and Reliability
  Member of the Program Committee. Jeju Island, Korea, 2011.
  
• FroCoS 2011: 8th International Symposium Frontiers of Combining Systems
  Member of the Program Committee. Saarbrücken, Germany, 2011.
  
• DML 2011 - Towards Digital Mathematics Library
  Member of the Program Committee. Bertinoro, Italy, 2011.
  
• MKM 2011 - 9th International Conference on Mathematical Knowledge Management
  Member of the Program Committee. Bertinoro, Italy, 2011.
  
• 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.
  
• Member of the Advisory Board of the The International Federation for Computational Logic (IFCoLog)
  

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)
  
• Alan Sexton, Volker Sorge, and Stephen M. Watt
  Computing with Abstract Matrix Structures
  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.
  (PostScript, pdf)
  
• 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

I am on sabbatical for the academic year 2012/13 spending my time as Visiting Scientist at Google Inc. in Mountain View, California. I will be back at the end of September 2013. In urgent cases, please send me an email to my usual email address with [FOR YOU] in the subject line.

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

I am on sabbatical for the academic year 2012/13 spending my time as Visiting Scientist at Google Inc. in Mountain View, California. I will be back at the end of September 2013. In urgent cases, please send me an email to my usual email address with [FOR YOU] in the subject line.

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.