contact
|
academic
|
personal
|
about
|
|
CSA2201: Formal Languages and Compilers Addendum to Chapter 6 (Course Notes) relating to an alternative definition for language acceptance of NPDAs is now online! |
| Dec 09 | CSA2201: Formal Languages and Compilers Assignment 3 is now online! . |
| Dec 09 | CSA2201: Formal Languages and Compilers Addendum to Chapter 4 (Course Notes) is now online! |
| Nov 09 | CSA2201: Formal Languages and Compilers Assignment 2 is now online! Also please find a model answer for part 2 of Question 3 from Assignment 1 here. |
| Nov 09 | Paper presented at WICT'09 Assessing Design Patterns for Concurrency. |
| Sep 09 | Paper accepted at LINEARITY'09 (in conjunction with CSL 2009) Uniqueness Typing for Resource Management in Message-Passing Concurrency. |
| Aug 09 | Workshop: Logical Aspects of Fault-Toleance (in conjunction with LICS 09) |
| Jan 09 | Paper accepted at TaPP'09 (Theory and Applications of Provenance) A Formal Model of Provenance in Distributed Systems. |
| Oct 08 | Journal paper accepted at FMCO'08 (Formal Methods for Components and Objects) Universe Types for Topology and Encapsulation. |