iver.sn

Personal

I am currently a senior at Harvard University in the Computer Science department. Outside of the classroom, I run for the Varsity Track & Field / Cross Country team. My results can be found on tffrs.


Academic

I am currently pursuing an Bachelor's degree in Computer Science at Harvard. My expected graduation is in May of 2024.

I am particularly interested in the field of programming languages and security. My current research has been supervised by Professor Stephen Chong. It has focused on developing an authorization logic and protocol for combining proof-carrying authorization and zero-knowledge proofs. The goal is to enable authorization between privacy-conscious users and applications. For example, a user could use a certificate of their birth date to prove that they are of age to access a site, without revealing their actual birth date.

I have completed relevant coursework in the areas of Systems Programming, Probability, Discrete Math, Artificial Intelligence, Algorithms & Limitations, Data Structures and Algorithms, Compilers, and Programming Languages.

I look forward to enrolling in Formal Methods for Computer Security along with continuing my research this spring.


Professional

Red Hat | Software Engineering Intern
May 2023 - August 2023


Red Hat | Software Engineering Intern
June 2022 - August 2022


National Security Innovation Network | X-Force Fellow
June 2021 - August 2021


Janji | Web Development Intern
March 2021 - June 2021


Maple Leaf logo by iconfield from Noun Project (CC BY 3.0)