• Home
• Projects
• Teaching
• Publications
• Curriculum Vitae
• Research Statement

Aquinas Hobor
Lee Kuan Yew
Postdoctoral Fellow

Work address:
NUS School of Computing
Computing 1 #03-25
13 Computing Drive
Singapore 117417

Home address:
45 Mosque Street #04-01
Singapore 059523

Phone:
w: +65 6516-4541
c: +65 8366-3664

Email:

Old email addresses:
Aquinas at verizon.net

Aquinas Hobor: Affiliated Projects

Verified Software Toolchain: The software toolchain includes static analyzers to check assertions about your program; optimizing compilers to translate your program to machine language; operating systems and libraries to supply context for your program. The Verified Software Toolchain project assures with machine-checked proofs that the assertions claimed at the top of the toolchain really hold in the machine-language program, running in the operating-system context.  (PDF: project overview, by Andrew W. Appel)

Concurrent C minor: Connecting machine-verified source programs in concurrent programming languages to machine code via machine-verified optimizing compilers. (PDF: project vision, by Andrew W. Appel)

Mechanized Semantic Library: Mechanically-verified mathematical techniques for developing semantic models of program logics and type systems.