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.
- Born in
(Quebec, Canada) in 1972.
- Moved to
in 1991, to attend
Completed a B.Sc. in
(Honours) then switched over to the
School of Computer Science
to complete a M.Sc. under the supervision of
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
- 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
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.
- In 2008, I was visiting researcher at Microsoft
Research in Cambridge.