Riccardo Pucella


Contact Information

Email: riccardo@ccs.neu.edu

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.

 

Short Biography

 

Last Update: Thu Jan 27 14:35:12 2011