Research Interests
  1. Automated Theorem Proving
  2. Logic for Computer Science
  3. Agile Software Development
  4. Information Retrieval
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License