Full Professor, Functional Programming division, and Deputy Head of Department, Computer Science and Engineering.
+46 31 772 54 15
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 Oct 2013.
Modified: Tue 22 Aug 2017
Please fill in a message