![](/sites/cclaw.smu.edu.sg/files/2023-02/profile%20pic.jpeg)
Watt Seng Joe
Assistant Research Engineer
Biography
Joe graduated with a Bsc in Mathematics from the National University of Singapore, with a minor in Computer Science. He specializes in logic and programming language theory, and enjoys functional programming. Joe is currently developing a rigorous, formal semantics for the DSL and an accompanying logical reasoning and verification engine.