mww-aws is Mike Whalen's Amazon profile
-
Amazon Web Services
- Minneapolis, MN
Mohammad Hossein Khoshechin Jorshari
joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
Germany
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving