Faculty Member, Department of Computer Science
About
two funded projects running at present, funded by SFI, collaboratring with Jim Woodcock at York: looking at theories of timing and probabilisitic aspects of systems across the software/hardware interface. Using the "Unifying Theories of Programming" (UTP) frameowrk to assist.
currently teaching this stuff in a 3rd year elective: 3BA31 Formal Methods
Contact Information
| Homepage: | |
| Address: | School of Computer Science & Statistics |
| Telephone: |
+353-1-896-2517 |
