IIT GOA

INDIAN INSTITUTE OF TECHNOLOGY GOA
भारतीय प्रौद्योगिकी संस्थान गोवा
Dr. Amaldev Manuel (amal@iitgoa.ac.in)
Designation: Assistant Professor
Research Interests: Logic, Automata, Algebra and Games
Address: Faculty cabin, Computer Lab, IT Building

Dr. Sreejith A V (sreejithav@iitgoa.ac.in)
Designation: Assistant Professor
Research Interests: Logic, Descriptive complexity, Automata theory, Algebraic Automata theory
Address: F6, Room No. 205, IT Building

Visiting Faculty


Prof. Abhiram Ranade (ranade@cse.iitb.ac.in)
Research Interests: Algorithms and Combinatorial Optimization
Address: Department of Computer Science Engineering, IIT Bombay, Powai, Mumbai 400 076

Prof. Bharat Adsul (adsul@cse.iitb.ac.in)
Research Interests: Formal methods in Concurrency, Logics and Games, Geometric Complexity Theory
Address: Department of Computer Science Engineering, IIT Bombay, Powai, Mumbai 400 076