Area of research
Molecular Biology · Statistical and Nonlinear Physics
Research interest
Research interests include RNA Interference and Gene Delivery, Advanced biosensing and bioanalysis techniques, CRISPR and Genetic Engineering, and Complex Network Analysis Techniques.
CAREER: From Neural Network Verification to General SMT Solving: A New Framework for Solving SMT over Non-linear Real Arithmetic
FMitF: Track I: Visual Computing Meets Formal Verification: Certified Rendering, Geometry, and Video Generation
Collaborative Research: SLES: Verifying and Enforcing Safety Constraints in AI-based Sequential Generation