Professor of Computer Science at Stevens Institute of Technology. Here's contact+photo, resume and PGP key.
Fall 2008 CS 115 Introduction to Programming and PhD Fall School on Logics & Semantics of State, IT University of Copenhagen
Spring 2008 CS 182 Introduction to Computer Science, Honors II and CS 496/510 Principles of Programming Languages
Fall 2007 CS 115 Introduction to Programming
Spring 2007 CS 510 Principles of Programming Languages
Fall 2006 CS 115 Introduction to Programming and CS 510 Programming Languages
Spring 2006 CS 115 Introduction to Programming and CS 674 Theory of Object-oriented Software Design
For graduate students already attending Stevens: the normal process is to distinguish yourself in my course or another related course in my department before seeking a position.
Undergraduate summer research: Contact me in Spring semester for projects. I have supported many undergraduate researchers, often in collaboration with Prof Susanne Wetzel and focusing on security of wireless ad hoc network applications. Some previous projects: 2005, 2006, 2008, and Dustin Long's honors thesis. Supported by the National Science Foundation as well as the Stevens Scholars program.
My current research is in the general area of formal methods and security. Topics include: fine-grained confidentiality/integrity policies; automated analysis/transformation of programs combined with access control to enforce such policies; use of program verification technology for security; and methodology for formal specification of system components. For details see publications and items below.
Current and past PhD students: Stan Rosenberg; Chunyu Tang; Qi Sun (graduated Fall 2007).
I chaired the Theory Panel of the Verified Software Initiative and am a Corresponding Member of the Verified Software Repository Network.
With support from the NSF Cyber Trust program I'm working with Anindya Banerjee on Access control and downgrading in information flow assurance. Our work includes collaboration with Marco Pistoia at IBM. Representative papers appear in the 28th and 29th IEEE Symposia on Security and Privacy, May 2007 and May 2008.
With NSF support I'm working with Gary Leavens and others on the Java Modeling Language (JML), formal verification technology and methodology (NSF CCF-0429894, CNS-0708330). Representative paper at the 22d ACM Symposium on Object-Oriented Programming, Systems, Languages, and Applications, 2007.
Collaborator on the Spec#/Boogie software specification/verification project (Microsoft Research, Foundations of Software Engineering group).
Collaborating on secure information flow with researchers in the Everest group (Environments for Verification and Security of Software) at INRIA Sophia-Antipolis. Representative paper at 27th IEEE Symposium on Security and Privacy, May 2006.
With support from Telcordia Technologies I'm working with Susanne Wetzel and Farooq Anjum on high assurance for security in wireless networking. We carry out case studies based on a wireless sensor network application for music and dance: CodeBlue.
Coorganizer of the Dagstuhl Seminar on Language-Based Security, Schloss Dagstuhl, Germany, October 5-10, 2003.
Co-chair (with Stephen Chong) of 4th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security associated with PLDI 2009 in Dublin.
Co-chair (with Peter O'Hearn) of 2008 Theory Workshop of the Second IFIP Working Conference on Verified Software: Theories, Tools, Experiments in Toronto.
Formal Methods for
Security Engineering
2007 & 2008
European Symposium on Research in Computer
Security
2007
ACM Workshop on Program Analysis for
Security (PLAS)
2008 & co-chair for 2009
Formal
Methods for Open Object-based Distributed Systems
2007 & 2008
IEEE/ACM Workshop on Automated Formal Methods (AFM) 2007 & 2008
European Symposium on Programming
2006 & 2008
Verified Software: Theories, Tools,
Experiments
2008
Workshop on Foundations
of Computer Security and Automated Reasoning for Security Protocol Analysis
2007
ECOOP International
Workshop on Aliasing, Confinement and Ownership in object-oriented programming
2008
Symposium on Unifying Theories of
Programming
2006 & 2008
TOOLS Europe
2008
Workshop on Specification And
Verification of Component-Based Systems
2007
14th Int'l Conference on Formal Methods
2006
International Conference on Formal
Engineering Methods
2005
Brazilian Symposium on Formal Methods
2007 &
2008
Brazilian Symposium on Programming
Languages
2004 -- 2008
Software
Verification and Testing Track
of
24th Annual ACM Symposium on
Applied Computing
2009.
Lore-El Center for Women in Engineering and Science, air quality, life above 20 kHz, my Capoeira Angola master, news for nerds, quanta, the African diaspora, my Smyrneika, sax, and voice teachers, things musical, pop record ageing fan, Pandora's locked box, my stylish home page, cry of the imaginary cuica.