Principal Investigator

Avatar

Chris Myers

Department Chair / Professor

Electrical, Computer, and Energy Engineering

SBKS, SBOLCanvas

Synthetic Biology, Asynchronous Circuits

Graduate Students

Avatar

Pedro Fontanarrosa

Graduate Researcher, Ph.D.

Biomedical Engineering

iBioSim, SBOL

Synthetic Biology, Genetic Circuit Design, Genetic Circuit Modeling, Hazard and Glitch Analysis, Consortium Genetic Logic Synthesis and Modeling, Genetic Circuit Failures

Avatar

Jet Mante

Graduate Researcher, Ph.D.

Biomedical Engineering

SBKS, SynBioHub, SynBioHub Plugins

Synthetic Biology, Plants and Microbial Sciences, Genetic Circuit Design, Genetic Circuit Modeling

Avatar

Lukas Bücherl

Graduate Researcher, Ph.D.

Biomedical Engineering

Fluent

Synthetic Biology, Genetic Circuit Design, Genetic Circuit Modeling, Lab Automation, DIY Arduino projects

Avatar

Logan Terry

Graduate Researcher, M.S.

School of Computing

SBOLCanvas

Tooling, Task automation/lessening of work, System architecture

Undergraduate Students

Avatar

Ben Hatch

Undergraduate Researcher

School of Computing

VisBOL, SynBioHub

Synthetic Biology, Front end website design, Visualization

Avatar

Eric Yu

Undergraduate Researcher

School of Computing

SynBioHub, SBOLExplorer

Synthetic Biology, Back End Design, Sequence Search

Avatar

James Scholz

Undergraduate Researcher

Electrical and Computer Engineering

SynBioHub

Synthetic Biology, Test integration, RESTful API

Avatar

Julian Abam

Undergraduate Researcher

Department of Computer Science

Excel2SBOL

Synthetic Biology, Computational Theory, Artificial Intelligence, Human to Computer Interaction

Avatar

Payton Thomas

Undergraduate Researcher

Biomedical Engineering and Mathematics

Fluent

Synthetic Biology, Stochastic Modeling, Nonlinear Biodynamics

Alumni

Postdoctoral Alumni

Avatar

Jian Wu

Innogrit Technology, Senior Design Manager

Electrical and Computer Engineering

Network-on-Chip, Fault tolerance

PhD Alumni

Avatar

Zhen Zhang

Utah State University, Assistant Professor

Electrical and Computer Engineering

iBioSim, LEMA, SBOL Libraries

Formal Methods, Probabilistic Verification, Genetic Circuit Modeling and Verification, Verification of Deep Neural Networks

Avatar

Leandro Watanabe

Google, Software Engineer

Electrical and Computer Engineering

iBioSim

Genetic Circuit Modeling

Avatar

Curtis Madsen

Sandia National Laboratories, R&D S&E, Computer Science

Computer Science

SynBioHub, iBioSim

Formal Methods, Model Checking, Computational Synthetic Biology, Genetic Circuit Design, Genetic Circuit Modeling

Avatar

Nicholas Roehner

Raytheon BBN Technologies, Researcher

Bioengineering

SBOL Designer

Synthetic Biologoy, Biodesign Automation, Domain-Specific Languages

Avatar

Tramy Nguyen

Raytheon BBN Technologies, Research Scientist/Software Engineer

Electrical and Computer Engineering

iBioSim, SBOL Libraries

Synthetic Biology, Genetic Circuit Design, Data Standards

Avatar

Hao Zheng

University of South Florida, Associate Professor

Computer Science and Engineering

Fluent

Formal Verification, Model Checking

Avatar

Hiroyuki Kuwahara

King Abdullah University of Science and Technology, Computational Bioscience Research Center Research Scientist

Computer Science

iBioSim

Synthetic Biology, Systems Biology, Evolutionary Biology, Computational Medicine

Avatar

David Walter

Amazon (AWS S3), Senior SDE

Computer Science

LEMA, ATACS

Software Engineering, Distributed Systems, Diversity & Inclusion in Computer Science, Modeling, Forecasting

Avatar

Scott Little

Maxim Integrated, EDA

Computer Science

LEMA, ATACS

Discrete Transition, Hardware Design, Integrated Circuit Modeling

Avatar

Robert Thacker

AMD, MTS Silicon Design Engineer

Computer Science

ATACS

Computer Aided Design Software

Avatar

Nathan Barker

Southern Utah University, Department Chair of Computer Science & Information Systems

Electrical and Computer Engineering

iBioSim

Genetic Regulatory Connectivity, Computer Algorithms

Avatar

Hans Jacobson

IBM T. J. Watson Research Center, Researcher

Computer Science

ATACS

Asynchronous Circuit Design, Power Efficient Microarchitectures, Clocking Techniques, Power Modeling

Avatar

Eric Mercer

Brigham Young University, Associate Professor

Electrical and Computer Engineering

ATACS

Computer Networks, Computer Systems, Computer Security

Avatar

Eric Peskin

Yale University, Director of High-Performance Computing

Computer Science

ATACS

Reconfigurable Computing, Asynchronous Circuits, Computer Architecture, High-Performance Computing

Avatar

Wendy Belluomini

IBM, Director of AI and Cognitive Software

Computer Science

ATACS

Asynchronous Circuit Design, AI

Avatar

Andrew Fisher

Electrical and Computer Engineering

LEMA

Integrated Circuit Design, Formal Verification

Avatar

Curt Nelson

Walla Walla University, Professor, Retired

Electrical and Computer Engineering

ATACS

Teaching methodologies

Masters Alumni

Avatar

Michael Zhang

Google, Engineer

Computer Science

SynBioHub, SBOL Libraries, SBOL Designer, SBOLExplorer

Genetic Circuit Design

Avatar

Meher Samineni

REI, Software Engineer

Computer Science

SynBioHub, SBOL Libraries

Synthetic Biology, Genetic Circuit Design, Genetic Circuit Modeling

Avatar

Dhanashree Kulkarni

Intel Technologies, Analog Engineer

Electrical and Computer Engineering

LEMA

Circuit Modeling, Circuit Design

Avatar

Satish Batchu

Apple, Design Verification Engineer

Electrical and Computer Engineering

LEMA

Electrical Models, Asynchronous Circuits

Avatar

Nam-phuong Nguyen

Boundless Bio INC, Principal Scientist I

Computer Science

iBioSim

Computational Genomics, Cancer Genomics, Metagenomics, Computational Phylogenetics, Bioinformatics, Synthetic Biology

Avatar

Jie Dai

Electrical and Computer Engineering

Analog Circuits, Cell Libraries, Circuit CAD

Avatar

Chris Krieger

University of Maryland, Laboratory for Physical Sciences, Lead researcher

Electrical and Computer Engineering

ATACS

Asynchronous Circuits, Irregular Applications, Neuromorphic Computing

Avatar

Kip Killpack

Intel, System Architect

Electrical and Computer Engineering

ATACS

Post-silicon Debug, Speed Debug, Software Design, Accurate Static Timing Analysis, Performance Validation to Silicon Correlation

Avatar

Brandon Bachman

Intel, Engineering Technology Development Manager

Electrical and Computer Engineering

ATACS, Mercury

Machine Learning, Automatic Place and Route, Layout Completion, Design in the Cloud, Electronic Design Automation

Avatar

Yanyi Zhao

Juniper Networks, Program Manager

Electrical and Computer Engineering

ATACS

Asynchronous Circuit Design

Undergraduate Alumni

Avatar

Zach Zundel

Facebook, Product Engineer

Biomedical Engineering and Computer Science

SynBioHub, SynBioHub Plugins, SBOL Libraries, SBOL Validators

Software Design, Continuous Integration and Deployment, Synthetic Biology Tooling and Standards

Avatar

Kevin Jones

Lockheed Martin, Senior Cyber Applied Research Scientist

Electrical and Computer Engineering

LEMA, iBioSim

Reverse Engineering, Cybersecurity, Network Security

Avatar

Tyler Patterson

Ever Accountable, President

Electrical and Computer Engineering

iBioSim

Genetic Circuit Design

Avatar

Allen Sjogren

Coda Octopus Colmek, Senior Electrical Engineer

Electrical and Computer Engineering

Avatar

Jason Stevens

Amazon, Business Intelligence Engineer

Electrical and Computer Engineering

iBioSim

Biological System Modeling, Stochastic Logic

Avatar

John Perry

Natixis Investment Managers, Senior Research Scientist and Portfolio Manager

Electrical and Computer Engineering

Avatar

Nick Seegmiller

Amazon, Software Development Manager

Computer Science

ATACS

Smart home, Frontend development, Mobile apps

Avatar

Oliver Flatt

University of Utah, Undergraduate Researcher

Computer Science

SynBioHub

Programming languages, Numerics

Avatar

Samuel Bridge

Microsoft, Software Engineer

Computer Science

SBOL Canvas, SBOL Designer

Synthetic Biology, Genetic Circuit Design

Avatar

Scott Glass

L3Harris, Software Engineer

Electrical and Computer Engineering

Cell SImulation, Efficiency, Team Co-ordination

Intern Alumni

Avatar

Isabel Pötzsch

University of Cambridge, Zoology Undergraduate

Zoology

SynBioHub Plugins

Genetics, Genomics, Evolution, Bioinformatics, Synthetic Biology

Avatar

Prubhtej Singh

Guru Gobind Singh Indraprastha University, Junior Year Student and NRNB

Computer Science

SynBioHub (Documentation)

Synthetic Biology, Documentation, SynBioHub