Dr. Francisco J. Cantú Ortiz
  Página personal
 
 
 
Home
 
Curriculum vitae
 
Education
 
publications
 
Theses
 
conference organizer
 
invited talks
 
editorial boards
 
grants
 
RESEARCH INTERESTS
 
Family
 
teaching
.
Education

    Updated August 21, 2000

  • 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