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.