GE High Assurance Software
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