Vijay Gehlot

Computing Sciences Department and Center of Excellence in Enterprise Technology (CEET) 161 Mendel Science Center Villanova University 800 Lancaster Avenue Villanova, PA 19085 Directions

Office: 161B Mendel Phone: (610) 519-5843 Fax: (610) 519-7889 Email: vijay.gehlot@villanova.edu

Research Interests

• Systems Modeling and Analysis
• Petri Nets, Colored Petri Nets (CPNs)
• Formal Methods and Specification/Verification
• Programming Languages
• Compilation Techniques

Office Hours (Fall 2017)

• T 4-5pm, W 10-11am, and by appointment outside of these hours