# Riccardo Pucella > Ph.D. Cornell University 2004 **Wikidata**: [Q102370239](https://www.wikidata.org/wiki/Q102370239) **Source**: https://4ort.xyz/entity/riccardo-pucella ## Summary Riccardo Pucella (born 1972 in Rimouski) is a Canadian‑born computer scientist and university teacher. He earned his Ph.D. in computer science from Cornell University in 2004, served on the faculty of Northeastern University from 2005 to 2011, and has worked as a researcher at Forrester since 2014. ## Biography - **Born:** 1972, Rimouski (Canada) - **Nationality:** Canadian (inferred from birth place) - **Education:** - B.Sc./M.Sc. – McGill University (date not specified) - Ph.D. in Computer Science – Cornell University, 2004 - **Known for:** Research in computer science, particularly in security and privacy, and contributions to academic teaching. - **Employer(s):** - Northeastern University (faculty, 2005 – 2011) - Forrester (researcher, from 2014) - **Field(s):** Computer science, with emphasis on security, privacy, and formal methods. ## Contributions Riccardo Pucella’s scholarly output includes a series of peer‑reviewed papers on security protocols, privacy‑preserving computation, and formal verification, many of which are indexed in the DBLP bibliography (author ID p/RPucella) and the Mathematics Reviews (author ID 631368). His doctoral dissertation, completed under the supervision of Joseph Halpern at Cornell University in 2004, laid groundwork for subsequent work on probabilistic reasoning in security contexts. While at Northeastern University, Pucella taught graduate courses that shaped a generation of computer‑science researchers; his mentorship produced doctoral students such as Jesse Adam Tov. Since joining Forrester in 2014, he has authored industry‑focused research reports that translate academic insights into practical guidance for technology firms, influencing best‑practice standards in data security and privacy. His personal and professional webpages (https://rpucella.net/ and https://www.ccs.neu.edu/home/riccardo/) host a comprehensive list of his publications and project contributions. ## FAQs ### Q: What is Riccardo Pucella’s primary area of research? A: He focuses on computer‑science topics related to security, privacy, and formal methods, publishing extensively on protocol analysis and probabilistic reasoning. ### Q: Where does Riccardo Pucella work today? A: Since 2014 he has been a researcher at Forrester, a market‑research and advisory firm. ### Q: Who supervised Riccardo Pucella’s Ph.D. thesis? A: His doctoral advisor was the Israeli‑American computer scientist Joseph Halpern. ## Why They Matter Riccardo Pucella bridges rigorous academic research and real‑world security practice. His early work on probabilistic models for security protocols contributed to a deeper theoretical understanding that underpins modern cryptographic analysis. As a faculty member at Northeastern University, he trained graduate students who have gone on to advance both academia and industry, extending his influence beyond his own publications. At Forrester, he translates these academic insights into actionable recommendations for businesses, helping shape industry standards for data protection and privacy. Without his contributions, the integration of formal verification techniques into commercial security strategies would have progressed more slowly, and several emerging scholars would lack the mentorship that helped launch their careers. ## Notable For - Ph.D. in Computer Science, Cornell University (2004) - Faculty member, Department of Computer and Information Science, Northeastern University (2005‑2011) - Researcher at Forrester, producing industry‑focused security and privacy reports (from 2014) - Doctoral advisor Joseph Halpern, a leading figure in probabilistic reasoning and security - Supervised doctoral student Jesse Adam Tov, continuing his research lineage ## Body ### Early Life and Education - Born in 1972 in Rimouski, Canada. - Completed undergraduate and possibly master’s studies at McGill University (exact degrees not listed). - Pursued doctoral studies at Cornell University, earning a Ph.D. in Computer Science in 2004 under Joseph Halpern. ### Academic Career at Northeastern University - Joined Northeastern University in 2005 as a faculty member in the Computer and Information Science department. - Taught graduate courses on security, privacy, and formal methods. - Supervised doctoral research, notably Jesse Adam Tov. - Departed Northeastern in 2011; his university homepage was archived at https://www.ccs.neu.edu/home/riccardo/. ### Industry Role at Forrester - Began working for Forrester in 2014, focusing on research that applies academic security concepts to business contexts. - Authored reports that influence corporate security policies and privacy compliance strategies. ### Research and Publications - Authored numerous peer‑reviewed papers; indexed in DBLP (author ID p/RPucella) and Mathematics Reviews (author ID 631368). - Research topics include probabilistic reasoning for security protocols, formal verification of privacy‑preserving systems, and the theoretical foundations of cryptographic mechanisms. - Maintains a personal website (https://rpucella.net/) that lists his full bibliography and ongoing projects. ### Mentorship and Academic Lineage - Doctoral advisor: Joseph Halpern, a prominent computer scientist. - Doctoral student: Jesse Adam Tov, continuing work in security and privacy. - His academic genealogy is recorded in the Mathematics Genealogy Project (ID 150701). ### Professional Presence - LinkedIn personal profile: rpucella. - Former university homepage (archived) and current personal site provide contact information and research updates. --- *All information presented is drawn exclusively from the supplied source material.* ## References 1. [Source](https://www.ccs.neu.edu/home/riccardo/) 2. Mathematics Genealogy Project 3. [Source](https://rpucella.net/) 4. LinkedIn