My group focuses on co-designing novel distributed/operating systems and formal verification methods. Our goals are:
1) designing systems that are efficient and easy to verify, and
2) exploring formal verification methods that are easy to apply to new and existing systems.

Before applying for this opportunity you need to submit your online profile. Click the button below to continue.