Home
Publications
Team
Selected Talks
Professional Service
Teaching
Thesis and Technical Reports
Research Funding
Research Funding
SaTC CORE NSF Collaborative - Award# 2350217,
Mixed Assurance Reasoning via Modal Logic
, 2024.