Dr Volker Sorge

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

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.

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, 8th 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

For my normal availability please see my timetable.

My advisorials this spring term are Thursdays 12-1pm in room 245.

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.