satnam satnam Dazed and confuzed

Niner since 2005

I am an architect in the Advanced Strategies and Policy group at Microsoft. Although I am not in Microsoft Research I work closely with the Programming Principles and Tools group at Cambridge. My research interests include reconfigurable computing, functional programming, formal verification and analysis, concurrency and computer architecture.

I serve on various conference programme comittees including FCCM, FMCAD, DCC, and FPT. I am currently the programme chair for the system level modelin...