Skip to content

@PRECISE PRECISE Lab at UPenn

@quantumbluee
Urvi Haval quantumbluee
@AronKirui
AronKirui
@vbwanere
Vaibhav Wanere vbwanere

University of Pennsylvania Philadelphia, US

@Pratik-94
Pratik Kumbhare Pratik-94
MS Robotics'23 at WPI (Greater Boston,USA)
@northernlights271
Aurora northernlights271
@aogrcs
wenlong aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
@pg
Peter Gebhard pg
Lead Software Engineer @ World Wide Technology

World Wide Technology Seattle, WA