Department of Computing

Jacob Howe

Senior Lecturer

Photo of Dr Jacob Howe Dr Jacob Howe
Senior Lecturer
Room: A309B
Department of Computing
School of Informatics
City University
London EC1V OHB

jacob@soi.city.ac.uk
tel: +44 20 7040 4045
fax: +44 20 7040 8587

Research and Responsiblities

I am a Senior Lecturer in the Department of Computing at City University London and am a member of the programming languages and systems research group. I have a BSc in Mathematics, an MSc in Philosphy & History of Science and PhD in Computer Science.

My research interests are centred on static program analysis and the development of the techniques used and building tools to apply this. In particular I am interested in applying geometrical and logical techniques to program analysis. I also have interests in logic programming, constraint solving and mathematical logic. Projects I am involved in include the EPSRC project VIP: Verification with Integer Polyhedra.

Key Publications

  • A Pearl on SAT solving in Prolog. Howe, J. M. and King, A. In International Symposium on Functional and Logic Programming, Lecture Notes in Computer Scince, Springer, 2010. Link to solver.
  • Logahedra: a New Weakly Relational Domain. Howe, J. M. and King, A. In Automated Technology for Verification and Analysis, pages 306-320. Lecture Notes in Computer Science volume 5799, Springer, 2009.
  • Integer Polyhedra for Program Analysis. Charles, P. J., Howe, J. M. and King, A. In Algorithmic Aspects in Information and Management, pages 85-99. Lecture Notes in Computer Science volume 5564, Springer, 2009.
  • Analysing Logic Programs by Reasoning Backwards. Howe, J. M., King, A. and Lu, L. In Program Development in Computation Logic, volume 3049 of Lecture Notes in Computer Science, pages 153-189. Springer, 2004.
  • Efficient Groundness Analysis in Prolog. Howe, J. M. and King, A. Theory and Practice of Logic Programming. 3(1):95-124 2003.
  • Positive Boolean Functions as Multiheaded Clauses. Howe, J. M. and King, A. In International Conference on Logic Programming, volume 2237 of Lecture Notes in Computer Science, pages 120-134. Springer, 2001.

    • [Full publications list]