- Tech Lead for Scrum team- Development using primarily MongoDB, Express, Angular, and Node.

Research Areas: Formal Verification, Cyber-Physical Systems, Computer Science EducationCourses Taught:• Introduction to the CS Profession• Introduction to Programming in C++ I and II with Labs• Operating Systems• Programming Languages• Programming in JavaGrants:• TUES: Longevity-Oriented Curriculum Enhancement for Cyber-Physical Systems Supporting Agency: National Science Foundation Duration: 2 years Principal Investigators: Hui Chen (PI), Kostadin Damevski (Co-PI), Ju Wang (Co-PI),David Walter (Co-PI)• Attracting Computer Science Students: There’s an App for That Supporting Agency: National Center for Women & Information Technology Duration: 1 Year Principal Investigators: David Walter (PI), Giti Javidi (Co-PI)• Empowering High School Teachers with Computational Thinking Resources Supporting Agency: Google CS4HS Duration: 1 Year Principal Investigators: David Walter (PI), Giti Javidi (Co-PI), Bob Wieman (Co-PI)Committee Membership:• Computer Science ABET Accreditation • University Admissions & Retention• University Technology Committee• Math and Computer Science Recruitment, Orientation, and Retention

• Co-taught Computer Science courses including Digital Logic Design, Computer Graphics, and Objected Oriented Programming using Java, with Filipino counterparts at the University of Northern Philippines in the College of Communication and Information Technolog• Co-taught Education Technology courses at the University of Northern Philippines in the College of Teacher Education• Developed Educational Technology Enhancement Project and applied for Peace Corps Partnership Project grant to raise funds for netbook computers, perform teacher trainings, and develop an enhanced curriculum for use by Educational Technology students• Organized and presented a variety of skill enhancement training events ranging from Project Design and Management, English proficiency, and new technologies for teaching computing topics• Completed intensive ten-week community based training consisting of formal language instruction in Ilocano, cross-cultural preparation, and technical training ultimately achieving Intermediate-Mid level on the Ilocano Language Proficiency Interview and enabling the successful completion of two years of volunteer service in the Philippines

• Developed hybrid Petri net (HPN) model for modeling analog and mixed-signal circuits• Developed symbolic model-checking tool based on Binary Decision Diagrams for analyzing HPNs and hybrid automata• Applied abstraction techniques to improve analysis performance and analyze large models• Applied these techniques to several hybrid systems and analog/mixed-signal circuits