Patrik Jansson

Full Professor, Functional Programming division, and Deputy Head of Department, 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.


Published: Fri 04 Oct 2013. Modified: Fri 06 Jan 2017