| Mr. Brijesh Dongol | |
| Degree: | PhD |
| Project Title: | Formal reasoning about progress in concurrent programs |
| Thesis Title: | - |
| Supervisor: | Prof. Ian Hayes |
| Location: | 78-313 |
| Phone: | 51651 |
| Email: | brijesh@itee.uq.edu.au |
| Home Page: | http://www.itee.uq.edu.au/~brijesh/ |