Publications

We explore the modeling and verification of distributed controllers using Alloy. Besides resorting to the Small Scopes Hypothesis of …

We propose a formal framework for the specification and verification of DSU. Different from previous approaches where DSU is described …

Teaching

Teaching Assistant at Purdue University:

  • CS18200: Foundations Of Computer Science (Fall 2018)
  • CS56000: Reasoning About Programs (Spring 2019)

Services

Sub-reviewer:

  • International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2018

Contact

  • an93 AT purdue dot edu
  • 305 N. University Street, West Lafayette, IN, 47907, USA