GE High Assurance Software
Michael Enzo Kirkova
EngineerMichael
GE Aerospace | E.C.E & C.S Senior Undergraduate New York Tech Manhattan ABET Accredited Private University Cross-Platform Developer & Constantly Learning
New York Institute of Technology Manhattan, New York
Sree Lakshmi Addepalli
Lakshmiaddepalli
Senior Software Engineer @yahoo | ex - millennium
Courant institute of Mathematical Sciences New York
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Maria Veiga
hanveiga
Now @ Ohio State. Former PhD @ ICS/MATH UZH. Into arts, math and computers.
UZH Zurich