Dr. Michael P. Frank
http://www.cise.ufl.edu/~mpf
mpf@cise.ufl.edu
Current Residence:
1810 NW 23rd Blvd., Apt. 261
Gainesville, FL  32605-3062
(352) 336-0627		 Current Office:
CSE Building, Room 442
P.O. Box 116120
Gainesville, FL  32611
(352) 392-6888

Education:

Massachusetts Institute of Technology Cambridge, MA
1991-1999
Ph.D. in Electrical Engineering and Computer Science, June 1999. Dissertation under Prof. Tom Knight on "Reversibility for Efficient Computing." Minor in VLSI design. Additional coursework in computer architecture, artificial intelligence (AI), and theoretical computer science. M.S. in Electrical Engineering and Computer Science, June 1994. Masters thesis on decision-theoretic AI. Student work experience as research assistant, teaching assistant, and UNIX sysadmin. Cumulative GPA at MIT: 4.9 (out of 5.0).

Stanford University		 Stanford, CA
1987-1991
B.S., with distinction, in Symbolic Systems, June 1991. Broad curriculum emphasizing computer science, mathematical logic, and artificial intelligence. Independent research/programming work exploring 3-D rendering and AI techniques. GPA in major: 3.9 (out of 4.0). GRE scores: Verbal 730 (97%ile), Quant. 800 (97%ile), Analyt. 750 (96%ile) (all out of 800), Computer Science 850 (out of 900) (99%ile).

Research experience: (selected positions)

University of Florida Gainesville, FL
Aug. 1999-present
Assistant professor (tenure-track) in the Computer & Information Science & Engineering Department of the College of Engineering. Position involves teaching graduate and undergraduate courses, advising and supervising students, applying for research sponsorships, and working on research, publications, and academic service.

Massachusetts Institute of Technology		 Cambridge, MA
Summer 1999
Postdoctoral researcher in the Artificial Intelligence Laboratory under the supervision of Prof. Tom Knight. Extended Ph.D. research, worked on publications, supervised a summer student.

NASA Ames Research Center		 Mountain View, CA
Summer 1996
Aided the design and development of high-level control software for the Deep Space One autonomous spacecraft, part of NASA's New Millennium program. Created an object-oriented, extensible spacecraft simulator, using the Common Lisp Object System. Contracted through Caelum Research Corporation.

IBM T. J. Watson Research Center		 Hawthorne, NY
Summers 1994-1995
Research assistant in the handwriting recognition group. Participated in R&D of a large software system in C for on-line recognition of handwritten words using hidden Markov models for statistical pattern recognition.

SRI International		 Menlo Park, CA
Summers 1990-1991
Helped develop the Tileworld software environment for simulation of agent architectures. Increased simulation performance, created an X interface in Common Lisp. Later, developed a system for conducting HCI (human-computer interaction) experiments for speech and handwriting recognition systems. Created an LCD tablet graphical interface in C using the X window system.

Selected publications:

Michael P. Frank, ``Reversibility for Efficient Computing,'' Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts, May 1999. http://www.ai.mit.edu/~mpf/thesis/phdthesis.html.

Michael P. Frank, ``Advances in decision-theoretic AI: Limited rationality and abstract search,'' Master's thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts, May 1994. http://www.ai.mit.edu/~mpf/papers/Frank-94/Frank-94.html.

Michael P. Frank and Tom Knight, ``Ultimate Theoretical Models of Nanocomputers,'' Nanotechnology9(3):162-176, Sep. 1998. Also presented at the Fifth Foresight Conference on Molecular Nanotechnology, Palo Alto, CA, Nov. 1997. http://www.ai.mit.edu/~mpf/Nano97/paper.html.

Michael P. Frank, Tom Knight, Norm Margolus, ``Reversibility in optimal scalable computer architectures,'' in Calude, Casti, Dineen, eds., Unconventional Models of Computation (proceedings of the First International Conference on Unconventional Models of Computation, Jan. 1998), pages 165-182, Springer, 1998. http://www.ai.mit.edu/~mpf/rc/scaling_paper/scaling.html.

Michael P. Frank, Carlin Vieri, M. Josephine Ammer, Nicole Love, Norman H. Margolus, Thomas F. Knight, Jr., ``A scalable reversible computer in silicon,'' in ibid., pages 183-200. http://www.ai.mit.edu/~mpf/rc/flattop/ft.html.

Sharon Oviatt, Philip Cohen, Martin Fong, and Michael Frank, ``A Rapid Semi-Automatic Simulation Technique for Investigating Interactive Speech and Handwriting,'' Proceedings of the International Conference on Spoken Language Processing, Bariff, Canada, October 1992.

Matthew L. Ginsberg, Michael Frank, Michael P. Halpin, and Mark C. Torrance, ``Search lessons learned from crossword puzzles,'' Proceedings Eighth National Conference on Artificial Intelligence, 1990.

Last modified 1/25/00. The most complete & up-to-date version of this CV, with hypertext links, can be found online at http://www.cise.ufl.edu/~mpf/cv-withlinks.html.