BITS Pilani

  • Page last updated on Wednesday, June 07, 2023


CSIS Department


Our main focus is to characterize, assess and analyze computation as is designed and practised.  We strive to push the boundary of theoretical computer science to characterize heuristic and incomplete computation that is mainly driven by human intuition. In particular, we carry out research in modelling networked systems, in analyzing heuristic computation using Real Analysis, and in formal verification using automata theory and logic.



Contact Us

CSIS Office
BITS, Pilani, K.K. Birla - Goa Campus  
NH - 17B Bypass Road
Zuarinagar, Goa - 403726
 Tel: +91-832-2580107        

Quick Links

An Institution Deemed to be University estd. vide Sec.3 of the UGC Act,1956 under notification # F.12-23/63.U-2 of Jun 18,1964

© 2023 Centre for Software Development,SDET Unit, BITS-Pilani, India.

Designed and developed by fractal | ink design studios