contact
|
academic
|
personal
|
about
|
|
Teaching: CSA 2201 Assignment 2 posted here. |
| Oct 08 | Teaching: CSA 2201 Assignment 1 posted here. |
|
|
Journal paper accepted at FMCO'08 (Formal Methods for Components and Objects) Universe Types for Topology and Encapsulation. |
| Sep 08 | Took up a permament position at ICT, University of Malta. |
| Apr 08 | Conference paper accepted at ECOOP'08 (European Conference for Object Oriented Programming). A Unified Framework for Verification Techniques for Object Invariants. |
| Mar 08 | Journal paper accepted at I&C'08 (Information and Computation). A Theory of System Behaviour in the Presence of Node and Link Failures. |