About us

The Software Systems Engineering Research Group investigates programming principles, modelling methods, architectures, infrastructures and tools for design and development of modern, medium to large scale, software systems. Providing services related to real-world solutions, the group aims at precise specifications of system structure and behaviour, and their consistent implementation. This behaviour often includes intelligence and autonomy.

Read moreGo to About us page


Find out about the projects that the group has been involved in.

See all projects

Pen and glasses placed on written pieces of paper


  • Bolotov, A and Shangin, V. Natural Deduction System in Paraconsistent Setting: Proof Search for PCont. Journal of Intelligent Systems, Volume 21, Issue 1, Pages 1–24, ISSN (Online) 2191-026X, ISSN (Print), 0334-1860,DOI: 10.1515/jisys-2011-0021, February 2012
  • Bolotov, A and Shangin, V. Natural Deduction in Paracomplete Setting. Logical Investigations, Vol. 20, 2014, pp 224-247, Moscow – St Petersburg, ISBN 978-5-98712- 197-3
  • Bolotov, A. and Shangin, V. Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting. COMPSAC 2014: 91-96, Vasteras, Sweden, July 2014

See all publications


There is currently no news. Please check back at a later date or explore the main
Research News page.


There are currently no events. Please check back at a later date or
See our past events.

Our location

Software Systems Engineering Research Group, 115 New Cavendish Street, London W1W 6UW

 Accessibility: Together with AccessAble, we have created online Disabled Access Guides for our buildings.

Contact us

Contact Alexander Bolotov, Group Leader:

+44 (20) 7911 5000 ext 64537
[email protected]