Dr Brijesh Dongol    Research Officer

	Biography

Dr Dongol's reasearch interests include formal methods, real-time systems, program derivation and non-blocking algorithms.

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

	Links
	Homepage

	Keywords
	Science and Technology: Logic, Science and Technology: Computer Theory, Science and Technology: Computer Science, Science and Technology: Control Applications (Computer Sciences)