Dr. Jayaraj Poroor, Chairperson, Department of Computer Science and Engineering, Amrita School of Engineering, Amritapuri, has been selected for The Second Deep Spec Summer School on Verified Systems to be held at Princeton University, from July 16-27, 2018.

The event will also include an introductory Coq Intensive from July 16-18. The Summer School is supported by generous funding from the National Science Foundation (under grant #1521523, Expeditions in Computing: The Science of Deep Specification).

The program covers cutting-edge topics on the application of formal methods to prove the correctness of critical software/hardware. Sessions are taken by renowned professors from Princeton University and other top US universities such as MIT.

The DeepSpec summer school will provide students with knowledge and experience necessary for understanding the state of the art and for contributing to ongoing research efforts, based on the interactive proof assistant Coq. DSSS’18 will consist of two parts with the first week being devoted to introductory topics and the second-week covering current research efforts.

Dr. Jayaraj’s proposal for a new domain-specific programming language for data processing on Internet of Things devices has been accepted by the Microsoft Research India Summer Workshop. Microsoft Research is one of the top places for Computer Science research, hosting several Turing Award winners.

“This is a great opportunity to learn from top experts in the field and also network and interact with top researchers from around the world. Sessions are taken from top faculty members from Princeton University and MIT. This is in line with Chancellor Amma’s vision of doing world-class research at our university,” shared Dr. Jayaraj.