Degrees Awarded:

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).

B.S., with distinction & departmental honors, 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 employment: (selected positions)

Assistant professor (tenure-track) in the Computer & Information Science & Engineering Department, and affiliate assistant professor in the Electrical & Computer Engineering Department, of the College of Engineering, both graduate and undergraduate schools. Position involves teaching graduate and undergraduate courses, advising students, supervising student projects, applying for research sponsorships, and working on research, publications, and academic service.

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.

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.

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.

Software design subcontractor for Microsoft. Helped architect software to support the digital broadcast of multimedia & web content via DirectTV satellite.

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.

Research intern working on decision-theoretic game-tree search algorithms.

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.

Research intern.  Developed PROSIT, a new logic programming language based on situation theory.

Software engineer on Microsoft Works 2.0 for DOS; added many features in C.

Prizes/awards won:

• Teacher of the Year award, presented by the UF ACM student chapter, 1999-2000.
• National Science Foundation Graduate Fellow, 1992-1995.
• World champion team member, ACM Collegiate Programming Contest, 1991.

Publications:

Books written or co-authored, pending:

Michael P. Frank, Physical Limits of Computing (working title), textbook to be based on course notes.  In preparation, publisher not yet selected.

Michael P. Frank and Carlin J. Vieri, Reversible Computing: From Theory To Engineering (working title), MIT Press, Cambridge, Massachusetts. Currently under review and revision.

Monographs, published:

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, published or accepted:

Michael P. Frank, "Physical limits of computing," invited review article submitted to IEEE Computing in Science & Engineering magazine, tentatively accepted, currently under revision & edit, to appear in May/June 2002.

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.

Refereed journal articles, pending:

Michael P. Frank, ``Realistic theoretical models of nanocomputers'' (working title), to be submitted to the journal Nanotechnology, in preparation.

Michael P. Frank and M. Josephine Ammer, ``Relativized separation of reversible and irreversible space-time complexity classes,'' Information and Computation.  Invited.  Submitted May 2001, currently in review.

Michael P. Frank, Carlin Vieri, Saed Younis, "The past and future of adiabatic circuits" (working title), invited review article to be submitted to IEEE Circuits and Devices Magazine, currently in preparation.

Michael P. Frank, Thomas F. Knight, Carlin J. Vieri, and Saed G. Younis, ``Some recent developments in adiabatic logic,'' (working title), IEEE J. of Solid-State Circuits, in preparation for submission.

Michael P. Frank and Norman H. Margolus, ``Entropy and information: A unified physical and computational perspective'' (working title), Entropy. Submission invited, currently in preparation.

Michael P. Frank and Norman H. Margolus, ``Maximally scalable physically realistic models of computation must be mostly reversible'' (working title), International J. of Modern Physics D: Physics and Computers. Submission invited, currently in preparation.

Refereed conference articles, published:

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.

Refereed conference articles, pending:

Michael P. Frank, ``Realistic theoretical models of nanocomputers'' (working title), to be submitted to the 10th Foresight Conference on Nanotechnology, in preparation.

Michael P. Frank, ``Techniques for improving power-performance-cost efficiency of adiabatic systems'' (working title), to be submitted to the 2002 International Symposium on Low-Power Electronics & Design (ISLPED-02), in preparation.

Contracts & grants awarded:

• None yet, except for two $15K IPPD contracts from Siemens corporation.
• However, I received a very encouraging response to my latest CAREER proposal.

Funding proposals, written or co-authored:

• "Scalable Architectures and Engineering Analysis for Adiabatic Circuits and Reversible Comptuing", NSF/Eng/ECS/CAREER, July 2001.
• "OCEAN: A Highly Liquid Market for Distributed Computation," NSF/STI, June 2001.
• "Dawn of a New Field: Quantum Computer Systems Engineering," NSF/CISE/QuBIC, June 2001.
• "MEMS-based resonant power supplies for driving ultra-low-power adiabatic logic circuits," (working title) NSF/SGER, in preparation.
• "Fredkin Gate Based DNA Computers", DARPA/ITO/BIO-COMP, collaboration with U. Delaware, in preparation.
• "Cost-Effective Adiabatic Digital System Technology for Low-Power Computing Applications," informal proposal to IBM, Jan. 2001.
• "OCEAN: The Open Computation Exchange & Arbitration Network: An open platform and commodities market for distributed computation," business proposal presented to Cenetec, Nov. 2000.
• "Adiabatic Logic for High-Bandwidth Networking Equipment: A Proposed Feasibility Study," invited proposal to Nortel Networks, Nov. 2000.
• "Nanoelectronics Science and Engineering Center," NSF, collaboration with Clemson, Nov. 2000.
• "Thermodynamically Efficient Models and Architectures for Maximally Scalable Computing," NSF/CISE/Arch./CAREER, Jul. 2000.
• "Practical Energy-Recycling Computation for Mobile Tactical Applications," DARPA/ATO, Mar. 2000.
• "Dynamic Optimization of Semi-Adiabatic Power-Managed Architectures," DARPA/PACC, Oct. 1999.

Thesis and/or dissertation committees served on:

Ph.D. committee chairman (or co-chair) for:

• Erwin Jansen, Fall 2001- (pending committee formation)
• Murshed Chowdhury, Spr. 2002- (pending committee formation)

Ph.D. committee member (or substitute member) for:

Junhyo Bae, Fall 2001-

Choon-Hwa Lee, Spr. 2001-.

Brian Floyd, ECE, "A CMOS Wireless Interconnect System for Multigigahertz Clock Distribution", Sum. 2000-Spr. 2001. (Graduated.)

Corneliu Manescu, Physics, Fall 2001. (Graduated.)

Liang Zhong, Sum. 2001-

Peng Lu, Spr. 2001-

Matthew Chidester, "Architectural Innovations for a Chip-Multiprocessor," ECE Dept., Spr. 2001-Fall 2001. (Graduated.)

Andrew Lomonosov, Spr. 2001. (Graduated.)

Ramji Kamakoti (ENM), Fall 2000-

Wenzheng Gu, Fall 2001.

Masters committee chairman (or co-chair) for:

• Tom Holtz, ECE Dept., Fall 2001-
• Raman Chikkamagalur, CISE Dept., Sum. 2001-
• Steve Lewis, CISE Dept., Spr. 2001-Sum. 2001.  (Thesis, graduated.)
• Mark Joseph Tobias, CISE Dept., Fall 2000-Fall 2001.  (Thesis, graduated.)
• HeeYong Park, CISE Dept., Fall 2000-Spr. 2002. (Thesis.)
• Nitin Chawla, Fall 2001-
• Sama Govinda Ramanujam, Sum. 2001-
• BongJu Yu, Fall 2001-
• Sahib Singh Wadhwa, Spr. 2002-
• Vijay Bhaska Puvvada, Spr. 2002-
• Francklin J. Policard, Fall 2001-
• Hi-Kyoung Kang, Fall 2001-.
• Srinivas Halembar, Fall 2000-Fall 2001. (Non-thesis, graduated.)
• Ran Tao, Fall 1999-Sum. 2000. (Graduated.)
• Corneliu Manescu, Fall 2001- (pending committee formation)

Masters committee member (or substitute member) for:

• Pushkar Pradhan, Summer 2001-
• Amar Nalla, Summer 2001. (Graduated.)
• Wenzheng Gu, Fall 2000.
• Adrian Steele, Fall 2000.
• Baldeep Anand, Sum. 2001-
• Sapanpreet S. Anand, Spr. 2001-
• Subramanian Arumugam, Sum. 2001-
• Hitakshi Buch, Fall 2000-
• Madhav Chinta, Fall 2001-
• Nitin Desai, Sum. 2001-
• Ameya Dilip Deshmukh, Sum. 2001-
• Adil Gheewala, Sum. 2001-
• Daniel Girma, Sum. 2001-
• Narashinha S. Kamat, Sum. 2001-
• Michael Jay Lanham, Sum. 2001-
• Lin Lin, Fall 2001-
• Amar Nalla, Fall 2000-Sum. 2001. (Graduated.)
• Madhurima Pawar, Spr. 2001-Sum. 2001. (Thesis, graduated.)
• Kyung-Joo Suh, Fall 2001-
• David Alan Witter, Spr. 2000. (Graduated.)
• Pushkar Pradhan, Sum. 2001.
• Sasidhar Parvatham, Sum. 2001.
• Varun Verma, Spr. 2001.
• Wendong Li, Sum. 2001.
• Adrian Richard Steele, Spr. 2001.
• Sree C. Kuchibhotla, Spr. 2002.
• YoungHun Kim, Sum. 2000.
• Latha Sampath, Sum. 2000.

Research talks given:

• "Cost/Performance/Power tradeoffs in Adiabatic Logic," (working title) talk to be given in the Brown Bag Seminar, ECE Dept., UF, March 2002.
• "Can Hintikka's Independence-Friendly Logic Be Used to Prove the Non-Existence of the Reals?," talk to be given at the Logic Seminar, Math Dept., UF, March 2002.
• "Robust and Universal Reversible Machines & High-Level Programming Languages in a Recombinase DNA System," talk given at the DARPA/NSF BioComp PI meeting, Nov. 2001.
• "A Mathematical Theory of Existence," invited talk given to UF's Atheist/Agnostic Student Association, Nov. 2001.
• "OCEAN: The Open Computation Exchange & Auctioning Network," talk given to the Harris Lab research group, summer 2001.
• "DNA Computing, Reversibility, and Physical Models of Computing", invited talk given at the University of Delaware's ECE/CIS department, April 2001.
• "Parallel and Distributed Technology and Infrastructure," personal research overview presented to the UF CISE department's Industrial Advisory Board, March 2001.
• "Quantum Computational Networks," lecture series delivered as part the Quantum Computing seminar, Mathematics Department, University of Florida, March 2001.
• "Reversible Logic and Its Looming Importance", Logic Seminar lecture, Mathematics Department, University of Florida, February 2001.
• "OCEAN: The Open Computation Exchange & Arbitration Network: An Open Platform and Commodities Market for Distributed Computation", business proposal presented to the Cenetec technology incubator firm, November 2000.
• "Adiabatic circuits and reversible logic: Prospects for Improving Computational Efficiency in Present and Future Computing Technologies," AeMES seminar, AeMES Department, University of Florida, September 2000.
• "Adiabatic logic circuits for ultra-low-power computing," presentation to Intersil corporation, June 2000.
• "Ultra-Low-Power Computing via Adiabatic CMOS: Current Status and Future Prospects," Brown Bag Seminars in Electronics, Electrical and Computer Engineering Department, University of Florida, May 2000.
• ``Nanotechnology Research at the UF Computer & Information Science & Engineering Department (CISE),'' presentation to Sandia National Labs, April 2000.
• ``Adiabatic logic circuits for energy-limited applications,'' presentation to Siemens Corporation, March 2000.
• ``Thermodynamically reversible computing technology for low-power/high-performance applications,'' presentation to Harris Corporation, December 1999.
• ``Thermodynamically reversible computing technology for low-power/high-performance applications,'' presentation to the UF Industrial Advisory Board, October 1999.
• ``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. (Colleague delivered talk.)
• ``A Scalable Reversible Computer in Silicon,'' talk prepared for the First International Conference on Unconventional Models of Computation, Auckland, New Zealand, January 1998. (Colleague delivered talk.)
• ``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.

Courses taught:

• CIS 4930/6930, "Physical Limits of Computing" (grad/undergrad) Spr. 2000, (grad) Spr. 2002.
• CDA 5155, "Principles of Computer Architecture" (grad), Fall 2001.
• COT 3100, "Applications of Discrete Structures" (undergrad), Fall 1999, Spr. 2001.
• CDA 3101, "Computer Organization" (undergrad), Fall 2000.
• CIS 4912C/4913C, "Integrated Product & Process Design" (undergrad), Fall 2000, Spr. 2001, Fall 2001, Spr. 2002.
• CIS 4914, "Senior Project" (undergrad), Spr. 2000-
• CIS 4905/6905, "Individual Study" (grad/undergrad), ongoing
• CIS 6971/6972/7979/7980, "Graduate Research", ongoing
• Recitation section instructor, MIT course 6.034, "Introduction to Artificial Intelligence," Fall 1991.

Enrollments & evaluations of formal classes:

Advisement & mentoring:

• Mentor for UF's University Minority Mentoring Program, academic year 2000-2001 and 2001-2002.  Assigned 3 freshman mentees each year.
• Faculty Liason and Programming Contest Coach for the University of Florida's ACM Student Chapter, 1999- .
• Mentored a high school summer student in MIT's Research Science Institute summer program, Summer 1999.

Students supervised on independent projects:

• Graduate individual study projects:
• Tat-Chi Wong, Sum. 2001
• Rajesh Devarajan, Sum. 2001
• Raman Chikkamagalur, Sum. 2001
• TianYun Ni, Sum. 2001
• Srinivas Halembar, Spr. 2001
• SeongSeol Hong, Spr.-Sum. 2001
• Ming He, Spr. 2001
• Carol Demas, Spr. 2001
• Min-Ho Park, Fall 2000
• BongJu Yu, Fall 2000-Sum. 2001
• Lu Xiao, Fall 2000
• IPPD projects:
• Roby Thomas, Fall 2001-Spr. 2002
• David Landry, Fall 2001-Spr. 2002
• Jonathan Palgon, Fall 2001-Spr. 2002
• Richard Kodera, Fall 2001-Spr. 2002
• Cyrus Harrison, Fall 2001-Spr. 2002
• Hardik Mehta, Fall 2001-Spr. 2002
• Stephanie Phillippy, Fall 2001-Spr. 2002
• Quy Tran, Fall 2000-Spr. 2001
• Emily Sheeran, Fall 2000-Spr. 2001
• Ryan Hajdaj, Fall 2000-Spr. 2001
• Andres Galindo, Fall 2000-Spr. 2001
• Luis Diaz, Fall 2000-Spr. 2001
• Jesus Caballero, Fall 2000-Spr. 2001
• Undergraduate highest honors projects:
• Han Zhang (ISE), Spr. 2001
• Brent Cerrato, Fall 2000.
• DoRon Motter, Sum. 2000.
• Tat Sam Lai, Sum. 2000.
• Janine Osterhoudt, Spr. 2001
• Undergraduate senior projects:
• Rob Tobias, Spr. 2002
• Kathryn Diaz, Spr. 2002
• Jason Feliciano, Spr. 2002
• Eric Bock, Spr. 2002
• Jessica Baer, Spr. 2002
• Christopher Cannon, Spr. 2002
• Michael Grodin, Spr. 2002
• Kaiya Matsumoto, Spr. 2002
• Joe Wheeler, Fall 2001
• Randy Widell, Fall 2001
• Eric Poirier, Fall 2001
• Fred Williams, Fall 2001
• Wendong Li, Fall 2001
• Thai Dang, Fall 2001
• Asif Dossani, Fall 2001
• Kae C. Lin, Fall 2001
• Suk-Jae Na, Fall 2001
• Brian Hackney, Fall. 2001
• Michael Holt, Sum. 2001
• Charles A. Vermette, Sum. 2001
• Nimisha Perera, Sum. 2001
• Richard Daniel, Spr. 2001
• Steve Jurs, Spr. 2001
• Ernest Diaz, Spr. 2001
• Christian Roberson, Spr. 2001
• Waishan Lau, Spr. 2001
• Leonardo Lopez, Spr. 2001
• Brian Bell, Spr. 2001
• Jonathan Beckham, Spr. 2001
• Jeff King, Spr. 2001
• Cindy Kwok, Spr. 2001
• Clif Mastran, Spr. 2001
• Jay Mahoney, Spr. 2001
• E. Rehmeyer, Spr. 2001
• Loren Antolik, Spr. 2001
• Michael Orr, Fall 2000
• Brent Lang, Fall 2000
• Vinod Tandon, Fall 2000
• Fan Zhang, Sum. 2000
• John Nystrom, Sum. 2000
• Axel Guiloff, Sum. 2000
• Nilesh Kapadia, Sum. 2000.
• Hyung Kwon Je, Sum. 2000.
• Albert Beniada, Spr.-Sum. 2000.
• Erik Island, Spr. 2000.
• Undergraduate individual study:
• Nathan Farrington, Sum. 2001
• Shantanu Shekhar, Sum. 2001
• John Nystrom, Fall 2000
• Fan Zhang, Fall 2000
• Shawn Outman, Fall 2000-Sum. 2001
• Sudhansu Govil, Sum. 2000
• Alex Vayner, Sum. 2000.
• Brian Schuster, Spr. 2000.
• Undergraduate informal advising:
• Chris Hawkins, Sum. 2001
• Eric Spellman, Spr. 2001.

International:

• Co-Chairman, Conference on "Mathematics & Applications of Reversible, Randomized, and Quantum Computing Systems (MARRQCS)" at SPIE International Symposium on Optical Science and Technology, 2002 (canceled, not enough submissions).
• Reviewer, International Workshop on Logic Synthesis, April 2001.
• Chairman, Conference on "Quantum and Reversible Computation and Biocomputing" at SPIE International Symposium on Optical Science and Technology, 2001 (canceled, not enough submissions).
• Program committee member, conference on "Parallel and Distributed Methods for Image Processing IV" part of SPIE's International Symposium on Optical Science and Technology, to be held 30 Jul-4 Aug, 2000, San Diego, CA.
• Reviewer, Physica D, 1997.
• Reviewer, Computational Intelligence, special issue on "Games: Planning and Learning," 1994.

Regional:

• Contest judge, Southeast Regional ACM collegiate programming contest, 1999-.

University-level:

• Commencement marshal, University of Florida, Fall 2001-
• UF ACM programming contest team coach, 1999-.
• Member, UF Laptops in Education committee, 2000-2001.
• Member, Stanford University's (world-championship winning) team in 1990-91 ACM International Collegiate Programming Contest

Collegiate:

• Faculty coach, Integrated Product & Process Design Program, University of Florida College of Engineering, academic years 2000-'01 and '01-'02.  Supervised a DSL modem design project for Siemens corporation.

Departmental:

• Member, facilities committee, UF CISE Dept., Fall 1999-
• Member, graduate committee, UF CISE Dept., Fall 2000-
• Faculty liason to student ACM chapter, UF CISE Dept., Fall 2000-
• Organized GridWars programming competition, MIT AI Lab Olympics, January 1993.

Memberships in professional organizations:

• Institute of Electrical and Electronics Engineers - Member, including Circuits & Systems Society, Electron Devices Society, Computer Society, Power Electronics Society, and Solid-State Circuits Society, 2000-.  Need to renew.
• Association for Computing Machinery, member, 1990-1992; currently renewing, including SIGACT.
• Sigma Xi, membership offered (twice) (Will join when can afford.)
• American Association for the Advancement of Science, membership offered. (Will join when can afford.)