Click here for my research statement.

Research Projects:

• CyberCardia: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
• Big Data Modeling and Analysis with Depth and Scale

Current students and postdocs:

• Dung Phan
• Junxing (Jesse) Yang
• Richard DeFrancisco
• Md Ariful Islam