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 Office: 165B Mendel Phone: (610) 519-5843 Fax: (610) 519-7889 Email: vijay.gehlot@villanova.edu Directions

Research Interests

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

Office Hours (Spring 2008)

• T 5-6pm, W 10-11pm, R 2-3pm and by appointment outside of these hours

Teaching (Spring 2007)