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. The most recent topic in this area that I have pursued is 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
Projects - In Progress
Projects - Completed
Activities
Courses
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
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
Other - STEM:
PHYS 14100: Honors Mechanics
PHYS 13200: Electricity and Magnetism
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
Honors
Dean's List 2021-2022, 2022-2023
Robert Maynard-Hutchins Award 2023
Co-author of paper accepted to CHI 2023 (see HCI Lab page)
Reach for the Stars award for Virtual Reality Diver Interface project
Skills
Programming Languages:
Tools: