Patrik Jansson

Full Professor, Functional Programming division, Department of Computer Science and Engineering.

My twitter profile says: Computer scientist, Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.

​​Domain Specific Languages of Mathematics

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.


Page manager Published: Fri 17 Dec 2021.