Logic & Computation Students
8 entries. Last updated 2012-05-16 15:19:41.
No Image Available | Mr Joshua BAX | | Position: | PhD Student | | Email: | JavaScript must be enabled to display this email address.
| | Phone: | +61 2 6267 6295 | | Building: | NICTA London Circuit | | Room: | L3-WS-56 | | Groups: | CS, LC | | Staff category: | Student |
|
No Image Available | Mr Peter GAMMIE | | Position: | PhD Student | | Email: | JavaScript must be enabled to display this email address.
| | Personal website: | http://peteg.org/ | | Phone: | +61 2 612 59665 | | Building: | CSIT (108) | | Room: | N315 | | Groups: | CS, LC | | Staff category: | Student |
|
No Image Available | Mr Hendra GUNADI | | Position: | Honours student | | Email: | JavaScript must be enabled to display this email address.
| | Building: | RSISE (115) | | Room: | B250 | | Groups: | CS, LC | | Staff category: | Student |
|
 | Mr Zhe HOU | | Position: | PhD Student | | Email: | JavaScript must be enabled to display this email address.
| | Phone: | +61 2 612 58636 | | Building: | RSISE (115) | | Room: | B263 | | Groups: | CS, LC | | Staff category: | Student |
|
Research interests:Logics and their applications, automated reasoning, especially automated theorem proving and model checking.
He is also interested in automata theory, computability theory, and genetic algorithm.
He is currently doing Business Process Modelling using Theorem Proving on the one hand, and looking for interesting applications for features in Bi-Intuitionistic Logic, Bunched Implications, etc. on the other hand. |
No Image Available | Mr Jan-Christoph KUESTER | | Position: | PhD Student | | Email: | JavaScript must be enabled to display this email address.
| | Phone: | +61 2 6267 6320 | | Building: | NICTA London Circuit | | Groups: | CS, LC | | Staff category: | Student |
|
 | Mr Hok LIE | | Position: | PhD Student | | Email: | JavaScript must be enabled to display this email address.
| | Phone: | +61 2 612 58636 | | Building: | RSISE (115) | | Room: | B263 | | Groups: | CS, LC, NICTA | | Staff category: | Student |
|
No Image Available | Mr Jimmy THOMSON | | Position: | PhD Student | | Email: | JavaScript must be enabled to display this email address.
| | Phone: | +61 2 612 58636 | | Building: | RSISE (115) | | Room: | B263 | | Groups: | CS, LC | | Staff category: | Student |
|
No Image Available | Ms Rani YESUDAS | | Position: | PhD Student | | Email: | JavaScript must be enabled to display this email address.
| | Building: | RSISE (115) | | Room: | B240 | | Groups: | CS, LC | | Staff category: | Student |
|
