Principal Investigator

Chris Myers

Department Chair / Professor

Electrical, Computer, and Energy Engineering

SBKS, SBOLCanvas

Synthetic Biology, Asynchronous Circuits

Graduate Students

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

Jet Mante

Graduate Researcher, Ph.D.

Biomedical Engineering

SBKS, SynBioHub, SynBioHub Plugins

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

Lukas Bücherl

Graduate Researcher, Ph.D.

Biomedical Engineering

Fluent

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

Logan Terry

Graduate Researcher, M.S.

School of Computing

SBOLCanvas

Tooling, Task automation/lessening of work, System architecture

Undergraduate Students

Ben Hatch

Undergraduate Researcher

School of Computing

VisBOL, SynBioHub

Synthetic Biology, Front end website design, Visualization

Eric Yu

Undergraduate Researcher

School of Computing

SynBioHub, SBOLExplorer

Synthetic Biology, Back End Design, Sequence Search

James Scholz

Undergraduate Researcher

Electrical and Computer Engineering

SynBioHub

Synthetic Biology, Test integration, RESTful API

Julian Abam

Undergraduate Researcher

Department of Computer Science

Excel2SBOL

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

Payton Thomas

Undergraduate Researcher

Biomedical Engineering and Mathematics

Fluent

Synthetic Biology, Stochastic Modeling, Nonlinear Biodynamics

Alumni

Postdoctoral Alumni

Jian Wu

Innogrit Technology, Senior Design Manager

Electrical and Computer Engineering

Network-on-Chip, Fault tolerance

PhD Alumni

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

Leandro Watanabe

Google, Software Engineer

Electrical and Computer Engineering

iBioSim

Genetic Circuit Modeling

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

Nicholas Roehner

Raytheon BBN Technologies, Researcher

Bioengineering

SBOL Designer

Synthetic Biologoy, Biodesign Automation, Domain-Specific Languages

Tramy Nguyen

Raytheon BBN Technologies, Research Scientist/Software Engineer

Electrical and Computer Engineering

iBioSim, SBOL Libraries

Synthetic Biology, Genetic Circuit Design, Data Standards

Hao Zheng

University of South Florida, Associate Professor

Computer Science and Engineering

Fluent

Formal Verification, Model Checking

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

David Walter

Amazon (AWS S3), Senior SDE

Computer Science

LEMA, ATACS

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

Scott Little

Maxim Integrated, EDA

Computer Science

LEMA, ATACS

Discrete Transition, Hardware Design, Integrated Circuit Modeling

Robert Thacker

AMD, MTS Silicon Design Engineer

Computer Science

ATACS

Computer Aided Design Software

Nathan Barker

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

Electrical and Computer Engineering

iBioSim

Genetic Regulatory Connectivity, Computer Algorithms

Hans Jacobson

IBM T. J. Watson Research Center, Researcher

Computer Science

ATACS

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

Eric Mercer

Brigham Young University, Associate Professor

Electrical and Computer Engineering

ATACS

Computer Networks, Computer Systems, Computer Security

Eric Peskin

Yale University, Director of High-Performance Computing

Computer Science

ATACS

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

Wendy Belluomini

IBM, Director of AI and Cognitive Software

Computer Science

ATACS

Asynchronous Circuit Design, AI

Andrew Fisher

Electrical and Computer Engineering

LEMA

Integrated Circuit Design, Formal Verification

Curt Nelson

Walla Walla University, Professor, Retired

Electrical and Computer Engineering

ATACS

Teaching methodologies

Masters Alumni

Michael Zhang

Google, Engineer

Computer Science

SynBioHub, SBOL Libraries, SBOL Designer, SBOLExplorer

Genetic Circuit Design

Meher Samineni

REI, Software Engineer

Computer Science

SynBioHub, SBOL Libraries

Synthetic Biology, Genetic Circuit Design, Genetic Circuit Modeling

Dhanashree Kulkarni

Intel Technologies, Analog Engineer

Electrical and Computer Engineering

LEMA

Circuit Modeling, Circuit Design

Satish Batchu

Apple, Design Verification Engineer

Electrical and Computer Engineering

LEMA

Electrical Models, Asynchronous Circuits

Nam-phuong Nguyen

Boundless Bio INC, Principal Scientist I

Computer Science

iBioSim

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

Jie Dai

Electrical and Computer Engineering

Analog Circuits, Cell Libraries, Circuit CAD

Chris Krieger

University of Maryland, Laboratory for Physical Sciences, Lead researcher

Electrical and Computer Engineering

ATACS

Asynchronous Circuits, Irregular Applications, Neuromorphic Computing

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

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

Yanyi Zhao

Juniper Networks, Program Manager

Electrical and Computer Engineering

ATACS

Asynchronous Circuit Design

Undergraduate Alumni

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

Kevin Jones

Lockheed Martin, Senior Cyber Applied Research Scientist

Electrical and Computer Engineering

LEMA, iBioSim

Reverse Engineering, Cybersecurity, Network Security

Tyler Patterson

Ever Accountable, President

Electrical and Computer Engineering

iBioSim

Genetic Circuit Design

Allen Sjogren

Coda Octopus Colmek, Senior Electrical Engineer

Electrical and Computer Engineering

Jason Stevens

Amazon, Business Intelligence Engineer

Electrical and Computer Engineering

iBioSim

Biological System Modeling, Stochastic Logic

Jeff Cuthbert

John Perry

Natixis Investment Managers, Senior Research Scientist and Portfolio Manager

Electrical and Computer Engineering

Nick Seegmiller

Amazon, Software Development Manager

Computer Science

ATACS

Smart home, Frontend development, Mobile apps

Oliver Flatt

University of Utah, Undergraduate Researcher

Computer Science

SynBioHub

Programming languages, Numerics

Samuel Bridge

Microsoft, Software Engineer

Computer Science

SBOL Canvas, SBOL Designer

Synthetic Biology, Genetic Circuit Design

Scott Glass

L3Harris, Software Engineer

Electrical and Computer Engineering

Cell SImulation, Efficiency, Team Co-ordination

Intern Alumni

Isabel Pötzsch

University of Cambridge, Zoology Undergraduate

Zoology

SynBioHub Plugins

Genetics, Genomics, Evolution, Bioinformatics, Synthetic Biology