The Whiley Programming Language
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
