Applied scientist at @AWS | Interests: AI, Automated Reasoning, Formal Methods, Static Analysis, Software Eng., Testing, & Security | PhD in CS from @mpi_sws_

ID: 1166273840

linkhttp://numairmansur.github.io calendar_today10-02-2013 15:53:10