{"id":16,"date":"2011-05-26T18:51:02","date_gmt":"2011-05-26T18:51:02","guid":{"rendered":"http:\/\/homepages.inf.ed.ac.uk\/jdf\/?page_id=16"},"modified":"2024-03-14T07:33:53","modified_gmt":"2024-03-14T07:33:53","slug":"quick-cv","status":"publish","type":"page","link":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/quick-cv\/","title":{"rendered":"Quick CV"},"content":{"rendered":"<p><em>Note: This is not up-to-date.<\/em><\/p>\n<p><big>Education<\/big><\/p>\n<ul>\n<li>1995\u20131999 \u00bb PhD in Artificial Intelligence (Automated Reasoning).\n<ul>\n<li><a href=\"http:\/\/www.cl.cam.ac.uk\/\" rel=\"nofollow\">Computer Laboratory<\/a> and <a href=\"http:\/\/www.clare.cam.ac.uk\/Home\/\">Clare College<\/a>, University of Cambridge,\u00a0UK.<\/li>\n<li><a href=\"http:\/\/www.springer.com\/computer\/theoretical+computer+science\/book\/978-1-85233-466-6\" rel=\"nofollow\">Thesis<\/a>: A<em> combination of geometry theorem proving and nonstandard analysis, with application to Newton\u2019s Principia<\/em>. Winner of the Council of Professors and Heads of Computing\/British Computer Society (CPHC\/BCS) Distinguished PhD Dissertation in Computer Science for the UK.<\/li>\n<li>Supervisor: Prof. <a href=\"http:\/\/www.cl.cam.ac.uk\/~lp15\" rel=\"nofollow\">Lawrence C Paulson<\/a>\u00a0FRS.\u00a0Viva: 12 May 1999, passed with no correction.<\/li>\n<\/ul>\n<\/li>\n<li>1991\u20131995 \u00bb MEng in Artificial Intelligence and Knowledge Engineering\n<ul>\n<li>Imperial College of Science, Technology and Medicine, University of London, UK.<\/li>\n<li>Degree obtained: First Class Honours<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><big>Scholarships and Awards<\/big><\/p>\n<ul>\n<li>2005 &#8211; 2006 \u00bb Royal Society of Edinburgh\/Scottish Executive Research Fellowhip<\/li>\n<li>2000 \u00bb British Computer Society <a href=\"http:\/\/www.bcs.org\/category\/5820\">Distinguished PhD Dissertation<\/a> in Computer Science.<\/li>\n<li>1998 \u00bb Data Connection Postgraduate Award.<\/li>\n<li>1995\u20131998 \u00bb Cambridge Commonwealth Trust Scholarship.<\/li>\n<li>1995\u20131998 \u00bb Overseas Research Student Award (ORS).<\/li>\n<li>1995 \u00bb Old Centralians Bursary, City and Guilds Institute, Imperial College.<\/li>\n<li>1991\u20131995 \u00bb Government of Mauritius Laureate Scholarship for undergraduate studies.<\/li>\n<\/ul>\n<p><big>Miscellaneous (Incomplete and kind of up-to-date)<\/big><\/p>\n<ul>\n<li>PC Chair: 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018.<\/li>\n<li>Conference Chair: Conferences on Intelligent Computer Mathematics, CICM 2017.<\/li>\n<li>Member of <a href=\"https:\/\/www.epsrc.ac.uk\/funding\/assessmentprocess\/college\/\">EPSRC Peer review college<\/a>.<\/li>\n<li>Associate Editor: <a href=\"https:\/\/www.springer.com\/computer\/ai\/journal\/10472?detailsPage=editorialBoard\">Annals of Mathematics and Artificial Intelligence<\/a> (Springer)<\/li>\n<li>Editorial Boards:\n<ul>\n<li><a href=\"https:\/\/www.springer.com\/series\/4814\">Progress in Computer Science and Applied Logic<\/a><\/li>\n<li>Journal of Applied Logic<\/li>\n<li>Journal of Algorithms in Cognition, Informatics and Logic<\/li>\n<\/ul>\n<\/li>\n<li>Program Committees (definitely incomplete!):\n<ul>\n<li>Math-AI 2021 (ICLR workshop).<\/li>\n<li>CICM 2021.<\/li>\n<li>Diagrams 2008, 2010, 2012, 2014, 2016, 2018, 2021, 2024.<\/li>\n<li>VERIFY 2014.<\/li>\n<\/ul>\n<ul>\n<li>Automated Deduction in Geometry (ADG) 2004, 2006, 2008, 2010, 2012, 2014, 2021,2023.<\/li>\n<li>IJCAR 2012.<\/li>\n<li>Geometric Constraints and Reasoning (GCR) 2008, 2009, 2010, 2011, 2012.<\/li>\n<li>Artificial Intelligence and Symbolic Computation (AISC) 2004, 2012.<\/li>\n<li>Automated Reasoning Workshop (ARW) 2005-present.<\/li>\n<li>Theorem Proving in Higher Order Logics (TPHOLs) 2004, 2005, 2007.<\/li>\n<\/ul>\n<\/li>\n<li>External PhD examiner:\n<ul>\n<li>Asad Ahmed. Thesis: Formal Analysis of Power Electronics Circuits using Theorem Proving, National University of Sciences and Technology (NUST), Pakistan, 2021<\/li>\n<li>David Braun. Thesis: <em>Approche combinatoire pour l&#8217;automatisation Coq des preuves formelles en g\u00e9om\u00e9trie d&#8217;incidence projective<\/em>, Universit\u00e9 de Strasbourg, 2019.<\/li>\n<li>Michael Strobel. Thesis: <em>Non-standard Analysis in Projective Geometry<\/em>, TUM, 2018.<\/li>\n<li>Tuan-Minh Pham. Thesis: \u00a0<em>Description Formelle de Proprietes Geometriques<\/em>,\u00a0INRIA Sophia Antipolis, 2011.<\/li>\n<\/ul>\n<ul>\n<li>Julien Narboux. Thesis: <em>Formalisation et automatisation du raisonnement geometrique en Coq<\/em>, INRIA Futurs, Ecole Polytechnique, LIX, France, 2006.<\/li>\n<\/ul>\n<\/li>\n<li>Internal PhD examiner\n<ul>\n<li>Alessandro Spinuso, Thesis:<em> Active Provenance for Data Intensive Research<\/em>, 2018.<\/li>\n<li>Daniel Raggi, Thesis:<em> Searching the space of representations: reasoning through transformations for mathematical problem solving<\/em>, 2016.<\/li>\n<li>Sripriya G, \u00a0Thesis:\u00a0<em>An implementation methodology for using concurrent and collaborative approaches for Theorem Provers with case studies of SAT and LCF style provers<\/em>, 2012.<\/li>\n<li>Omar Montano Rivas, Thesis:\u00a0<em>Scheme-based Theorem Discovery and Concept Invention<\/em>, 2011.<\/li>\n<li>George Christelis, Thesis:\u00a0<em>Automated Norm Synthesis in Planning Environments<\/em>, 2011.<\/li>\n<\/ul>\n<ul>\n<li>Nardine Osman, Thesis: <em>Runtime Verification of Deontic and Trust Models in Multiagent Interactions<\/em>, 2008.<\/li>\n<li>Graham Steel, Thesis: <em>Formal verification of security protocols<\/em>, University of Edinburgh 2004.<\/li>\n<\/ul>\n<\/li>\n<li>MPhil\/Masters Examiner\n<ul>\n<li>Timothy James McKenzie Makarios, Thesis: <em>A Mechanical verification of the independence of Tarski\u2019s Euclidean Axiom,<\/em> 2012.<\/li>\n<li>Roko Mijic, Thesis: <em>Representing knowledge about the real world: probabilistic, logical, and categorical techniques<\/em>, 2009.<\/li>\n<\/ul>\n<\/li>\n<li>Reviewer for The Shaw Prize 2006 (Mathematical Sciences).<\/li>\n<li>Program Chair\/Co-Chair: Automated Reasoning Workshop, IJCAI 2005; Automated Theory Exploration (ATX), IJCAR 2012.<\/li>\n<li>Invited talk at the Automated Reasoning Workshop 2004, Leeds, UK.<\/li>\n<li>External Referee for Junior Research Fellowship competitions at Girton College (2001) and Churchill College (2002), University of Cambridge, UK.<\/li>\n<li>Invited Staff Scientist at NASA Langley Research Center, VA for 1 month, 2001.<\/li>\n<li>Reviewer for numerous journals and conferences such as The Journal of Automated Reasoning, Electronic Notes in Theoretical Science, Formal Aspects of Computing, Computational Geometry: Theory and Applications, American Mathematical Monthly, Journal of Applied Logic, ADG, CADE, ECAI, IJCAR, LPAR, AVOCS, Diagrams etc. as well as organisations such the Newton Institute, Cambridge University Press, and the NSF (USA).<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Note: This is not up-to-date. Education 1995\u20131999 \u00bb PhD in Artificial Intelligence (Automated Reasoning). Computer Laboratory and Clare College, University of Cambridge,\u00a0UK. Thesis: A combination of geometry theorem proving and nonstandard analysis, with application to Newton\u2019s Principia. Winner of the &hellip; <a href=\"https:\/\/homepages.inf.ed.ac.uk\/jdf\/quick-cv\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":72,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-16","page","type-page","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/pages\/16","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/comments?post=16"}],"version-history":[{"count":1,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/pages\/16\/revisions"}],"predecessor-version":[{"id":182,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/pages\/16\/revisions\/182"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/media\/72"}],"wp:attachment":[{"href":"https:\/\/homepages.inf.ed.ac.uk\/jdf\/wp-json\/wp\/v2\/media?parent=16"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}