| |
.
Education
- PhD in Artificial Intelligence
- University of Edinburgh, Scotland, United Kingdom, 1997
- Thesis: Proof planning for automating hardware verification
- Supervisors: Alan Bundy, Alan Smaill, David Basin
- Thesis topics: automatic theorem proving, automation of mathematical induction, meta-level reasoning, planning, classical higher-order logic, intuitionistic higher-order logic, system verification, register-transfer circuits
- Master of Science, Computer Science
- North Dakota State University, United States, 1978
- Thesis: A method for solving a class of reactive programming problems
- Supervisors: Robert Hare
- Thesis topics: Non-linear optimization, game playing, cooperative problem solving, Cournot and Pareto equilibrium
- Bacher of Computer Systems Engineering
- Monterrey Institute of Technology, 1973
|
|
|
