Back to Home Research

Research Areas

Black-box methods for complex engineered systems — three interconnected research programs.

Cyber-Physical Systems & Digital Twins

Testing, verification, and model recovery for safety-critical engineered systems.

  • Counterexample generation for safety, ethics & security
  • Automatic model recovery
  • Manufacturing & semiconductors

Scientific Discovery

Optimization-driven computational methods for biological and chemical design problems.

  • RNA design & programmable assembly
  • Biomanufacturing process optimization

Black-Box Optimization & UQ

Theory and algorithms for optimization and uncertainty quantification without analytical models.

  • Structure-aware machine learning
  • Structure-aware optimization
  • Multi-agent & multi-fidelity approaches