EPSRC logo
Researcher Details
 
Name: Dr E Komendantskaya
Organisation: Heriot-Watt University
Department: S of Mathematical and Computer Sciences
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/N014758/1 The Integration and Interaction of Multiple Mathematical Reasoning Processes(C)
Previous EPSRC Support
EP/K031864/2 COALGEBRAIC LOGIC PROGRAMMING FOR TYPE INFERENCE: Parallelism and Corecursion for New Generation of Programming Languages(P)
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