• completed a PhD on formal derivations of concurrent algorithms
• teaching COMP4500/7500 (Semester 2, 2009)
• researching time bands for teleo-reactive programs
• researching progress properties of non-blocking algorithms.

You can find me at Room 313, General Purpose South, St. Lucia Campus.

brijesh@itee.uq.edu.au

My publications