Jeff Chen
85
Seguidores
Personal Information
Organización/Lugar de trabajo
Bangkok, Thailand
Ocupación
MSc in Computer Science (Algorithm / Language / Logic)
Sector
Technology / Software / Internet
Acerca de
Working on loop invariants using formal methods tools.
Etiquetas
student presentation
subtype
types
first-order theorem prover
array theory
vampire
loop invariants
Ver más