안녕하세요 :)
I am a second year PhD student at Cornell University.
I am currently having a great time with Prof. Owolabi Legunsen working in the interesction of runtime verification and language runtimes. E sabi this thing well well.
In the past I worked on:
- Runtime level Energy profiling & optimization with Prof. David Liu
- Differential verification of neural networks Prof. William Hallahan
I spent 2 years off from college to serve in the South Korean Army.
I built some stuff with my peers:
- segMedix in 2024
- Tools for prostate cancer diagnosis. Supported by NSF SBIR
The background image is "People 1986" by Lee Ung-no, my favorite artist.