Software Systems Engineering Research Group

About the centre

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

Projects

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

See all projects

Pen and glasses placed on written pieces of paper

Publications

  • 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

News

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

Events

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

Title
Our location

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

Contact us

Contact Alexander Bolotov, Group Leader:

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