BITS Pilani

  • Page last updated on Saturday, October 30, 2021

Theory

banner
CSIS Department

Overview

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.

Theory

 

Contact Us

CSIS Office
BITS, Pilani, K.K. Birla - Goa Campus  
NH - 17B Bypass Road
Zuarinagar, Goa - 403726
India
Email: csis.office@goa.bits-pilani.ac.in
 
.
 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

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

Designed and developed by fractal | ink design studios