César Kunz

César Kunz publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Security and Verification in Computing and Formal Methods in Verification.