Hi, I'm Aloysius, currently an undergraduate student in my penultimate year at the National University of Singapore, majoring in Computer Science. I've been interested in software development for many years starting early in high school, my recent interests include the Static Analysis, Compiler design and Automata Theory. I'm using this site to blog things I want to talk about, show off projects I've made, as well as talk about modules I've taken in NUS.
Things I'm doing now
- Member of NUS Greyhats
- Working on LLVM Static Analysis by Abstract Interpretation using a new research language called Fixen.
Projects I've made
- Source LSP. A language server for Source, a subset of JavaScript used to introduce programming for CS students in NUS. Currently it is planned to be used along with a VSCode extension for the future cohorts taking this module.
- KOTLC. Knights of The Lambda Calculus is a free to play puzzle game built for Linux and Windows. This game guides players through different encodings in the Lambda Calculus, and challenges them to design operators that work on this encoding.
- SAM Object Extraction. Easy use of Segment Everything Models (SAM) to extract objects from images.
Stuff I've done
- Won a few CTFs in High School (CDDC 2022/2023, Cyberthon 2023)
- Went to Italy to participate in the European Cyber Security Challenge 2024 as part of Team Singapore
- Won 1st Runner up at Insomnihack 2026 with NUS Greyhats
- Showcased my project for the 26th SOC Term Project Showcase
- Gave a talk about the Lambda Calculus, no recording but I might give the talk again in the future and hopefully record it.
- TA for CS1101S in AY2025/26 Semester 1
- TA for CS2030S in AY2025/26 Semester 2
Work experience
- Research intern at DSTA, researching methods to detect anomalous behaviour with AI (Jun 2021 - Dec 2021)
- Software intern at A*STAR, developing tools for Vision Place Recognition projects and Object Segmentation (Feb 2024 - Apr 2024)
- VSCode Engineer under NUS Student Work Scheme. Worked on integrating a VSCode extension into Source Academy. (May 2025 - Jul 2025)