Gerardo Schneider

Professor and head of division, Formal Methods division, Department of Computer Science and Engineering.

Published: Wed 10 Jul 2019.