Professor, Formal Methods division, Department of Computer Science and Engineering. Director of studies for the graduate school in Computer Science and Engineering.
Download my CV
Published: Mon 02 Jul 2018.
Please fill in a message
Thanks! We have received your message. If you have left your email address, you will receive a response from the editor-in-chief within 2-3 working days.