Name:	Professor E Komendantskaya
Organisation:	Heriot-Watt University
Department:	S of Mathematical and Computer Sciences
Current EPSRC-Supported Research Topics:	Artificial Intelligence Computational Linguistics Fundamentals of Computing Human-Computer Interactions Modelling & simul. of IT sys. Robotics & Autonomy Socio Legal Studies Software Engineering

Current EPSRC Support

EP/Y030834/1 UKRI AI Centre for Doctoral Training in Dependable and Deployable Artificial Intelligence for Robotics (CDT-D2AIR) (C) EP/T026952/1 AISEC: AI Secure and Explainable by Construction (P)

Previous EPSRC Support

EP/K031864/2 COALGEBRAIC LOGIC PROGRAMMING FOR TYPE INFERENCE: Parallelism and Corecursion for New Generation of Programming Languages (P) EP/N014758/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes (C) EP/K031864/1 COALGEBRAIC LOGIC PROGRAMMING FOR TYPE INFERENCE: Parallelism and Corecursion for New Generation of Programming Languages (P) EP/J014222/1 MACHINE LEARNING COALGEBRAIC AUTOMATED PROOFS (P) EP/F044046/2 Computational Logic in Artificial Neural Networks (P) EP/F044046/1 Computational Logic in Artificial Neural Networks (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator