Patrik Jansson

Full Professor, Functional Programming unit, Computing Science 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 04 Feb 2022.