Statement of Research : Himanshu Jain

Computer systems form an integral part of our day to day life and are increasingly being used in safety critical applications such as automobiles and medical devices. Building robust and correct computer systems is a complex and challenging task. I am broadly interested in developing techniques and tools that allow us to build reliable computer systems… CONTINUE READING