Full Professor, Functional Programming division, Deputy Head of Department, Computer Science and Engineering.
patrik.jansson@chalmers.se +46317725415 Find me http://orcid.org/0000-0003-3078-1437
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.
Links:
My research area is Software Technology and I specialise in Generic Programming, Functional Programming and Program Verification.
Links
Page manager Published: Tue 03 Nov 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.