wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Kartik Singhal
k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
Chicago, IL