Brown CS News

Twenty-Eight Students Win 2024 Brown CS Senior Prizes

None

Anika Bahl, Nathan Benavides-Luu, Nicholas Bottone, Swetabh Changkakoti, Ivery Chen, Jiahua Chen, Jack Cheng, Daniel Cho, Troy Conklin, Benjamin Goff, Mandy He, David Heffren, Dylan Hu, Helen Huang, Hammad Izhar, Mehek Jethani, Anirudh Narsipur, Anna Ohrt, Nishka Pant, Sreehari Rammohan, Joseph Rotella, Shreyas Sundara Raman, Shirley Loayza Sanchez, Anh Truong, Qiuhong (Anna) Wei, Angela Xing, Carolyn Zech, and Conrad Zimmerman have each received the Senior Prize in Computer Science for their academic work as well as their service to Brown CS.  
 

Brown Students Place In The Top Two In Multiple Challenges At MIT iQuHACK 2024

None

 

Massachusetts Institute of Technology (MIT’s) iQuHACK (Interdisciplinary Quantum Hackathon) is MIT’s annual quantum hackathon that aims to bring students from a diverse set of backgrounds and from high school through early-career professionals to explore improvements and applications of near-term quantum devices. The 2024 iteration of the hackathon was held in early February and offered both an in-person hackathon where participants developed and tested their code on real quantum hardware as well as a virtual hackathon for a larger outreach to further students. 

Roberto Tamassia Gives An Invited Talk On Searchable Encryption At Italy’s National Cybersecurity Agency

None

Late last year, Brown University’s Roberto Tamassia (Chair of the Department of Computer Science and James A. and Julie N. Brown Professor of Computer Science) gave an invited talk at the Italian National Cybersecurity Agency (ACN), the branch of the Italian government devoted to the protection of national interests in the field of cybersecurity. Reporting directly to Italy's Prime Minister, ACN is responsible for safeguarding Italy's security and resilience in cyberspace, preventing and mitigating cyber attacks, and promoting cybersecurity awareness and education in government, business, and society.

Anna Lysyanskaya Receives The Levchin Prize For Real-World Cryptography

None

The International Association for Cryptologic Research (IACR) is a nonprofit scientific organization whose purpose is to further research in cryptology and related fields. Every year at the Real World Crypto Symposium (RWC), they award the Levchin Prize for Real-World Cryptography, which honors major innovations in cryptography that have had a significant impact on the practice of cryptography and its use in real-world systems. Two prizes are awarded each year, and one of this year’s winners is Brown University James A. and Julie N. Brown Professor of Computer Science Anna Lysyanskaya. 

Tim Nelson, Daniel Ritchie, And James Tompkin Receive Promotions

None

Brown CS is happy to announce that faculty members Tim Nelson, Daniel Ritchie, and James Tompkin have received promotions. Pending the approval of Brown’s Corporation and effective as of July 1, 2024, Tim has been promoted to Senior Lecturer, Daniel to Associate Professor with tenure, and James to Associate Professor with tenure.

Robert Y. Lewis Co-Founds A New Formalized Mathematics Journal

None

Brown CS faculty member Robert Y. Lewis has just co-founded the Annals of Formalized Mathematics, a new diamond open-access journal that will publish original articles about formalized mathematics and mathematical applications of proof assistants. Also known as interactive theorem provers, these tools are used to produce formally correct mathematics: users write definitions, theorems, and proofs in a specialized language and receive instant feedback from the computer about each line. Rob will serve as Managing Editor alongside Filippo A. E. Nuccio Mortarino Majno di Capriglio of the Université Jean Monnet Saint-Étienne in France.