Skip to:

  • Skip to main content
  • Skip to accessibility
City, University of London
  • Student Hub
  • Staff Hub
Search
Menu
Home
  • Prospective students
    • Courses
      • Undergraduate degrees
      • Apprenticeships
      • Foundation courses
      • Postgraduate taught degrees
      • Postgraduate research degrees
      • Short courses
      • Professional development courses
      • City Health courses
    • Apply
      • Entry requirements
      • How to apply
        • Undergraduate
        • Apprenticeship
        • Information for teachers
        • Postgraduate taught
        • Postgraduate research
          • Preparing your application
            • Preparing your research proposal
          • All PhD research projects
        • Booking Short Courses
          • Business and Management Short Courses
          • Computing Short Courses
          • Creative Industry Short Courses
          • Creative Writing Short Courses
            • The Novel Studio published alumni
          • Law Short Courses
          • Languages Courses Online | Languages Courses in London
      • Prospectus
        • Undergraduate
        • Postgraduate
      • Visas
        • Student visas
          • Applying from outside the UK
          • Applying from within the UK
          • Applying for a dependant visa
          • Preparing your application
          • Working in the UK
        • Standard Visitor visas
          • How to apply for a Standard Visitor Visa
          • Non-visa nationals
        • ATAS certificates
        • Brexit and European nationals
      • Study abroad programmes
        • Study abroad programme
        • Partnership programme
      • Clearing
        • Applying through Clearing
      • Alternative entry routes
        • Foundation programmes
        • Second-year students
        • Work experience
      • Contact Admissions
    • Finance
      • Funding options
      • Earn while you learn
      • How to pay
        • Payment methods
        • Fee schedules
        • Deposit refunds
      • Additional expenses
    • Accommodation and housing
      • Compare residential halls
      • Applying for halls
        • Undergraduate
        • Postgraduate
        • Clearing
      • Paying for halls
      • Private accommodation
        • Finding a place to live
        • Accommodation for families
      • Short-term accommodation
    • Open events and fairs
      • Campus tours
      • Online chats
        • Undergraduate online events
        • Postgraduate online events
        • Ask a student
      • University fairs
    • Student life
      • London experience
      • Local area
      • Sports
        • Sport clubs
        • Non-competitive sport
        • Competitive sport
      • Social activities and groups
      • Religion
      • Lesbian, gay, bisexual, transgender and queer plus
      • Volunteering
      • Student wellbeing
        • Your health and wellbeing
        • Learning support
        • Young, estranged students
        • Care leavers
        • Young adult carers
        • Personal tutoring programme
      • Learn another language
    • Career development
      • Placements, internships and employment opportunities
        • Micro-placements
      • Career pathways
      • Job prospects and graduate destinations
      • Careers team
    • Subjects
  • Research
    • Research centres and groups
    • Research impact
      • Research Excellence Framework
      • Research case studies
    • Research strategy
    • Research support
      • Grants and funding
      • Integrity and ethics
        • Research ethics
          • Principles
          • Approval process
          • Approval outcomes and appeals
          • External ethics approvals
        • Ethics guidance and resources
          • Participant information and consent
          • Recruiting participants from City
          • Records management
          • Research conducted abroad
          • FAQ
        • Research integrity
          • Framework for good practice in research
          • Research misconduct
      • Research data
        • Managing active research data
        • Digital research data and Figshare
      • Researcher development
    • Doctoral College
      • Funding and scholarships
      • Essential information
      • Meet the Team
      • Training and Development
        • Researcher Development Programme (DRDP)
      • Research Supervisors
  • For businesses
    • Start your business
      • Develop your startup idea
        • One-to-one startup advice
        • The Good Entrepreneur Festival
        • Startup Camp
        • Startup Seminars
        • Side Hustle
        • CitySpark Workshops
      • Launch your startup
        • Start-up visa
        • Launch Lab
    • Grow your business
      • Fund your business
        • Knowledge Transfer Partnerships
      • Hire an academic consultant
      • Purchase our intellectual property
      • Companies formed
    • Develop your people
      • Bespoke training
      • My Home Life England
      • Degree apprenticeships for business
        • What is the apprenticeship levy?
    • Business impact case studies
    • Access our student talent
      • Recruit with us
      • Meet and support our students
        • Become a mentor
        • Employer engagement events
        • Micro-Placements
        • Industry Led Projects
      • Information for placement partners
        • Speech and Language Therapy training
  • Alumni and supporters
    • Alumni benefits
    • Alumni Events
    • Global alumni network
      • Networks and Groups
        • City Alumni LinkedIn groups
        • MENA Alumni Board
        • US Alumni Board
      • Alumni Ambassadors
      • Special Interest Groups
      • Alumni News and stories
    • Contact Alumni Relations
    • Support City
      • Donate to City
      • Volunteering
      • Your impact
  • News and events
    • News
    • Events
    • Social media directory
      • City social accounts
        • WeChat social accounts
      • School and Departmental accounts
  • About us
    • Schools and Departments
      • School of Policy & Global Affairs
        • About the School
          • Athena Swan
        • Department of Economics
        • Department of International Politics
        • Department of Sociology and Criminology
          • Postgraduate Sociology at City
      • School of Communication & Creativity
        • About the School
          • Athena Swan
          • Creatives in Residence
        • Department of Journalism
          • James Cameron Memorial Lecture
            • Lectures
            • Special awards
            • Winners
        • Department of Media, Culture and Creative Industries
          • English, Publishing and Creative Writing
          • Culture and the Creative Industries
          • Library and Information Science
          • Media and Communications
        • Department of Performing Arts
        • The Centre for Language Studies
      • Bayes Business School
      • School of Health & Psychological Sciences
        • About the School
          • Athena SWAN
          • Selection Process
          • Occupational Health Checks
          • Disclosure and Barring Service (DBS) enhanced check (formerly CRB)
          • MSc Nursing - RPL
          • Reference request
        • Department of Health Services Research and Management
          • Health Services Management at City
        • Department of Language and Communication Science
        • Department of Midwifery and Radiography
          • Radiography undergraduate learning contract
          • Postgraduate Midwifery at City
          • Radiography at City
        • Department of Nursing
        • Department of Optometry and Visual Sciences
        • Department of Psychology
      • School of Science & Technology
        • About the School
          • Athena Swan
          • Aviation Management at City
          • Civil Engineering at City
          • Computer Science at City
          • Cyber Security MSc courses at City
          • Energy MSc courses at City
          • Library and Information Science at City
          • Maritime Management at City
          • Placements and internships
            • Placement and internship schemes
        • Department of Computer Science
        • Department of Mathematics
          • Potential PhD projects
        • Department of Engineering
      • The City Law School
        • Academic programmes
          • Undergraduate degree LLB
          • Graduate Entry Law GE LLB
          • Graduate Diploma in Law GDL
          • Master of Laws (LLM)
        • Professional programmes
        • Research and Scholarship
        • Athena Swan in The City Law School
        • Equality, Diversity and Inclusion at The City Law School
        • Barrister training
          • Bar Training
          • Pupillage Advice Service
        • Solicitor training
          • Future Solicitor Advisory Service (FSAS)
          • The Solicitors' Qualifying Exam (SQE)
        • Law in real life (Law IRL)
          • Legal work placements
          • Court visits
          • Mock Trials
        • About The School
          • Prizes from The City Law School
          • Global Engagement
      • Dubai Centre
    • History
    • People
      • Academics
      • Research students
      • Students
      • Honorary graduates
      • Past students
      • Professional Services staff
      • International agents and representatives
      • Senior people
      • Extraordinary women
    • Facilities
      • Campuses
      • Libraries
      • Gym
      • University of London facilities
      • Specialist facilities
    • Work for us
      • Apply
      • Benefits
      • Career development
    • Vision and Strategy
      • Academic excellence
        • Rankings
        • Education
          • Flexible learning spaces
          • Active and collaborative learning
          • Term dates
        • Student statistics
      • Equality, diversity and inclusion
        • Equality, Diversity and Inclusion Strategy
        • Data and objectives
        • Staff networks
        • Digital Accessibility
      • Sustainable development
        • Get involved
        • Environmental Impact and Performance
      • Civic engagement
      • Social responsibility
        • Social responsibility in our outreach
        • Social responsibility in action
    • Governance and legal
      • Charter and Statutes
      • Rector
      • Council
        • Audit and Risk Committee
        • Corporate Governance and Nominations Committee
        • Remuneration Committee
        • Strategy and Finance Committee
        • Development Committee
      • Senate
        • Board of Studies
        • Collaborative Provision Committee
        • Educational Quality Committee
        • Research and Enterprise Committee
        • Senate Research Ethics Committee
      • Executive leadership
      • Financial statements
        • Financial Summary
      • Legal documents and policies
      • Committees
    • Global City
    • Contact us and find us
      • Find us
      • Contact us
      • Staff directory
    • Guidance on Coronavirus
      • Admissions advice during coronavirus
        • Coronavirus accommodation information
      • Latest updates
      • Advice for visitors to our campus
  • Student Hub
  • Staff Hub
  • Prospective students
    Prospective students
    • Courses
      • Undergraduate degrees
      • Apprenticeships
      • Foundation courses
      • Postgraduate taught degrees
      • Postgraduate research degrees
      • Short courses
      • Professional development courses
      • City Health courses
    • Apply
      • Entry requirements
      • How to apply
      • Prospectus
      • Visas
      • Study abroad programmes
      • Clearing
      • Alternative entry routes
      • Contact Admissions
    • Finance
      • Funding options
      • Earn while you learn
      • How to pay
      • Additional expenses
    • Accommodation and housing
      • Compare residential halls
      • Applying for halls
      • Paying for halls
      • Private accommodation
      • Short-term accommodation
    • Open events and fairs
      • Campus tours
      • Online chats
      • University fairs
    • Student life
      • London experience
      • Local area
      • Sports
      • Social activities and groups
      • Religion
      • Lesbian, gay, bisexual, transgender and queer plus
      • Volunteering
      • Student wellbeing
      • Learn another language
    • Career development
      • Placements, internships and employment opportunities
      • Career pathways
      • Job prospects and graduate destinations
      • Careers team
    • Subjects
  • Research
    Research
    • Research centres and groups
    • Research impact
      • Research Excellence Framework
      • Research case studies
    • Research strategy
    • Research support
      • Grants and funding
      • Integrity and ethics
      • Research data
      • Researcher development
    • Doctoral College
      • Funding and scholarships
      • Essential information
      • Meet the Team
      • Training and Development
      • Research Supervisors
  • For businesses
    For businesses
    • Start your business
      • Develop your startup idea
      • Launch your startup
    • Grow your business
      • Fund your business
      • Hire an academic consultant
      • Purchase our intellectual property
      • Companies formed
    • Develop your people
      • Bespoke training
      • My Home Life England
      • Degree apprenticeships for business
    • Business impact case studies
    • Access our student talent
      • Recruit with us
      • Meet and support our students
      • Information for placement partners
  • Alumni and supporters
    Alumni and supporters
    • Alumni benefits
    • Alumni Events
    • Global alumni network
      • Networks and Groups
      • Alumni Ambassadors
      • Special Interest Groups
      • Alumni News and stories
    • Contact Alumni Relations
    • Support City
      • Donate to City
      • Volunteering
      • Your impact
  • News and events
    News and events
    • News
    • Events
    • Social media directory
      • City social accounts
      • School and Departmental accounts
  • About us
    About us
    • Schools and Departments
      • School of Policy & Global Affairs
      • School of Communication & Creativity
      • Bayes Business School
      • School of Health & Psychological Sciences
      • School of Science & Technology
      • The City Law School
      • Dubai Centre
    • History
    • People
      • Academics
      • Research students
      • Students
      • Honorary graduates
      • Past students
      • Professional Services staff
      • International agents and representatives
      • Senior people
      • Extraordinary women
    • Facilities
      • Campuses
      • Libraries
      • Gym
      • University of London facilities
      • Specialist facilities
    • Work for us
      • Apply
      • Benefits
      • Career development
    • Vision and Strategy
      • Academic excellence
      • Equality, diversity and inclusion
      • Sustainable development
      • Civic engagement
      • Social responsibility
    • Governance and legal
      • Charter and Statutes
      • Rector
      • Council
      • Senate
      • Executive leadership
      • Financial statements
      • Legal documents and policies
      • Committees
    • Global City
    • Contact us and find us
      • Find us
      • Contact us
      • Staff directory
    • Guidance on Coronavirus
      • Admissions advice during coronavirus
      • Latest updates
      • Advice for visitors to our campus
  1. Home
  2. …
  3. People
  4. Academics
  5. Dr Jacob Howe
People
  • Academics
  • Research students
  • Students
  • Honorary graduates
  • Past students
  • Professional Services staff
  • International agents and representatives
  • Senior people
  • Extraordinary women
photo of 	Jacob Howe

Dr Jacob Howe

Senior Lecturer

School of Science & Technology Department of Computer Science

Contact details

  • +44 (0)20 7040 4045
  • j.m.howe@city.ac.uk

Address

Dr Jacob Howe A304D, College Building [A]
City, University of London
Northampton Square
London EC1V 0HB
United Kingdom
  • About
  • Research
  • Publications
  • Professional activities

About

Overview

My research interests span machine learning, mathematical logic, declarative programming, software reliability, artificial intelligence, constraint solving and computational geometry. My work has two strands, one in developing the theoretical foundations of these areas, the other in applying them, particularly in static program analysis using abstract interpretation. Formally reasoning about code using abstract interpretation makes it an important tool for the software engineer interested in verification and security.

Qualifications

  • PhD Computer Science, University of St Andrews, United Kingdom, 1998
  • MSc Philososphy & History of Science, University of London (LSE), United Kingdom, 1995
  • BSc (Hons) Mathematics, University of Warwick, United Kingdom, 1994

Employment

  • Senior Lecturer, City, University of London, Aug 2007 – present
  • Lecturer, City, University of London, Oct 2001 – Jul 2007

Teaching

Educational Leadership

Course Director for BSc (Hons) Computer Science and MSci (Hons) Computer Science
Course Director for BSc Computer Science

Research

Research Interests

My research interests are centred on static program analysis, 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. Recent projects I have been involved in include the EPSRC project VIP: Verification with Integer Polyhedra.

Publications

Publications by category

Chapters (2)

  • Mereani, F.A. and Howe, J.M. (2021). Rule Extraction from Neural Networks and Other Classifiers Applied to XSS Detection. Studies in Computational Intelligence (pp. 359–386). Springer International Publishing. ISBN 978-3-030-70593-0.
  • Howe, J.M. and King, A. Polyhedral Analysis using Parametric Objectives. Nineteenth Static Analysis Symposium (pp. 41–57). Springer.

Conference papers and proceedings (14)

  • Mereani, F.A. and Howe, J.M. (2018). Preventing Cross-Site Scripting Attacks by Combining Classifiers. 10th International Joint Conference on Computational Intelligence 18-20 September.
  • De Souza Mota, E., Howe, J.M. and D’Avila Garcez, A.S. (2017). Inductive learning in shared neural multi-spaces.
  • Tenório, M.R., De Souza Mota, E., Howe, J.M. and D’Avila Garcez, A.S. (2017). Learning about actions and events in shared NeMuS.
  • Melik Schramm, A.C., De Souza Mota, E., Howe, J.M. and D’Avila Garcez, A.S. (2017). Category-based inductive learning in shared NeMuS.
  • Robbins, E., Howe, J.M. and King, A. (2013). Theory propagation and rational-trees.
  • Howe, J.M. and King, A. (2010). A pearl on SAT solving in Prolog. 10th International Symposium on Functional and Logic Programming 19-21 April, Sendai, Japan.
  • Charles, P.J., Howe, J.M. and King, A. (2009). Integer polyhedra for program analysis. 5th International Conference, AAIM 2009 15-17 June, San Francisco, USA.
  • Howe, J.M. and King, A. (2009). Logahedra: A new weakly relational domain.
  • Simon, A., King, A. and Howe, J.M. (2003). Two variables per linear inequality as an abstract domain.
  • Howe, J.M. and King, A. (2001). Positive Boolean Functions as Multiheaded Clauses. International Conference on Logic Programming 26 Nov 2001 – 1 Dec 2001, Cyprus.
  • Howe, J.M. and King, A. (2000). Specialising Finite Domain Programs with Polyhedra. Logic Programming Synthesis and Transformation 1999 22 Sep 1999 – 24 Sep 1999, Venezia.
  • Howe, J.M. and King, A. (1999). Specialising Finite Domain Programs Using Polyhedra.
  • Howe, J.M. (1997). Two Loop Detection Mechanisms: a Comparison. International Conference on Analytic Tableaux and Related Methods (TABLEAUX'97) 13-16 May, Pont-a-Mousson.
  • Howe, J.M. and King, A. Implementing Groundness Analysis with Definite Boolean Functions. 9th European Symposium on Programming Languages and Systems.

Journal articles (21)

  • ROBBINS, E.D., KING, A. and HOWE, J.M. (2021). Backjumping is Exception Handling. Theory and Practice of Logic Programming, 21(2), pp. 125–144. doi:10.1017/s1471068420000435.

    [publisher’s website]

  • Alhamdan, W.S.N. and Howe, J.M. (2021). Classification of Date Fruits in a Controlled Environment Using Convolutional Neural Networks. pp. 154–163. doi:10.1007/978-3-030-69717-4_16.

    [publisher’s website]

  • Mota, E., Howe, J.M., Schramm, A. and d'Avila Garcez, A. (2019). Efficient Predicate Invention using Shared NeMuS. 14th International Workshop on Neural-Symbolic Learning and Reasoning.
  • Howe, J.M., King, A. and Simon, A. (2019). Incremental closure for systems of two variables per inequality. Theoretical Computer Science, 768, pp. 1–42. doi:10.1016/j.tcs.2018.12.001.
  • Mereani, F. and Howe, J. (2019). Exact and Approximate Rule Extraction from Neural Networks with Boolean Features. Proceedings of the 11th International Joint Conference on Computational Intelligence. doi:10.5220/0008362904240433.

    [publisher’s website]

  • Mereani, F.A. and Howe, J.M. (2018). Detecting Cross-Site Scripting Attacks Using Machine Learning. pp. 200–210. doi:10.1007/978-3-319-74690-6_20.

    [publisher’s website]

  • Howe, J.M., Robbins, E. and King, A. (2017). Theory learning with symmetry breaking. Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming. doi:10.1145/3131851.3131861.

    [publisher’s website]

  • Robbins, E., Howe, J.M. and King, A. (2015). Theory propagation and reification. Science of Computer Programming, 111(1), pp. 3–22. doi:10.1016/j.scico.2014.05.013.
  • Howe, J.M. and King, A. (2012). A pearl on SAT and SMT solving in Prolog. Theoretical Computer Science.
  • Howe, J.M. and King, A. (2011). A Pearl on SAT Solving in Prolog (extended abstract). Logic Programming Newsletter, (3).
  • Howe, J.M., King, A. and Lawrence-Jones, C. (2010). Quadtrees as an abstract domain. Electronic Notes in Theoretical Computer Science, 267(1), pp. 89–100. doi:10.1016/j.entcs.2010.09.008.
  • Howe, J.M., King, A. and Lu, L.J. (2004). Analysing logic programs by reasoning backwards. PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC, 3049, pp. 152–188.
  • Howe, J.M. and King, A. (2003). Efficient groundness analysis in Prolog. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 3, pp. 95–124. doi:10.1017/S1471068402001485.
  • Howe, J.M. and King, A. (2003). Three optimisations for sharing. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 3, pp. 243–257. doi:10.1017/S1471068402001497.
  • Howe, J.M. and King, A. (2003). Efficient Groundness Analysis in Prolog. TPLP, 3, pp. 95–124.
  • Howe, J.M. and King, A. (2003). Three Optimisations for Sharing. TPLP, 3, pp. 243–257.
  • Genaim, S., Howe, J.M. and Codish, M. (2001). Theory and Practice of Logic Programming. Theory and Practice of Logic Programming, 1(5), pp. 611–615.
  • Howe, J.M. (2001). Proof Search in Lax Logic. Mathematical Structures in Computer Science, 11(4), pp. 573–588.
  • Genaim, S., Howe, J.M. and Codish, M. (2001). Worst-case groundness analysis using definite boolean functions. TPLP, 1, pp. 611–615.
  • Genaim, S., Codish, M. and Howe, J.M. (2001). Worst-case groundness analysis using definite Boolean functions. Theory and Practice of Logic Programming, 1(5), pp. 611–615. doi:10.1017/S1471068401001077.
  • Howe, J.M. and King, A. (2000). Abstracting Numeric Constraints with Boolean Functions. Information Processing Letters, 75(1-2), pp. 17–23. doi:10.1016/S0020-0190(00)00081-8.

Reports (3)

  • Howe, J.M., King, A. and Lawrence-Jones, C. (2010). Quadtrees as an Abstract Domain..
  • Howe, J.M. and King, A. (2009). Closure Algorithms for Domains with Two Variables Per Inequality..
  • Howe, J.M. and King, A. Widening BDDS. University of Kent.

Thesis/dissertation

  • Howe, J.M. Proof Search Issues in Some Non-Classical Logics. (PhD Thesis)

Professional activities

Editorial activity

  1. Forthcoming and Recent Events
    - LOPSTR 2013, (Madrid, Spain), Programme Committee member
    - WLPE'2013, (Istanbul, Turkey), Programme Committee member
    - PADL'2013: Practical Aspects of Declarative Languages, (Rome, Italy), Programme Committee Member
    - PPDP'2012, (Leuven, Belgium), Programme Committee member
    - WLPE'2012, (Budapest, Hungary), Programme Committee member
    .

Help us to improve this page

City, University of London

The University of business, practice and the professions

  • Library Services
  • Moodle
  • Email
  • Staff directory
  • Term dates
  • Book a room
  • Schools and departments

Back to top

Contact us

Make an enquiry

  • Twitter
  • Facebook
  • Instagram
  • LinkedIn
  • YouTube
  • TikTok
  • Weibo
  • Youku
  • WeChat
Social media directory

Find us

City, University of London
Northampton Square
London EC1V 0HB
United Kingdom

Campus map

Our global campuses

  • London
  • Dubai

Awards and accreditations

  • Athena SWAN: Bronze Award
  • Stonewall: LGBTQ+ Inclusive employer - Silver Award 2023 logo
  • UKRI Research England logo

Useful links

  • Accessibility
  • Privacy policy
  • Cookies
  • City Store
  • Support City
  • Work for City
  • City Magazine
  • 中文

© 2023 City, University of London

University of London