|
| Name: |
Professor M Koutny |
| Organisation: |
Newcastle University |
| Department: |
Sch of Computing |
| 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
|
| |
|
|
|
|