Gerardo Schneider

My research focus on formal specification and analysis of contracts, formalization of privacy policies, model checking, verification of real-time and polygonal hybrid systems, verification of embedded systems (in particular smart java cards), semantics, logics for computer science, security.

faculty Division Head