|
|
Email:
riccardo@ccs.neu.edu
|
College of Computer and
Information Science
Room 328 WVH
Northeastern University
360 Huntington Avenue
Boston, MA 02115
Phone: +1 617 373 2076
Fax: +1 617 373 5121
|
|
|
|
|
|
News
| Jan 11, 2010: | I am teaching CS 3500 (Object-Oriented Design) this spring. | | Sep 15, 2009: | I am teaching CS 3500 (Object-Oriented Design) and CS 6750 (Cryptography and Communication Security) this fall. | | 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. | | Nov 8, 2005: | New SIGACT News Logic Column by James Cheney. | | Nov 7, 2005: | Final version of Probabilistic Algorithmic Knowledge, accepted for publication in Logical Methods in Computer Science. | | Oct 27, 2005: | Full version of UAI'05 paper Evidence with Uncertain Likelihoods. | | Oct 10, 2005: | I am on the program committee for AAMAS'06. | | Sep 27, 2005: | I am on the program committee for ICFP'06. | | Sep 7, 2005: | New paper Practical Datatype Specializations with Phantom Types and Recursion Schemes with Matthew Fluet, to be presented at ML Workshop 2005. | | Sep 5, 2005: | I have now moved to Northeastern University. | | Aug 14, 2005: | Revised version of Phantom Types and Subtyping. | | Aug 05, 2005: | New SIGACT News Logic Column by Nick Papanikolaou. | | Aug 02, 2005: | The slides for my UAI'05 talk Evidence with Uncertain Likelihoods are available (the paper is here). | | Jul 05, 2005: | Revised version of A Logic for Reasoning about Evidence posted. | | Jul 05, 2005: | New review Goldreich's Foundations of Cryptography II: Basic Applications. | | Jun 21, 2005: | I have accepted a position as assistant professor in the College of Computer and Information Science at Northeastern University (Boston) starting in the fall. | | Jun 16, 2005: | Revised version of Deductive Algorithmic Knowledge posted. | | Jun 07, 2005: | To celebrate the return of summer, I'm introducing a new homepage format. |
|
|