EPSRC logo
Researcher Details
 
Name: Professor M Koutny
Organisation: Newcastle University
Department: Computing Sciences
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/K001698/1 UNderstanding COmplex system eVolution through structurEd behaviouRs (UNCOVER)(P)
EP/G037809/1 VERification-Driven Asynchronous Design (VERDAD)(C)
GR/T19407/01 CASINO: CAusal SemantIcs of Nets with inhibitOr arcs(P)
GR/S81421/01 Secure Circuit Design (SCREEN)(C)
GR/R16754/01 Behavioural Synthesis of Systems With Heterogeneoustiming (Besst)(C)
GR/R37456/01 Box Algebra with Asynchronous Communications Links (BEACON)(P)
GR/M94366/01 MODEL VISUALISATION FOR ASYNCHRONOUS CIRCUIT DESIGN (MOVIE)(C)
GR/M99293/01 A SYSTEM FOR PARALLEL MODEL CHECKING(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator