(WIP) General Information about myself and my current/previous projects
- I am currently a fourth-year computer science student at the University of Washington, Paul G. Allen School for Computer Science and Engineering. I've taken a wide range of exploratory courses, and my current focus is on low-level systems development.
- In 2017-2018, I studied at the KTH Royal Institute of Technology in Stockholm, Sweden.
In 2018, I worked on formal verification of floating-point arithmetic for embedded C-systems at Scania. I have an experience report available in docs/float.pdf. My work focused both on the application of existing open-source tools to an industrial environment, and on what we were able to prove formally when those tools were insufficient.
At KTH, I took two courses in computer graphics, and my final project was open-ended. I worked with a partner, Pooria, and we iterated on a basic sequential raytracer implementation to make performance improvements. We first used KD-Trees to achieve more optimal sequential performance, then turned the base implementation into a parallelized GPU program using OpenCL 2.0. Finally, we combined both of our optimizations by integrating the KD-Trees with OpenCL, and ended up with a massive performance increase when combining the two. A summary of our work is available in docs/raytracer.pdf, and the code is available on Github.
I believe in putting in a small amount of work in the short-term in order to make things easier in the long-term. When I was studying at KTH, the IT department had synced up all of the class schedules with Google Calendar so that students could easily subscribe to a class and automatically get the times and room numbers. When I returned to the University of Washington, which provides schedules visually on an HTML page, I realized how convenient the other way was. I created a Chrome extension that generates an iCal file for a student's schedule, which can be imported directly into most calendar applications. It includes all the relevant information (course number, sections, locations, times) and syncs with the university's holiday calendar, and is available for any UW-students to use.