showSidebars ==
showTitleBreadcrumbs == 1
node.field_disable_title_breadcrumbs.value ==

Watt Seng Joe

Assistant Research Engineer


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.