Professor of Computer Science at Stevens Institute of Technology. Here's contact info and resume.
Fall 2012 CS 115 Introduction to Computer Science and CS 465/810 Category Theory for Computer Scientists
Spring 2012 CS 135 Discrete Structures
Fall 2011 CS 115 Introduction to Computer Science and CS 510 Principles of Programming Languages
Fall 2010 & Spring 2011: on sabbatical leave at Microsoft Research, Cambridge and at IMDEA Software Institute, Madrid
Spring 2010 CS 135 Discrete Structures
Fall 2009 CS 135 Discrete Structures
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 undergrad and MS students: Scholarships for Service.
Undergraduate summer research: Contact me early in Spring semester for projects. Some previous projects: 2011 2010, 2005, 2006, 2008, and Dustin Long's honors thesis. Supported by the NSF as well as the Stevens Scholars program.
My focus is on formal methods and software security, including: ad hoc network application security; JavaScript and web security; fine-grained confidentiality/integrity policies; program analysis, verification, and transformation; correctness by construction; and methodology for formal specification of system components. For details see publications and items below.
Affiliated with: CASSIA, the Center for the Advancement of Secure Systems and Information Assurance.
Current and past PhD students: Chunyu Tang; Andrey Chudnov; Stan Rosenberg (finished Summer 2011); Qi Sun (finished Fall 2007).
With NSF support I'm working with Gary Leavens and others on the Java Modeling Language (JML), formal verification technology and methodology; and with Leila Silva and Augusto Sampaio on refactoring (NSF awards CNS-0708330 and CCF-0915611).
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. See our Secure Information Flow Inferencer and Verifier for Region Logic.
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
1st ACM Workshop on Higher-Order Programming with Effects (HOPE) at ICFP in Copenhagen
ACM Principles of Programming Languages
(POPL) 2011
ACM Conference on Computer
and Communication Security (CCS) 2010
New Jersey Programming Languages Seminar
(NJPLS)
co-organizer, April 2010.
International Conference on Formal Engineering Methods 2009.
Brazilian Symposium on Formal Methods
2007, 2008, 2009, 2010, 2011 (also Steering Committee, and co-chair of PC 2012)
ACM Workshop on Program Analysis for
Security (PLAS)
2008 & co-chair for
PLAS 2009
Mathemetics of Program Construction
2004, 2010, 2012
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
Int'l Symposium on Unifying Theories of
Programming
2006, 2008, 2010, 2012
TOOLS Europe
2008
7th IFIP Int'l Conference on Theoretical Computer Science 2012
Workshop on Specification And
Verification of Component-Based Systems
2007
14th Int'l Conference on Formal Methods
2006
Brazilian Symposium on Programming
Languages
2004 -- 2008
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
and I'm co-chairing the
Theory Workshop
for 2010.
I chaired the Theory Panel of the
Verified Software Initiative
and am a Corresponding Member of the
Verified Software Repository Network.
Editorial Board, The Journal of Object Technology
My stylish home page, speed limits for chumps, 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, the desk upon which it may not sit, the cry of the imaginary cuica.