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

Degrees Awarded:		Degree Field School Date received Ph.D. Elec. Eng. and Comp. Sci. M.I.T. June 1999 M.S. Elec. Eng. and Comp. Sci. M.I.T. June 1994 B.S., with distinction Symbolic Systems Stanford University June 1991 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).
Professional Experience:		Marketplace.Net, Inc. San Jose, CA March 1998-February 1999 Senior software engineer and web developer for this internet startup's web site, StockMaster.com, providing public and corporate financial information services. Created custom extensions to the Apache web server for fast communication with an ObjectStore back-end object database. Created prototype CGI-based software for processing and displaying international stock and index data from Dow Jones. Many other software engineering and site maintenance responsibilities. 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. Newton Research Labs Cambridge, MA Fall 1995 Software design subcontractor for Microsoft. Helped architect the software Microsoft is developing for digital broadcast of multimedia content via DirectTV satellite. 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. Microsoft Corporation Redmond, WA Summer 1988 Software engineer on Microsoft Works 2.0 for DOS; added many features in C.
Professional organizations:		Association for Computing Machinery, member, 1990-1992. (Planning to re-join soon.) Sigma Xi, membership offered (twice) (Planning to join soon.) American Association for the Advancement of Science, membership offered. (Will join when can afford.)
Thesis and/or dissertation committees served on:		None yet.
Publications:
Books, co-authored:		Michael P. Frank and Carlin J. Vieri, Reversibility for Efficient Computing, MIT Press, Cambridge, Massachusetts. Currently under review, estimated publication date of 2000.
Monographs:		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.
Refereed journal articles:		Michael P. Frank and Norman H. Margolus, ``The performance benefits of reversible computing in optimal physically realistic models of computation.'' International J. of Modern Physics D; submission invited, currently in preparation. Michael P. Frank and Tom Knight, ``Ultimate Theoretical Models of Nanocomputers,'' Nanotechnology 9(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.
Refereed conference articles:		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.
Creative, nonpublished works:		Talks given: ``Reversibility for Efficient Computing,'' job talk, University of Florida, June 1999. (Job was offered.) ``Reversibility for Efficient Computing,'' thesis defense, MIT EECS Dept., May 1999. (Thesis was approved.) ``Reversibility in Optimally Scalable Computer Architectures,'' talk prepared for the First International Conference on Unconventional Models of Computation, Auckland, New Zealand, January 1998. (Delivered by colleague.) ``A Scalable Reversible Computer in Silicon,'' talk prepared for the First International Conference on Unconventional Models of Computation, Auckland, New Zealand, January 1998. (Delivered by colleague.) ``Reversibility for Efficient Computing,'' job talk, Texas Instruments DSP Research Division, December 1997. (Job was offered.) ``Ultimate Theoretical Models of Nanocomputers,'' presented at the Fifth Foresight Conference on Molecular Nanotechnology, November 1997. ``The O.C.E.A.N. Project: An Open Computation Exchange & Arbitration Network,'' MIT AI Lab student seminar, February 1997. ``Low-Energy Computing for Implantable Medical Devices,'' MIT Clinical Decision-Making Group research seminar, February 1996. ``Quantum Computation Primitives,'' area exam talk, MIT EECS Dept., February 1996. ``Automatic Programming and the Programmer's Apprentice Project,'' MIT Clinical Decision-Making Group journal club talk, October 1992 ``Virtual Reality for Computer-Supported Cooperative Work (and Medical Applications),'' MIT Clinical Decision-Making Group research seminar, April 1992. ``Rational Distributed Reasoning,'' MIT Clinical Decision-Making Group journal club talk, March 1992. Events organized: GridWars programming competition, MIT AI Lab Olympics, January 1993. Prizes/awards won: National Science Foundation Graduate Fellow, 1992-1995. International championship, ACM Collegiate Programming Contest, 1991.

Last modified 9/8/99. The most up-to-date version of this CV can be found online at http://www.cise.ufl.edu/~mpf/cv.html.