Professor of Computer Science at Stevens Institute of Technology. Here's contact+photo, resume and PGP key.
Fall 2009 CS 135 Discrete Mathematics
Spring 2009 CS 115 Introduction to Computer Science
Fall 2008 CS 115 Introduction to Computer Science 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
For graduate students already attending Stevens: the normal process is to distinguish yourself in a course before seeking a position.
For undergrad and MS students: Scholarships for Service.
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 to enforce such policies; 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, methodology, and (NSF CNS-0708330), and teaching. 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. See our Secure Information Flow Inferencer.
Collaborator on the Spec#/Boogie software specification/verification project (Microsoft Research, Foundations of Software Engineering group).
With support from Telcordia I'm working with Susanne Wetzel on high assurance for security in wireless networking
I co-chaired (with Stephen Chong) the 4th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security associated with PLDI 2009 in Dublin. I co-chaired (with Peter O'Hearn) the 2008 Theory Workshop of the Second IFIP Working Conference on Verified Software: Theories, Tools, Experiments in Toronto. Also co-chair for 2010. I chaired the Theory Panel of the Verified Software Initiative and am a Corresponding Member of the Verified Software Repository Network.
ACM Principles of Programming Languages 2011.
ACM Conference on Computer and Communication Security 2010.
International Conference on Formal Engineering Methods 2009.
ACM Workshop on Program Analysis for
Security (PLAS)
2008 & co-chair for
PLAS 2009
Mathemetics of Program Construction 2004, 2010
Formal Methods for
Security Engineering
2007 & 2008
European Symposium on Research in Computer
Security
2007
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
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.