My name is Tung-Che Chang and I’m a PhD student in Computer Science at Rutgers University. My research interest is programming languages and formal verification. More specifically I’m working on the formalization of the P3109 floating-point standard in Lean. I’m advised by Santosh Nagarakatte.
In the summer of 2026 I will teach CS314, Principles of Programming Languages. The course will include three different programming paradigm (static and dynamic functional programming, and object-oriented programming). More info to come!