 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
PhD, University of New South Wales |
|||||||||||||||||
 |
I first spent two years in 4C, from 2003 to 2005, as a post-graduate student under the joint supervision of Prof. Toby Walsh and Dr. Brahim Hnich. I then came back in May 2006 for a two years embark post-doctoral fellowship. I am now working in Prof. Barry O'Sullivan's group as research staff. My research interests include (but are not limited to) propositional satisfiability, constraint satisfaction and optimization, complexity theory and graph theory. |
||||||||||||||||
Latest Publications in the 4C Database:
|
|||||||||||||||||
| Full List of publications in the 4C Database | |||||||||||||||||
| Contact Information
|
|||||||||||||||||
|
|
© Cork Constraint Computation Centre, University College Cork. |