Full Professor, Functional Programming unit, Computing Science division, Department of Computer Science and Engineering
The course will present classical mathematical topics
from a computing science perspective: giving specifications of the concepts
introduced, paying attention to syntax and types, and ultimately constructing
DSLs of some mathematical areas.
My research area is Software Technology and I specialise in Generic Programming, Functional Programming and Program Verification.
Published: Fri 04 Feb 2022.
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.