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.