Reversible People
Principal Investigator
-
Michael Frank (CISE) <mpf@cise.ufl.edu> - Leader of the UF reversible
computing group. Mike's
early work.
Present Students
New students: Please get an old student to add you to the unix
group, then add yourself to this list. All students: Please
link your name to your own home page.
-
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.