Luca Cardelli

Luca Cardelli

University of Oxford
Verified email at cs.ox.ac.uk
Cited by 33179
Theory of programming languages Process algebra Systems Biology Molecular Programming
Erik Winfree

Erik Winfree

California Institute of Technology
Verified email at caltech.edu
Cited by 29955
molecular programming DNA computing DNA nanotechnology molecular robotics self-assembly
Keshab K. Parhi

Keshab K. Parhi

University of Minnesota, Erwin A. Kelen Chair in Electrical Engineering
Verified email at umn.edu
Cited by 28940
VLSI Signal Processing VLSI Machine Learning Neuroengineering Molecular Programming
Jehoshua Bruck

Jehoshua Bruck

Gordon and Betty Moore Professor, Caltech
Verified email at caltech.edu
Cited by 25582
coding theory data storage information theory computational complexity theory molecular programming
William M. Shih

William M. Shih

Professor of Biological Chemistry and Molecular Pharmacology, Harvard Medical School
Verified email at dfci.harvard.edu
Cited by 21446
DNA nanotechnology Molecular Robotics Molecular Programming Biomolecular Nanotechnology Synthetic Biology
Peng Yin

Peng Yin

Professor of Systems Biology
Verified email at hms.harvard.edu
Cited by 20338
DNA/RNA nanotechnology synthetic biology molecular programming
Paul W.K. Rothemund

Paul WK Rothemund

California Institute of Technology
Verified email at dna.caltech.edu
Cited by 17955
molecular programming DNA nanotechnology self-assembly synthetic biology custom instruments for biology
Niles A. Pierce

Niles A. Pierce

MacArthur Professor, California Institute of Technology
Verified email at caltech.edu
Cited by 17760
molecular programming small conditional RNAs analysis and design algorithms quantitative
Georg Seelig

Georg Seelig

Electrical & Computer Engineering, Computer Science & Engineering, University of …
Verified email at uw.edu
Cited by 14089
Synthetic biology molecular programming functional genomics single cell analysis
Anne Condon

Anne Condon

Professor of Computer Science, University of British Columbia
Verified email at cs.ubc.ca
Cited by 10818
Algorithms Complexity Theory DNA Computing Molecular Programming Formal Verification
1 - 10