Assistant Professor (Lecturer) in Computer Science // Head of Department SCC Leipzig
Dr Fabio Papacchini is an assistant Professor at the department of Computer Science at Lancaster University Leipzig. He received his PhD and a Doctoral Prize fellowship from the University of Manchester. He then moved to the University of Liverpool, where he worked on several research projects such as “Robotics and Artificial Intelligence for Nuclear”, “UK Robotics and Artificial Intelligence Hub for Offshore Energy Asset Integrity Management”, and “Science of Sensor System Software”. His main research is in the area of non-classical logics in computer science. His research ranges from model theory, to understand the expressive power and limits of those logics, automated theorem proving, to design and implement formal methods techniques, and knowledge representation and reasoning, to apply those logics and techniques to fields such as ontological reasoning and formal verification.
