loonwerks
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
