Reversible People

Principal Investigator

• Michael Frank (CISE) <mpf@cise.ufl.edu> - Leader of the UF reversible computing group. Mike's early work.

Present Students

• Mark Rossman (CISE) <tr1@cise.ufl.edu> - Research into entropy, physical limits of communication, cosmological limits of computation?
• Randy Widell - C-to-PISA compiler.
• Andrew Dickinson (CISE) - PISA emulator & debugger in PHP, R compiler, Reversible algorithms.
• Charles "CJ" Vermette (CISE) - Reversible MC68HC11 emulator in R using Bennett's algorithm.
• Shawn Outman (CISE) - Reversible scripting language for rollback synchronization in internet multiplayer gaming engines.
• Eric Spellman (CISE) - Maybe will come back and help think deep thoughts about reversible computing theory.
• Christian Roberson (CISE) - Promises he'll finish his C-to-PISA compiler.  Maybe a C-to-R translator would be easier.
• Tom Holtz (ECE) - After he finishes hiking the Appalachian trail this summer, he wants to build adiabatic circuits.
• Nathan Farrington (CISE) -Creating a quantum computer simulator to analyze the effects of finite accuracy on quantum computations.
• Chris Hawkins (Physics) - Physics department student, said he wants to work on quantum computing... Where are you, Chris?
• Mark Lee Stillwell (Math) - Quantum computing & theoretical models of computation.
• Jeff King (CISE) - Wants to do something in reversible computing, not sure what yet.
• Alex Vayner - Something theory-related.  Help w. scaling analyses?.
• Lidan Wang (CISE) <lw1@cise.ufl.edu> - Reversible Computing Theory.
• Jason Feliciano (CISE) <jfelicia@cise.ufl.edu> - Working on a senior project that will improve the GUI interface created last semester by Fred Williams. This interface was created for the MIPS simulator originally developed by Steve Lewis.

Present & Recent Local (UF) Collaborators

• Mark Schmalz (CISE) <mssz@cise.ufl.edu> - Interested in the development of reversible and quantum versions of his library of image processing algorithms.
• Doug Cenzer (Math) - Interested in quantum computing, mathematical logic & recursion theory.
• Jeff Krause (Physics/Chemistry) - Develops electron magnetic resonance quantum computers.  Helped advise Motter on Schroedinger simulator.
• Dave Small (CISE) <dts@cise.ufl.edu> - Fellow CDA3101 instructor and beneficiary of Steve Lewis's reversible MIPS debugger.
• Bill Eisenstadt (ECE) <wre@tec.ufl.edu> - VLSI expert, collaborator on adiabatic CMOS VLSI circuits.
• Ken O (ECE) <kko@tec.ufl.edu> - Device & RF expert, collaborator on adiabatic circuits & power supplies.
• Rob Fox (ECE) <fox@tec.ufl.edu> - Device & analog expert, collaborator on adiabatic circuits.
• Khai Ngo (ECE) <kdtn@tec.ufl.edu> - Power electronics expert, collaborator on adiabatic power supplies.
• Gerard Emch, Rick Smith, Steve Summers (Math) - We lectured each other on quantum computing in Spring 2000, but haven't figured out what to do together yet.  Potential quantum computing collaborators.

Present & Recent Remote Collaborators

• Igor Markov (U. Mich.) - Quantum computing & logic synthesis.
• David Wood, Junghuei Chen (U.Del.), Harvey Rubin (U.Penn.) - Collaborators on reversible DNA computing.
• Chris Carothers (RPI) - Collaborator on reversible computing for rollback synchronization of parallel speculative executions.

Past Students

• Chris Clark <cclark@cise.ufl.edu> - R language & compiler, PISA emulator.
• Steve Lewis - For his Master's thesis he created a bi-directional emulator/debugger for MIPS in Java with a GUI.
• Vladimir Malinovsky (Chemistry) - Physical implementations of quantum computing.
• Waishan Lau - Started writing a C-to-PISA compiler with Roberson.
• Brian Schuster - Tried to teach himself theory of computation and reversible computing theory in 1 semester.
• Brent Lang - Designed some adiabatic arithmetic circuits.
• Percy Liang - Former high school summer student, helped write a program to search for simpler adiabatic CMOS circuits.
• Carol Demas - May return at some point to help design MEMS adiabatic power supplies, or something else.
• DoRon Motter (U.Mich.) - Proved the absolute numerical stability of Fredkin's reversible Schroedinger simulation.
• Clifton Mastran - Constructed & tested some quantum circuits in Mathematica with help from Williams-Clearwater.
• Erik Island - Played around with RSFQ superconducting circuits, with an eye towards developing reversible ones.

Past Collaborators

• Carlin Vieri (MicroDisplay corp.) <cvieri@microdisplay.com> - Someday we'll publish Pendulum and finish writing our book.
• Tom Knight (MIT) <tk@ai.mit.edu> - Mike's Ph.D. advisor.  Head of MIT Reversible Computing group.  Co-inventor of SCRL.
• Norm Margolus (MIT) <nhm@im.lcs.mit.edu> - Mike's co-advisor.  Inventor of the CAM line of Cellular Automata Machines, discoverer of first universal reversible cellular automata, and one of the discoverers of the simplest universal gate set for quantum computing..
• Scott Rixner (ex-MIT) - Co-developer (with Mike) of Tick, the first complete silicon implementation of a reversible ISA.
• Josie Ammer (Berkeley) - At MIT, helped Mike prove lower bounds on reversible complexity.
• Matt DeBergalis (ex-MIT) - Developer of PendVM, the original PISA emulator in C.
• Michael Sipser (MIT) - Taught Mike theory of computation, advised him in search for reversible lower bounds.
• Nicole Love (ex-MIT) - Co-developer (with Mike) of FlatTop, the first asymptotically efficient reversible processor in Silicon.
• David Gifford (MIT) - Mike's advisor in DNA computing, from when Mike designed the first reversible DNA Turing machine.
• Julia Khodor (MIT) - Lab partner in DNA computing work, collaborator in gathering DNA thermochemistry literature.

Potential Collaborators

• Saed Younis (QualComm) - Inventor of SCRL, willing collaborator on adiabatic circuits papers.
• Antonio Gentile (Italy) - Potential collaboration in power optimization design tools.
• Toshi Nishida (ECE) - MEMS expert, potential resource in adiabatic power supply design.
• Mark Sheplak (AeMES) - MEMS expert, a potential resource in adiabatic power supply design.
• Jeff Yepez (Air Force Research) - Interested in collaboration on Motter's reversible Schroedinger simulation results.
• Ed Fredkin (independent) <ed@fredkin.com> - Acquaintance, & father of the Fredkin gate.  Potential collaborator in lots of areas (but very busy).
• Sumi Helal (CISE) - Interested in possible collaboration on physical limits of communication.
• Seth Lloyd (MIT) - Top quantum computing & physical limits expert, potential collaborator in these areas (but very busy).
• Warren Smith (NEC Research) - Acquaintance from my decision-theoretic AI and DNA computing days.  Developed an earlier physical limits course at Princeton, possible course collaborator.
• Mark Gubrud (U. Maryland) - Email correspondent interested in decoherence & reversibility.

Irreversible (Deceased) People

• Rolf Landauer, smasher of energy limits, father of reversible computing.  Converted to entropy April 27, 1999.  May his energy never dissipate.
• Richard Feynman, physics magician, reversible computing enthusiast.  Converted to entropy February 15, 1988.  May his infinity never fail to be renormalized.
• Erwin Schroedinger, father of quantum wave mechanics.  Converted to entropy 1961.  May his wavefunction never collapse.
• Max Planck, father of quantum mechanics.  Converted to entropy October 4th, 1947.  May his heirs never suffer an ultraviolet catastrophe.
• Ludwig Boltzmann, father of thermodynamics.  Converted to entropy October 5th, 1906.  May his universe never face a heat death.
• Sadi Carnot, inventor of the reversible heat engine.  Coverted to entropy Auguest 24th, 1832.  May his engine never run out of steam.