Professor of Computer Science at Stevens Institute of Technology. Here's contact+photo, resume and PGP key.
Spring 2009 CS 115 Introduction to Programming
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
Postdoctoral research position available in Modeling and analysis of security protocols.
For graduate students already attending Stevens: the normal process is to distinguish yourself in a course 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.
I'm affiliated with CASSIA, the Center for the Advancement of Secure Systems and Information Assurance.
My focus is on formal methods and software security, including: Java Modeling Language (JML); ad hoc network application security; 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; Andrey Chudnov; Qi Sun (graduated Fall 2007).
With NSF support I'm working with Gary Leavens and others on the Java Modeling Language (JML), formal verification technology and methodology (NSF CNS-0708330). Representative paper at the 22d ACM Symposium on Object-Oriented Programming, Systems, Languages, and Applications, 2007.
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 and researchers at INRIA. Representative papers appear in the 27th, 28th and 29th IEEE Symposia on Security and Privacy, May 2006, 2007, and 2008.
Collaborator on the Spec#/Boogie software specification/verification project (Microsoft Research, Foundations of Software Engineering group).
With support from Telcordia Technologies I'm working with Susanne Wetzel on high assurance for security in wireless networking. We carry out case studies based on a wireless sensor network application for music and dance.
I'm co-chair (with Stephen Chong) of 4th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security associated with PLDI 2009 in Dublin.
I'm co-chair (with Peter O'Hearn) of 2008 Theory Workshop of the Second IFIP Working Conference on Verified Software: Theories, Tools, Experiments in Toronto.
I chaired the Theory Panel of the Verified Software Initiative and am a Corresponding Member of the Verified Software Repository Network.
International Conference on Formal Engineering Methods 2009.
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
IBM Programming Languages Day 2009, co-organizer
Formal
Methods for Open Object-based Distributed Systems
2007 & 2008
IEEE/ACM Workshop on Automated Formal Methods (AFM) 2007, 2008, & 2009
European Symposium on Programming
2006 & 2008
Verified Software: Theories, Tools,
Experiments
2008 & 2010
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
Mathemetics of Program Construction 2004, 2010
Software
Verification and Testing Track
of
24th Annual ACM Symposium on
Applied Computing
2009.
My stylish home page, 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, an ocean thereof, pop record ageing fan, Pandora's locked box, cry of the imaginary cuica.