- Lecturer II
- Pronouns: he, him, his
- PhD, Syracuse University
Specific Research Interests
- Verify properties of security protocols using automated theorem provers
- Create a numerous number of GUIs for assembly programming projects. Use a 3D animation for teaching/learning computer graphics especially for viewing and projection.