My primary research interest is methods and tools for design, analysis, testing, and verification of software, especially software for concurrent systems and distributed systems, including specialized techniques for ensuring fault-tolerance and security. My research also includes work on program optimization and incremental computation.
International Journal on Software Tools for Technology Transfer, Member of Editorial Board
17th International SPIN Workshop on Model Checking of Software (SPIN 2010), Program Committee member
8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2010), Program Committee member
2nd IEEE International Symposium on Ubisafe Computing (UbiSafe-09), Program Committee member
2009 Haifa Verification Conference, Program Committee member
22nd IEEE Computer Security Foundations Symposium (CSF-22), General Chair and Program Committee member
7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2009), Program Committee member
16th International SPIN Workshop on Model Checking Software (SPIN 2009), Program Committee member
2009 Workshop on Runtime Verification (RV 2009), Program Committee member
2008 Haifa Verification Conference, Program Committee member
3rd International Workshop on Flexible Database and Information Systems Technology (FlexDBIST-08), Program Committee member
6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2008), Program Chair
2008 ACM Symposium on Access Control Models and Technologies (SACMAT 2008), Program Committee member
Spring 2008 Security and Privacy Day, Co-Chair
2008 Workshop on Runtime Verification (RV 2008), Program Committee member
2nd Workshop on Automated Formal Methods (AFM 2007), Program Committee Member
2007 Haifa Verification Conference, Program Committee member
2007 Workshop on Runtime Verification (RV 2007), Program Committee member
Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2007), Program Committee member
8th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2007), Program Committee member
| Spring | 2010 | ITS102: Computer Security: Attacks and Defenses |
| Fall | 2009 | CSE302/ISE302: Professional Ethics for Computer Science |
| Fall | 2009 | CSE308/ISE308 (Section 1): Software Engineering |
| Spring | 2009 | CSE308/ISE308 (Sections 1 and 2): Software Engineering |
| Spring | 2009 | ITS102 (Section S20): Computer Security: Attacks and Defenses |
| Fall | 2008 | CSE608: Advanced Computer Security |
| Spring | 2008 | CSE308/ISE308: Software Engineering |
| Fall | 2007 | CSE592: Security Policy Frameworks |
| Spring | 2006 | CSE590: Distributed Systems |
| Spring | 2006 | CSE306: Operating Systems |
| Fall | 2005 | CSE394: Security Policy Frameworks |
| Spring | 2005 | CSE591: Security Policy Frameworks |
| Spring | 2004 | CSE308/ISE308: Software Engineering |
| Spring | 2004 | CSE526: Principles of Programming Languages |
To understand recursion, one must first understand recursion.
- Unknown
In theory, there's no difference between theory and practice.
In practice, there is.
- Yogi Berra
|
|