|
I am an Assistant Professor in the College of Computer and
Information Science at Northeastern University.
My research area is the application of
logic to computer science, including computer-aided verification and
reasoning, programming languages, and artificial intelligence. Lately,
my work has focused on:
- Specifying and verifying security protocols
- Reasoning with evidence under uncertainty.
I am a member of the PRL group and the Institute for Information
Assurance at Northeastern.
What's New?
| Sep 14, 2007: | I have been lazy updating my pages over the summer. Here's what's new. I am teaching CSU 370 (Object-Oriented Design) this fall. I have also added the last two logic columns, Logic Column 18 and Logic Column 19. | | Apr 29, 2007: | New paper Perfect Cryptography, S5 Knowledge, and Algorithmic Knowledge, to be presented at TARK'07. | | Apr 19, 2007: | Slides of the talk given at the PL seminar at Harvard on The Semantics of Evidential Reasoning. | | Apr 15, 2007: | New paper Dealing with Logical Omniscience: Expressiveness and Pragmatics, to be presented at TARK'07. | | Apr 10, 2007: | Final version of paper Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation with Joe Halpern, to appear in Journal of the ACM. | | Apr 5, 2007: | Slides of the talk given at Sun Microsystems, on Phantom Types and Subtyping. | | Mar 26, 2007: | Notes from my talk at the Bellairs workshop, on Evidential Reasoning. | | Dec 18, 2006: | I am teaching CSG 714 Theory of Computation in the spring. I put up a skeleton web page to at least announce the textbook. | | Nov 29, 2006: | Slides of my Semantics Seminar talk The Semantics of Evidential Reasoning. | | Nov 20, 2006: | New SIGACT News Logic Column by Hubie Chen. | | Nov 3, 2006: | Slides of my Ph.D. Seminar talk Evidential Reasoning. | | Oct 17, 2006: | I am on the PC for CSFW'07, submission deadline Feb 6, 2007. | | Sep 6, 2006: | Beginning of the Fall semester here at NU. I am teaching CSG 252 (Cryptography and Communication Security). | | Aug 1, 2006: | New SIGACT News Logic Column by Karl Crary and Robert Harper. | | Aug 1, 2006: | Full version of FASec'02 paper Modeling Adversaries in a Logic for Security Protocol Analysis. | | Jul 12, 2006: | Slides of the talk Independence from Obfuscation: A Semantic Framework for Diversity given at CSFW'06. | | Jun 10, 2006: | I am experimenting with an RSS feed for the Logic Column. Feedback welcome, especially if it does not work! | | May 29, 2006: | I am on the Program Committee for FMSE'06. Submission deadline coming up soon: June 16. | | May 28, 2006: | New SIGACT News Logic Column by Alexander Kurz. | | May 20, 2006: | Trying out a new web site design. | | Apr 20, 2006: | New paper Independence from Obfuscation: A Semantic Framework for Diversity with Fred Schneider, to be presented at CSFW'06. | | Mar 17, 2006: | Will Clinger asked how to pronounce my last name. In the US, I use /put∫εlæ/. | | Feb 8, 2006: | Slides of the talk Reasoning about Dynamic Policies given at Brown University. | | Jan 29, 2006: | Final version of Phantom Types and Subtyping, accepted for publication in Journal of Functional Programming. | | Jan 20, 2006: | Full version of WITS'04 paper A Formal Foundation for ODRL. | | Jan 18, 2006: | Final version of Deductive Algorithmic Knowledge, accepted for publication in Journal of Logic and Computation. | | Jan 9, 2006: | A new semester starts. I am teaching two courses, CSG 714 (Theory of Computation) and CSG 399 (Reasoning about Security). | | Dec 1, 2005: | Here are the slides of the talk I gave in the Math department at Northeastern University, Introduction to Kleene Algebras. |
What used to be new...
Schedule for Spring 2007
Short Biography
- Born in
Rimouski
(Quebec, Canada) in 1972.
- Moved to
Montreal
in 1991, to attend
McGill University.
Completed a B.Sc. in
Mathematics
(Honours) then switched over to the
School of Computer Science
to complete a M.Sc. under the supervision of
Prakash
Panangaden.
Graduated in 1996 with a thesis entitled: Investigations
on Relative Definability in PCF.
- From 1996 to 1999, I was at AT&T Research and then
Bell Labs (Lucent Technologies) in the Computing Sciences Research Center where I worked
with
John Reppy
on
SML/NJ.
- From 1999 to 2004, I completed a Ph.D. in Computer Science at Cornell
University, under the supervision of Joe Halpern. My dissertation is available, if you're
curious.
During that period, I did two internships at Microsoft
Research in Cambridge, working with Andy Gordon on security
for web services.
- In 2004-2005, I was a post-doctoral researcher, working with Fred Schneider on
security in fault-tolerant systems.
|
