User:aghav

Hello ! I am working as Professor at COEP. I am PhD from TIFR's

School of Technology and Computer Science (STCS), and Postdoctoral fellow of

Swiss Federal Institute of Technology (EPFL) Switzerland.

My area of interests are synchronous programming, formal verification,

cloud computing, and system biology. I guide PhD students in this area.

The courses that I teach to the Bachelors and Masters in Computer

Engineering and Information Technology

are: Computer Algorithms, Theory of Computation, Software Engineering, and

Object Oriented Modeling and Design, as Wikipedia fellow.