-
Adjunct Professor, Biomedical Engineering
-
Adjunct Professor, Elect & Computer Engineering
Professional Service
- Imperial College London.
Role: Member.
External Advisory Board for the BioDesign CDT.
10/01/2019 - present
- COMBINE (COmputational Modeling in Biology NEtworks) .
Role: Chairman.
Coordination Board.
09/08/2019 - present
- Synthetic Biology Open Language (SBOL).
Role: Chairman.
Steering Committee.
05/07/2019 - present
- Winter Sim 2017.
Member of the PC.
02/01/2017 - present
- ACS Synthetic Biology.
Technology Editor.
01/01/2017 - present
- Conference on Analysis and Design of Hybrid Systems.
Member of the Program Committee.
01/01/2017 - present
- Asynchronous Circuits and Systems Conference.
Member of the Program Committee.
01/01/2017 - present
- Engineering Biology.
Member of the Editorial Board.
12/15/2016 - present
- Newcastle University.
Member of the Portabolomics Advisory Board.
11/28/2016 - present
- Oxford University.
International Representative for the SynBio CDT Directorate Committee.
11/14/2016 - present
- Synthetic Biology.
Member of the Editorial Board.
11/01/2016 - present
- ACM International Conference on Nanoscale Computing and Communication.
Member of the Program Committee.
12/01/2015 - present
- Synthetic Biology Open Language.
Role: Member.
Steering Committee.
12/01/2015 - present
- IJCAI 2016 Workshop: AI for Synthetic Biology.
Member of the Program Committee.
12/01/2015 - 12/01/2018
- Synthetic Biology Standards Consortium.
Role: Member.
Steering Committee.
11/01/2015 - present
- IEEE Design and Test Magazine.
Guest Editor.
11/01/2015 - 12/31/2016
- COMBINE (COmputational Modeling in Biology NEtwork).
COMBINE Coordinator.
06/15/2014 - present
- IEEE Life Sciences Letters.
Associate Editor.
06/01/2014 - 12/31/2017
- COMBINE.
Organizer for COMBINE Forum 2015 hosted by the University of Utah.
04/01/2014 - 10/15/2015
- Symposium on Theory and Modeling and Simulation.
Member of the PC.
01/2014 - 12/2017
- Frontiers in Synthetic Biology.
Member of the Editorial Board.
10/01/2013 - 01/15/2015
- ACM Journal of Emerging Technologies in Computing Systems.
Guest editor.
06/2013 - 12/2014
- Workshop on Modeling Biological Systems.
Member of Program Committee.
03/2013 - 06/2013
- Workshop on Hybrid Systems and Biology.
Member of the Program Committee.
01/01/2013 - present
- ACS Synthetic Biology.
Guest editor.
06/2012 - 07/2013
- Workshop on Hybrid Systems and Biology.
Member of the program committee.
01/2012 - present
- Forum on specification & Design Languages.
Member of Program Committee.
10/2010 - 10/2016
- International Conference on Asynchronous Circuits and Systems.
Member of Program Committee.
10/2010 - 10/2011
- International Conference o Formal Modeling and Analysis of Timed Systems.
Member of the Program Committee.
01/2010 - present
- Formal Methods for Timed Systems Conference.
Member of the Program Committee.
11/01/2009 - 07/31/2010
- Great Lakes Symposium on VLSI.
Member of the Program Committee.
10/01/2009 - 10/2012
- International Conference on CAD.
Member of the Program Committee.
04/15/2009 - 11/15/2009
- Asynchronous Circuits and Systems Conference.
Member of the Program Committee.
04/01/2009 - 11/15/2009
- International Workshop on Bio-Design Automation.
Member of the Program Committee.
04/01/2009 - 06/30/2009
- International Workshop on Bio-Design Automation.
Member of the Program Committee.
01/2009 - present
- IEEE Transactions on VLSI.
Associate Editor.
01/01/2009 - 12/31/2014
- ASYNC 2008 Conference.
Role: PC Member / Member of Best Paper Award Committee.
PC Member / Member of Best Paper Award Committee.
10/2007 - 04/2007
- Semiconductor Research Corporation.
Role: Organizer of the SRC Verification Review for 2007.
Organizer of the SRC Verification Review for 2007.
2006 - 2007
- 2006 Asychronous Circuit and System Design Conference .
Role: Member of the Best Paper Award Committee.
Member of the Best Paper Award Committee.
2006 - 2006
- CIT 2006.
Role: Member of the Program Committee.
Member of the Program Committee.
2006 - 2006
- 2006 Asychronous Circuit and System Design Conference .
Role: Member of the Program Committee.
Member of the Program Committee.
2006 - 2006
- Formal Methods in System Design.
Role: Member of the Editorial Board.
Member of the Editorial Board.
01/01/2006 - 12/31/2014
Honors & Awards
- Best paper candidate.
Forum on Design Languages,
09/2013
- ECE Departmental Service Award.
University of Utah,
08/2013
- Fellow of the IEEE for contributions to design and testing for asynchronous, analog, and genetic circuits.
01/2013
- Best Paper Award.
2007 Symposium on Asynchronous Circuits and Systems,
03/2007
- Best Paper Award Finalist.
Async2001,
03/2001
- Best Paper Award.
Async1999,
03/1999
- CAREER Award.
National Science Foundation,
06/1996
- Graduate Fellowship.
National Science Foundation,
09/1991
- Rodman W. Paul History Prize.
California Institute of Technology,
06/1991
Internal Service
- Associate Chair.
08/2018 - present.
Department service.
- Computer Engineering Committee.
Member,
07/2018 - present.
Department service.
- Recruiting Committee.
Chairman,
08/15/2017 - 05/14/2019.
Department service.
- Recruiting Committee.
Member,
08/31/2015 - 06/30/2016.
Department service.
- Faculty Senate.
07/2010 - 07/2013.
University service.
- Computer Engineering Director.
Computer Engineering Director,
07/01/2006 - 06/30/2009.
Department service.
- Organizer of the Judd Distinguished Lecture Series.
Organizer of the Judd Distinguished Lecture Series,
06/30/2005 - 06/30/2009.
Department service.
- Computer Engineering Committee Member.
Computer Engineering Committee Member,
2003 - present.
Department service.