About Me
I am a third-year University of Chicago undergraduate student double majoring in computer science and mathematics. In the computer science major, I am specializing in Human-Computer Interaction (HCI). My expected graduation date is June 2025. I plan on applying for the winter quarter cycle of the UChicago BS/MS in Computer Science program, which would allow me to get a Master's degree in Computer Science by December 2025.
For the last two years, I have worked as a research assistant at the University of Chicago's Human Computer Integration Lab under Professor Pedro Lopes. In this position, I research ways to give people new sensory experiences in virtual reality (VR) and augmented reality (AR).Â
Outside of HCI, I have taken a great interest in theoretical computer science and in the intersection between computer science and mathematics. One topic in this area that particularly interests me is type theory and formal verification using proof-checking programming languages such as Coq and Lean.Â
In my free time, I enjoy designing, programming, and composing music for video games of various genres. I also regularly practice and compose music for the piano and trumpet.Â
To contact me, please email me at jserf02@gmail.com
The current projects with publicly available code segments include the Chess-like Board Game Engine (C++), Midity (Unity C#), the Snowboarder Animation (Python), Linear Algebra in Lean 4 (Lean 4, a cutting-edge proof assistant language), Highway Traffic Simulator (Unity C#), and the quest module from Chiventure (C). Also, if you just want to see something cool, check out the Virtual Reality Diver Interface project!
Work Experience
Research Projects
Authors: Yudai Tanaka, Jacob Serfaty, Pedro Lopes
Affiliation: UChicago Human-Computer Integration Lab
Authors: Alex Mazursky, Jacob Serfaty, Pedro Lopes
Affiliation: UChicago Human-Computer Integration Lab
Authors: Romain Nith, Jacob Serfaty, Sam Shatzkin, Alan Shen, Pedro Lopes
Affiliation: UChicago Human-Computer Integration Lab
Projects - In Progress
Chess-Like Board Game Engine + Anarchy Chess Engine (C++): January 2023-October 2023, Finalizing at PresentÂ
Nearly complete, estimated completion by June 10, 2024
Projects - Completed
Activities
Courses
Note: Ordered chronologically within each category
Computer Science:
CMSC 16100: Honors Introduction to Programming I
CMSC 16200: Honors Introduction to Programming II
CMSC 15400: Introduction to Computer Systems
CMSC 22000: Introduction to Software Development
CMSC 20300: Introduction to Human-Computer Interaction
CMSC 27130/MATH 28130: Honors Discrete Math
CMSC 23700: Introduction to Computer Graphics
CMSC 22500: Type Theory
CMSC 22400: Programming Proofs
CMSC 20900: Computers for Learning
CMSC 27230: Honors Theory of Algorithms
CMSC 22100: Programming Languages
CMSC 29700: Reading and Research in Computer Science
Mathematics:
MATH 16110: Honors Introduction to Calculus I IBL
MATH 16210: Honors Introduction to Calculus II IBL
MATH 16310: Honors Introduction to Calculus III IBL
CMSC 27130/MATH 28130: Honors Discrete Math
MATH 20250: Abstract Linear Algebra
MATH 20310: Analysis I in Rn - Accelerated
MATH 20320: Analysis II in Rn - Accelerated
MATH 20330: Analysis III in Rn - Accelerated
Other - STEM:
PHYS 14100: Honors Mechanics
PHYS 13200: Electricity and Magnetism
BIOS 10140: Inquiry-based Exploration of Biology
Other - Creative:
MAAD 22322: Introduction to Game Design
MUSI 10300: Introduction to Music: Materials and Design
MAAD 26210: Media Art and Design Practice
Other - Humanities:
HUMA 16000: Media Aesthetics: Image, Text, Sound I
HUMA 16100: Media Aesthetics: Image, Text, Sound II
SOSC 15100: Classics of Social and Political Thought I
SOSC 15200: Classics of Social and Political Thought II
SOSC 15300: Classics of Social and Political Thought III
JWSC 12000: Jewish Civilizations I
JWSC 12001: Jewish Civilizations II
Honors
Co-author of 2 papers published at CHI 2024, one of which received an Honorable Mention award (see HCI Lab page)
Honorable Mention: Computing Research Association (CRA) Outstanding Undergraduate Research Award
Co-author of 1 paper published at CHI 2023 (see HCI Lab page)
Robert Maynard-Hutchins Award 2023
Dean's List 2021-2022, 2022-2023
Skills
Programming Languages:
Tools: