Jayadev Misra

An Indian-American computer scientist known for his work on distributed systems and formal methods like UNITY.