CURRICULUM
VITAE
John H. Reif
Personal
John Henry
Reif
Born: August
4, 1951
Madison,
Wisconsin
U.S.
Citizen
Current Position
Hollis Edens Professor, Trinity College of Arts and Sciences,
Duke University since 2003.
Professor of
Computer Science at Duke University, since 1986.
Academic Address Home
Address
D223 LSRC
Building 3112
Devon Road
Dept. of
Computer Science Durham,
NC 27707
Duke
University
Durham, NC 27708-0129 U.S.A.
Office
phone: home
phone:
(919) 660-6568 (919)
493-7978
Email Address:
Homepage: http://www.cs.duke.edu/~reif
Research
Interests - DNA
nanostructures, Molecular Computation, Efficient Algorithms, Parallel
Computation, Robotic Motion Planning, and Optical Computing.
Recreational
Interests - skiing and
cross-country skiing, wind surfing, canoeing and hiking
Education
Ph.D. in
Applied Mathematics (Division of Applied Sciences, Harvard University,
Cambridge, MA, July 1977) Thesis title: Combinatorial Aspects of Symbolic
Program Optimization. Thesis advisor: Harry R. Lewis
(Previously Dean of Harvard College)
M.S. in Applied Mathematics
(Division of Applied Sciences, Harvard University, Cambridge, MA, Spring 1975)
B.S., magna
cum laude, in Applied Mathematics and Computer Science, (Tufts University,
Medford, MA, Spring 1973)
Enrolled in independent study in
mathematics, computation and optics during Fall 1970 - Spring 1973, funded by a
grant from the Sloan Foundation's Unified Science Study Program.
Note: While an
undergraduate Fall 1970 - Spring 1973 at Tufts U., Reif was in the Unified
Science Study Program(USSP), an interdisciplinary independent study program
(spanning mathematics, computer science, physics, and engineering disciplines)
funded by a grant from the Sloan Foundation. His undergraduate projects were
funding under this program and included: stochastic analysis and computer
simulations of neural nets, design of computer made holograms, software for
structural analysis of geodesic domes, and a computer generated short animated
movie. Reif was given a full scholarship and graduated from Tufts in 3 Years
with a magna cum laude award.
Wellesley High
School, Wellesley, MA, Spring 1970
Faculty Positions
A.
Hollis Edens Distinguished Professor of
Computer Science in Trinity College of Arts and Sciences, Duke University, September 1, 2003 to present.
Professor,
Duke University, Summer 1986 to present
Visiting Professor (Sabbatical),
Carnegie Mellon University, Spring 1994.
Visiting
Scientist, Mathematical Sciences Research Institute, Berkeley, CA, Spring 1986
Associate
Professor, Harvard University, Spring 1983 to Spring 1986
Visiting
Scientist (Sabbatical), Laboratory for Computer Science at M.I.T., Fall 1984
Assistant Professor,
Harvard University, Fall 1979 to Spring 1983
Assistant
Professor, University of Rochester, New York, Fall 1978 to Spring 1979
Research
Associate, University of Rochester, New York, Fall 1977 to Fall 1978
(Research
Assistant, Harvard University, Spring 1975 to Spring 1977)
Memberships, Awards and Prizes
Fellow: Association for the Advancement of Science (AAAS), since
2003.
Fellow: Association for Computing Machinery (ACM), since 1997.
Fellow: Institute of Electrical and Electronics Engineers (IEEE)
since 1993.
Fellow:
Institute of Combinatorics and its Applications, since 1991.
Awarded: "DNA
Computing Tulip Prize" by the 2005 International
Meeting on DNA Based Computers.
Awarded: Harvard University Thomas Hoopes Prize for directing
the undergraduate honors thesis, by Philip N. Klein (now Full Professor, Brown
University), $500 in research funds, June 1984.
Member: Faculty of 1000, since 2005
Member: International Society for Nanoscale Science,
Computation and Engineering (ISNSCE) Chair of Scientific Advisory Committee of ISNSCE
since 2004.
Member: The
Science Advisory Board
Member:
Society of Industrial and Applied Mathematicians (SIAM)
Member:
American Mathematics Society(AMS)
Member: Sigma
Xi Scientific Research Society
Listed: Highly
Cited Researcher, Computer Science, Thompson ISI
Listed: Who's
Who in America, Who's Who in the World, Who's Who in Emerging Leaders in
America, Who's Who in Science and Engineering, Who's Who in American Education.
Courses Taught
Spring, 2008,
Randomized Algorithms, CPS 237, Duke University.
Fall, 2007,
Analysis of Algorithms, CPS 130, Duke University.
Spring, 2007,
Computational Complexity, CPS 240, Duke University.
Fall, 2006,
Analysis of Algorithms, CPS 130, Duke University.
Spring, 2006,
Randomized Algorithms, CPS 237, Duke University.
Fall, 2005,
Analysis of Algorithms, CPS 130, Duke University.
Summer, 2005, Analysis of Algorithms(NCSC 6021). Taught this
masters-level remote instructional course for National Technical
University(Walden University), produced at MGM Studios, Orlando, FL, June,
2005.
Spring, 2005,
Analysis of Algorithms, CPS 130, Duke University.
Fall, 2004,
Efficient Algorithms, CPS 230, Duke University.
Spring, 2003,
Analysis of Algorithms, CPS 130, Duke University.
Fall, 2002,
Efficient Algorithms, CPS 230, Duke University.
Spring, 2002,
Randomized Algorithms, CPS 237, Duke University.
Fall 2001,
Analysis of Algorithms, CPS 130, Duke University.
Spring 2001,
Mathematical Foundations of Computer Science, CPS 140, Duke University.
Fall 2000,
Computational Biology, CPS 296.2, Duke University.
Spring 2000,
Computational Biology and Biomolecular Computation, CPS 296.2, Duke University.
Fall 1999,
Analysis of Algorithms, CPS 130, Duke University.
Spring 1999,
Analysis of Algorithms, CPS 130, Duke University.
Fall 1998,
Parallel Algorithms, CPS 236, Duke University.
Spring 1998,
Analysis of Algorithms, CPS 130, Duke University.
Fall 1997,
Design and Analysis of Algorithms, CPS 230, Duke University.
Spring 1997,
Analysis of Algorithms, CPS 130, Duke University.
Fall 1996,
Design and Analysis of Algorithms, CPS 230, Duke University.
Spring 1996,
Parallel Algorithms, CPS 236, Duke University.
Fall 1995,
Analysis of Algorithms, CPS 130, Duke University.
Spring 1995,
Parallel Algorithms, CPS 236, Duke University.
Fall 1994,
Analysis of Algorithms, CPS 230, Duke University.
Fall 1993,
Analysis of Algorithms, CPS 174, Duke University.
Spring 1993,
Parallel Algorithms, CPS 230, Duke University.
Fall 1992,
Analysis of Algorithms, CPS 174, Duke University.
Spring 1992,
Numerical and Algebraic Algorithms, CPS 206, Duke University.
Fall 1991,
Parallel Algorithm Implementation, CPS 265, Duke University.
Spring 1991,
Computational Robotics, CPS 265, Duke University.
Fall 1990,
Analysis of Algorithms, CPS 174, Duke University.
Spring 1990,
Advanced Topics in Theory, CPS 265, Duke University.
Fall 1989,
Analysis of Algorithms, CPS 224, Duke University.
Spring 1989,
Advanced Topics in Massively Parallel Processing, CPS 265, Duke University.
Spring 1989,
Advanced Topics in Algorithms, CPS 265, Duke University.
Fall 1988,
Analysis of Algorithms, CPS 174, Duke University.
Spring 1988,
Parallel Algorithms, CPS 265, Duke University.
Fall 1987,
Analysis of Algorithms, CPS 224, Duke University.
Spring 1987,
Parallel Algorithms, CPS 265, Duke University.
Fall 1986,
Analysis of Algorithms, CPS 224, Duke University.
Spring 1994,
Algorithms for Scientific Computation CS 15-850, Carnegie-Mellon University.
Fall 1985,
Introduction to the Theory of Computing, CS 207, Harvard University.
Spring 1985,
The Complexity of Computations: Parallel Computation, CS 224, Harvard
University.
Spring 1984,
The Complexity of Computations: Parallel Computation, CS 224, Harvard
University.
Fall 1983,
Efficient Algorithms, CS 226, Harvard University.
Spring 1983,
The Complexity of Computations: Parallel Computation, AM 224, Harvard
University.
Fall 1982,
Efficient Algorithms, AM 226, Harvard University.
Spring 1982,
The Complexity of Computations: Parallel Computation, AM 224, Harvard
University.
Fall 1981,
Introduction to the Theory of Computing, AM 207, Harvard University.
Spring 1981,
Data Structures, AM 119, Harvard University.
Fall 1980,
Introduction to the Theory of Computing, AM 207, Harvard University.
Spring 1980,
Introduction to the Theory of Computing, AM 207, Harvard University.
Fall 1979,
Efficient Algorithms, AM 226, Harvard University.
Spring 1979,
Seminar in Research Topics, CSC 589, University of Rochester.
Fall 1978,
Introduction to Theory of Computation, CSC 281/481, University of Rochester.
Fall 1978,
Programming Problems Seminar, CSC 400, University of Rochester.
Spring 1978,
Seminar on Optimization of Computer Programs, CSC 589, University of Rochester.
Fall 1977,
Programming Problems Seminar, CSC 400, University of Rochester.
Postdoctoral Assistants:
Prior Postdoctoral Assistants:
Xiaoju Guan
(jointly supervised with Hao Yan), 2003-2005.
Sang Jung Ahn (jointly supervised with Thom LaBean), 2003-
December, 2004.
Dage Liu, 2001-2004 (currently Research Associatec, Depatment of
Chemistry, North Carolina State University)
Hao Yan,
2001-2002 and Research Assistant Professor, CS Dept, Duke University, 2002-2004
(now Associate Professor, Chemistry and Biochemistry Department, Arizona State
University since August 2004)
Thom
LaBean, 1998-2001 (currently Research Associate Professor, CS Dept,
Duke University)
Sandeep K. S. Gupta, 1995 (currently Associate
Professor, Department of Computer Science and Engineering, Ira A. Fulton School
of Engineering, Arizona State University, Tempe, AZ 85287-5406).
Peter Mills, 1993-1996(currently President &
CEO, Orielle, LLC, Moscow, Idaho)
Steven Tate,
1991-1993(currently Professor and Chairman, Department of Computer Science, University of North Carolina at Greensboro,
Greensboro, NC)
Hillel Gazit, 1989-1991
Current Graduate Students (M.S. candidates)
Current
Graduate Students (Ph.D. candidates)
Harish Chandran, Tentative Ph.D. thesis
topic: Molecular Robotic Devices. Projected Date of Graduation: Spring 2010
Nikhil
Gopalkrishnan, Tentative Ph.D. thesis
topic: DNA Self-Assembly. Projected Date of
Graduation: Spring 2009.
Samuel
Slee, Tentative Ph.D. thesis
topic: Asymptotically Optimal Kinodynamic Motion Planning for
Self-Reconfigurable Robots. Projected Date of
Graduation: Spring 2008.
Urmi
Majumder, Tentative Ph.D. thesis topic: Simulation and Design Molecular Robotic
Devices. Projected Date of Graduation: Spring 2008.
Hanging
Li (Reif is secondary adviser only: primary
supervisors are Hao Yan and Dan Kenan (Medical School), Ph.D. thesis topic: Laboratory Demonstration of
Protein Attached DNA Lattces. Department of Pathology, Projected Date of Graduation:
Spring 2004.
Graduate Student Supervision (Completed Degrees):
Sudheer Sahu, Ph.D.
thesis: DNA based self-assembly and
nanorobotics: Theory and Experiments, December, 2007.
Peng
Yin, Ph.d thesis: Theoretical and Practical Study in DNA Based
Self-Assembly, Nanorobotics, and Nanocomputation. May, 2005 (2005-curtent, CBCD Postdoctoral Researcher, Pasadena,
CA). [PDF] talk:
[PPT]
[PDF]
Sung Ha Park, Ph.D.
thesis: Self-assembled DNA Nanostructures and DNA-templated Silver Nanowires (Reif
is secondary adviser only; primary supervisors are Thom LaBean and Gleb
Finkelstein (Dept of Physics)), Department of Physics, May, 2005 (2005-2007, CPI
Postdoctoral Researcher, Caltech, Pasadena, CA). [PDF]
talk: [PPT]
[PDF]
Zhung(Robert)
Sun, Duke University Ph.D. thesis: Complexity of Robotic Movement
Problems. Date of Graduation: April 2003. Masters Thesis "The
Computational Power of Frictional Mechanical Systems, May, 1999. (Currently Research Scientist, Google
Inc., 1600 Amphitheatre Parkway, Mountain View, CA 94043. Email: sunzheng@gmail.com). [PDF] talk:
[PPT]
[PDF]
Guo Bo, Duke
University Master Thesis "Computing by DNA Self-Assembly". Oct, 2001
(currently Research Scientist, Mitsubishi Electric, Japan).
Yuan Guangwei,
Duke University Master Thesis "Simulation of DNA Self-Assembly", Fall
2000 (Currently Research Scientist, China).
Christopher
Butler, Duke University Master Thesis "Simulations of Molectronics
architectures", 2000.
Xavier Berni:
MS Thesis "DNA tagging", May 2000. (Currently Computer Scientist
Consultant, S. Carolina).(Currently Ph.D graduate student, CS Dept, Duke
Univ.).
Deganit Armon,
Ph.D. Thesis "Dynamic Data Structures for Randomized Algorithms that use
Sampling", 1997 [PDF] (Lecturer, Department of Computer Science &
Engineering, University of California, Riverside and at Optivus, Inc.).
Ashish Gehani,
Masters Thesis "Image Resolution Enhancement via Data Compression
Techniques", 1997 (Currently Ph.D graduate student, CS Dept, Duke Univ.).
(Currently Research Assistant Professor, Department of Computer Science and
Engineering, University of Notre Dame).
Shenfeng
Chen, Ph.D. Thesis "Algorithmic Applications of Data
Compression Techniques", 1996 [PDF] (Currently Technical Manager of a startup company in
China).
Hongyan Wang,
Ph.D. Thesis ÒApproximate and Adaptive Algorithms for Some Optimal
Motion-Planning Problems,Ó 1996 [PDF] (Currently Adjunct Faculty member of University of Maryland
University College, Asia,).
Zhiyong Li,
Ph.D. Thesis "Computational Models and Program Synthesis for Parallel
Out-of-Core Computation", 1996 [PDF] (Currently Research Scientist, Sun Microsystems,
California)
Akitoshi Yoshida, Ph.D. Thesis
"Applications of Optical Techniques in Interconnections, Image/Video
Compression, and Computational Geometry", 1994, Univ. Microfilms Int. 9424616 (Currently Research Scientist, Computing Center of the
University of Mannheim, Germany, yoshida@rz.uni-mannheim.de).
Salman Azhar
(J. P. Duke Fellow), Ph.D. Thesis "Computational
Aspects of Multiagent Systems: Modeling Efficiency and Computing Sequential
Equilibrium", 1993, Univ. Microfilms Int.
9420402. Masters Thesis "Efficient Learning of
Permutation Groups by Examples", 1990 (currently Associate Professor of
Computer Science and Software Engineering, Rose-Hulman Institute of Technology,
5500 Wabash Avenue, Terre Haute, IN 47803, salman.azhar@Rose-Hulman.edu)
Peter Su, Dartmouth University Ph.D. Thesis (Ph.D. completed at Duke but Scott
Drysdale was official Supervisor) "Efficient Parallel Algorithms for
Closest Point Problems", 1994 Univ.
Microfilms Int. 9524419 (currently Research Assistant
Professor, Software Institute, Carnegie Mellon University).
Tassos Markas,
Ph.D. Thesis "Data Compression:
Algorithms and Architechures", 1993, Univ.
Microfilms Int. 9405986 (previously Research
Scientist, VLSI Design and Test Department, Center for Digital Systems
Engineering, Research Triangle Institute, RTP, NC. Currently Director of
Multimedia, Atmel
Corporation, San Jose, CA)
Steven Tate,
Ph.D. Thesis "Arithmetic Circuit Complexity and Motion Planning",
1991, Univ. Microfilms Int. 9127527 (currently Professor and Chairman, Department of Computer
Science, University of North Carolina at Greensboro, Greensboro, NC)
Lars Nyland,
Ph.D. Thesis "The Design of a Prototyping Programming Language for
Parallel and Sequential Algorithms", 1991, Univ. Microfilms Int. 9127499 (Currently
Senior Architect, NVIDIA, Durham, NC and Adjunct Associate Professor, Department of Computer
Science, University of North Carolina, Chapel Hill, NC).
Sandeep
Sen, Ph.D. Thesis "Random Sampling Techniques for Efficient
Parallel Algorithms in Computational Geometry", 1989, Univ. Microfilms Int. 9025050 (currently Full Professor and Chairman, Department of
Computer Science & Engineering, Indian Institute of Technology, Delhi,
India).
Sanguthevar
Rajasekaran, Harvard University Ph.D. Thesis "Randomized
Parallel Computation", 1988, Univ.
Microfilms Int. 8909005 (currently Full Professor,
Computer and Information Science Department, University of Florida).
Philip
Klein; Harvard University Undergraduate Thesis(awarded Thomas T.
Hoopes priz) "Stacktracking: Parallel Acceptance of Deterministic
Context-Free Languages", 1984 (currently Full Professor, Brown
University).
Paul
Spirakis, Harvard University Ph.D. Thesis "Probabilistic
Algorithms", Dec. 1981, University Microfilms International No.
8216206(currently Full Professor and Chairman, Department of Computer Engineering
& Informatics, University of Patras, School of Engineering, Patras, Greece
and Director Computer Technology Institute, Patris, Greece).
Research Support: Principal Investigator or
Co-Investigator
NSF EMT Grant CCF-0551965: EMT: NSF Workshop: Emerging
Opportunities of Nanoscience to Energy Conversion and Storage (PI), September
1, 2005- September 1, 2006, $49,900. http://www.cs.duke.edu/~reif/NSF.NanoEnergy/
NSF EMT
Grant CCF-0523555: EMT: A DNA-Based Autonomous Programmable Molecular Transport
Network (PI John Reif with coPI Thomas H. La Bean), July 15, 2005- August 31,
2007, $300,000 (anticipated to be renewed in FY2007 for $100,000/year).
NSF EMT
Grant CCF-0523558: EMT: NSF Workshop of Programmed Self-Assembly (PI), May. 1,
2005-October 31, 2005, $30,000.
NSF EMT
Grant CCF-0432038: Nano: Error-Resilient DNA Tiling Assemblies (PI John Reif
with coPI Thomas H. La Bean), Sept. 1, 2004-Aug. 30, 2007, $295,000.
NSF
EMT Grant CCF-0432047: NANO: Combinatorial Self-assembly of Nanocircuits on
Addressable DNA Nanoscaffolds (PI Hao Yan with coPIs: Chris L. Dwyer, Gleb
Finkelstein, John H. Reif, Thomas LaBean), Sept. 1, 2004-Aug. 30, 2005,
$100,000. (anticipated to be renewed in FY2005 and FY2006 for $100,000/year)
Taiko
Denki Inc. Industrial
Grant: Applications of DNA Self-Assembly Nanofabrication Technology to
Molecular Scale Electrical Contacts (PI with coPI Thomas H. La Bean), Taiko Denki Inc., Tokyo, Japan, Jan. 1, 2004-Dec.
30, 2004, $55,000.(renewable in FY2005 for $55,000).
NSF ITR 0326157:
Nanoarchitecture: Balancing Regularity, Complexity and Defect Tolerance using
DNA for Nanoelectronic Integration(PI: Alvin LeBeck CoPIs: Dan Sorin, Jie Liu, John Reif, Thom LaBean,
Hao Yan, Sean Washburn, Dorothy Erie, Paul Franzon), Sept 1, 2003- Aug 31,
2006. $1,200,000.
NSF QuBIC EIA-0218376: Novel DNA
Nanostructures for Targeted Molecular Scale to Micro Scale Interconnects. (PI: Thomas H. LaBean, CoPI: John
Reif) NSF EIA-0218376, Sept 1, 2002- Aug 31, 2005. $349,999.
NSF
EIA-0218359:
Molecular Robotics for DNA Nanostructures. (PI: Hao Yan, CoPI: John Reif), Sept
1, 2002- Aug 31, 2005. $349,995.
Taiko Denki Inc. Industrial Grant: DNA Self-Assembly Nanofabrication
Technology to Molecular Scale Electrical Contacts(PI with coPI Thomas H. La
Bean), Taiko Denki Inc., Tokyo, Japan, Sept.
1, 2002- Sept. 30, 2003, $60,000.
Programmable
DNA Lattices: Design, Synthesis and Applications. (Principal Investigator), BioComp
Program, DARPA/AFSOR Contract, F30602-01-2-0561 July 1, 2000-Dec 30,
2004, $2,550,000.
Supplemental
Augmentation to: Programmable DNA Lattices: Design, Synthesis and Applications. (Principal Investigator), BioComp
Program, DARPA/AFSOR Contract, F30602-01-2-0561
Jan 1, 2002-Dec 30, 2002, $112,662
for FY2002.
Micro
and Nano-Robotics Motion Control Algorithms, (Principal Investigator), NSF
SEGR Award NSF-11S-01-94604, Sept 1, 2000-Sept 30, 2001, $80,772.
NSF ITR Grant EIA-0086015: Supplemental Augmentation to: Self-Assembly of DNA Nano-Scale Structures for Computation, (Principal Investigator), additional $413,000
awarded in FY 2004.
NSF ITR Grant
EIA-0086015: Self-Assembly of DNA
Nano-Scale Structures for Computation, (Principal Investigator), Sept 1, 2000-Sept 30, 2005,
$2,019,999. (awarded $1,184,999 September 1,
2000-August 31, 2003, with additional $413,000 awarded in
FY 2004, and $422,000 projected in FY 2005.)
Prototyping
Biomolecular Computations,
(Principal Investigator), jointly funded by Defense Advanced Research Projects
Agency and National Science Foundation, NSF CCR-9725021,
July 1997-Sept 2001, $2,748,017.
Moleware and the Molecular Computer, Subcontract PI (overall PI: James M.
Tour), DARPA/ONR N00014-99-1-0406, 01 Mar 99 through 28 Feb.
2001, Subcontract $50,000.
Robust, Adaptive and Dynamic Robotic Motion Planning, (Principal Investigator), NSF
Grant NSF-IRI-9619647, 5/97-06/2000, $295,000.
SEGR: Design of a Biomolecular Distributed Operating System,
(Principal Investigator), NSF Grant CCR-9810000, Aug 1998-1999, $50,000.
CURIOUS: (C)enter for (U)ndergraduate Education and (R)esearch:
(I)ntegration Thr(OU)gh Vi(S)ualization, (Co-principal investigator). NSF
CDA-96-34475 09/96 - 08/99 $ 405,200
Acquisition of a Workstation Cluster Testbed for Next-Generation
Collaborative Computing (Co-principal investigator). National Science
Foundation Grant contract CDA-95-12356, 09/95 - 08/98, $489,600
Multidisciplinary Research for
Demining, (Co-principal investigator of subcontract with E. Gelenbe, N Schmajuk
and J. Staddon,) Army Research Office(ARO) contract DAAH-04-96-1-0448, 11/96 -
10/99, total contract: $3,000,600, Subcontract $431,000./year.
An Exploratory Study of Parallel
Molecular Computation, (Principal Investigator) National Science Foundation
Grant number CCR-96-33567, 08/96 - 07/97 $50,000
Toward Autonomous Robots: Robust,
Adaptive and Dynamic Motion Planning, (Principal Investigator), National
Science Foundation Grant NSF-IRI-91-00681,02/92 - 01/97, $365,755,
SIMD/MIMD Parallel Computing:
Computational Theory, Scientific Applications, and Systems Research,
(Co-principal investigator with C.S. Ellis, C. Gardner, H.S. Greenside, D.W.
Loveland, and D.J. Rose) National Science Foundation Grant number CDA-91-23483,
CISE Institutional Infrastructure Program, 09/92 - 08/98, $1,420,001 plus
institutional support of $421,209.
A Refinement-Based Methodology for the
Architecture-Independent Design and Development of Parallel Software,
(Co-principal investigator with A. Goldberg and J. Prins). Rome Laboratory
contract F30602-94-C-0037, Subcontract to Kestrel Development Corporation,
$314,495.
Common Prototyping Language (CPL) based
on SETL, REFINE, and UNITY, DARPA/ISTO contract N00014-92-C-0182 under
subcontract KI-92-01-0182 from Kestrel Institute, Additional $665,147,
September 1, 1992 through August 31, 1995
Common Prototyping Language (CPL) based
on SETL, REFINE, and UNITY, DARPA/ISTO, Subcontracted from Kestrel Institute,
Additional $240,000, May 1, 1991-March 30, 1992.
Derivation and Analysis Tools for the
Synthesis and Implementation of Parallel Algorithms, (Principal Investigator),
DARPA/ISTO contract N00014-91-J-1985, $1,560,000, July 1, 1991-June 30, 1994.
Parallel Compression of Space and Earth
Data, (Principal Investigator), NASA, Prime Contract Number: NAS5-30428,
Subcontract 550-63, $491,699, October 1, 1991-September 30, 1993.
Randomized Methods in Distributed and
Parallel Computation, (with B. Chor), Binational Science Foundation, $36,000,
September 1, 1989-August 31, 1992.
Common Prototyping Language (CPL) based
on SETL, REFINE, and UNITY, DARPA/ISTO, Subcontracted from Kestrel Institute,
$162,240, October 1, 1989-September 30, 1990.
Very High Speed Holographic Message
Routing for Parallel Machines, (Principal Investigator), DARPA/ARMY, $290,673,
September 1, 1988-August 31, 1990.
Parallel Compression of Space and Earth
Data, (Principal Investigator), NASA, $435,000, October 1,
1988-September 30, 1991.
Parallel Algorithm Derivation,
(Principal Investigator), DARPA/ISTO, $696,899, July 1, 1987-June 30, 1991.
Computational Complexity and Efficiency
in Electro-optical Computing Systems, (Principal Investigator), Air Force
Office of Scientific Research, $442,772, September 1, 1987-August 31,1990.
Randomized Parallel Algorithms in
Learning, (Principal Investigator), Office of Naval Research, $228,707, January
1, 1987-February 28, 1989.
Randomized Techniques for Highly
Parallel Computing, (Principal Investigator), Office for Naval Research,
$93,475, July 1, 1984-June 30, 1986.
Parallel and Probabilistic
Computations, (Co-Investigator with H. R. Lewis) National Science Foundation,
$113,455, July 1, 1982-December 31, 1984.
Distributed Multi-processing,
(Principal Investigator), Office for Naval Research, $132,000, July 1, 1980
-June 30,1984.
Graph Algorithms in Program Analysis
and Topological Imbeddings, (Principal Investigator), National Science
Foundation, $25,000, October 1, 1979-July 31, 1982.
Experimental Projects: Hardware, Software and
Biochemistry
1. (Current) President of Eagle Eye,
Inc., a small business based in the Research Triangle, NC. It was originally
engaged in reconnaissance multi-spectral image target recognition. EagleEye,
Inc. now specializes in contract research in the areas of defense applications
of DNA biotechnology. Eagle Eye, Inc. has executed a number of federal research
contracts over the last three years. In 2000, Eagle Eye developed (in
collaberation with M. Pirrung, Dept of Chemistry, Duke Univ.) a biomolecular
system for associative search in pedabit size DNA libraries.
2. DNA Tagging Project(with C. X.
Berni, C. Kingsford) We made improvements to SAGE tagging to allow the technology
to be applied to universal DNA hybridization arrays. Also, developed simulation
software for the improved tagging process with a highly interactive graphic
interface.
3. (Previous) Chief scientist of
Rtware, 1995-1999, which produces real-time control software which is currently
used for both commercial and military applications; military customers include
the Airforce and Navy. RTware has received a Phase I SBIR from ONR, It was
bought out by Datacode (a large hardware corporation) in 1999.
4. (Previous)
President of RSIC Associates, which received a Phase I and Phase II NASA Small
Business Innovation Research Grant to build very high rate (.20 gigabit/second)
lossless data compression hardware system that was successfully demonstrated.
The multiprocessor chip (1.2 micron CMOS with approx. 330,000 transistors and
with 128 specialized systolic processor cells per chip) was been fabricated and
tested. A number of compression boards, each containing 16 of these chips, have
been running since spring, 1992 and can be used by remote login to MCNC. In
collaboration with Professor Jim Storer of Brandeis University. VLSI design by
Research Triangle Institute, Research Triangle Park, NC in 1989. Board Level
Design by MCNC, NC. Also funded by DARPA/ISTO for MOSES fabrication by HP. RSIC
Associates has received contracts totaling $1,200,000 from various defense
agencies, for the development of this hardware.
5. Co-architect
of BLITZEN (with Ed Davis), a 16,000 processor Massively Parallel Machine under
NASA contract at Microelectronics Center of North Carolina (MCNC). The main
component of the system was a BLITZEN chip, consisting of 128 bit serial
processors (.25 gigabits/second). This chip is 1.2 micron CMOS and has
1,100,000 transistors, making it the largest (nonmemory) chip manufactured in
the world during early 1989. The chip is tested and functional. A prototype
BLITZEN system has been running since spring, 1989. Co-inventor in BLITZEN
patent: High Speed Massively Parallel Processor, US, 07/352,582 MCNC DRT-5,
industry-owned. See Publications (references #73,76).
6. Inventor
of Holographic Based Message Routing Systems for Massively Parallel Machines.
The prototype was constructed under DARPA Contract by Kristina Johnson at the
Center for Electro-Optical Computing Systems, Boulder, CO, April 2, 1989. See
Publications (reference #80).
7. Implementation
(in collaboration with Charles Leiserson, Jill Mesirov, Lena Nekluvova, Steven
Omohandro, and Washington Tayler) of Parallel Nested Dissection Algorithms for
Solution of Large Sparse Linear Systems on the 64,000 process Connection
Machine. Thinking Machines, Inc., Cambridge, MA, 1985-1986. See Publications
(reference #62).
8. Implementation
(in collaboration with John Dorband and Torstein Opsahl) of Parallel Nested
Dissection on 16,000 Processor Massively Parallel Processing Machine (MPP),
NASA Goddard Space Center, Greenbelt, MD, 1985-1986. See Publications
(reference #63).
Legal: Expert Witness and Legal Consulting
Positions
1.
Member of
Round Table Fellowship, a senior subgroups of consultants for the Round Table
Group, Inc., a consulting firm.
2.
Technical
consultant for legal counsel in patent suit Dark Horse Tading Company versus
Sega Game Works concerning Pellegrini US patent number 4,575,622, Aug, 2000.
3.
Expert
witness for WMS's legal counsel on WMS vs IGT slot machine software patent
suit, Sept, 1997.
4. Technical consultant to Microsoft's
legal counsel on STAC vs Microsoft Data Compression patent suit, 1994.
Consulting Positions
1. NASA
Johnson Space Flight Center, consultant on Consolidated Space Operations
Contract, Houston, Texas, July, 1997.
2. NASA ICASE Space Flight Center,
Norfolk, Virginia, July, 1996.
3. NEC research center, Princeton New
Jersey, July, 1995.
4. RTware,
NC, real time software and algorithms, 1993.
5. Department
of Mathematical Sciences, IBM Watson Research Institute. Yorktown Heights, NY,
Summers of 1983 and 1984.
6. GTE Laboratories, VLSI Design Project. Waltham, MA, Spring and