Disclaimer : This page lists only the information about the individual member relevant to the theory group activities. Please visit the individual's page (using the link above) for broader profile information.
Research InterestsApplications of Logic in Computer Science |
Teaching Actvities (while with the theory group - since Jan 2011)
- Computability and Complexity - Jul-Nov, 2024