Associate Professor (Docent), Head of Division, Logic and Types division, Department of Computer Science and Engineering.
bove@chalmers.se +46317721020 Find me
Page manager Published: Thu 20 Feb 2020.
Please fill in a message
Send 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.