focus in verification of real time embedded control system using static analysis, theorem proving

Student @uWaterloo. Curious about everything from unicorns to quantum computing. Ex-@teslamotors, @apple, @hiveml, @yahoo, @kikinteractive and @500px intern

https://ciniks117.github.io/