FACTOID #53: If you thought Antarctica was inhospitable, think again - its land area is only ninety-eight percent ice. Reassuringly, the other 2% is categorised as "barren rock".
Alan Bundy is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof-planning (the use of meta-level reasoning to guide proof search [1]). The University of Edinburghs School of Informatics was created in 1998 when the Departments of Artificial Intelligence, Computer Science, and Cognitive Science were combined. ... The University of Edinburgh, founded in 1583, is a renowned centre for teaching and research in Edinburgh, Scotland. ... Automated reasoning is an area of Computer Science dedicated to creating software which allows to perform reasoning on computers completely or nearly completely automatically. ...
He is the leader of the DReaM group (Mathematical Reasoning Group), the world's foremost research group in mathematical cognitive AI, and is the winner of the IJCAI-07 Award for Research Excellence. IJCAI is the International Joint Conference on Artificial Intelligence. ...
Feeds |
Contact