Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Samin Ishtiaq


Samin Ishtiaq is Principal RSDE in the Programming Principles and Tools group at Microsoft Research Cambridge. He currently works on the SLAyer (Separation Logic-based memory safety for C programs), TERMINATOR (program termination) and BMA (analysis of gene regulatory networks) projects.

Samin joined MSR in April 2008. Before that, during 2000-2008, he worked in CPU modeling and verification at ARM, helping to tape-out the Cortex A8, Cortex M3 and SC300 processors, and the AMBA bus protocol checker. Samin has an MEng from Imperial and a PhD in dependent type theory from Queen Mary.

The Ishtiaq-O'Hearn POPL'01 paper won the Most Influential POPL Paper Award for 2011.