PRECISE Lab at UPenn
Vaibhav Wanere
vbwanere
Learning Precision Machining, Embedded Systems, Robotics, IoT and all that comes with it...
Caterpillar Inc. Pontiac, IL, USA
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
