plas4sci.github.io - Programming Languages and Systems for Science laboratory | This is the home of the Programming Language and Systems for Science

Description: This is the home of the Programming Language and Systems for Science laboratory at the University of Kent. We are a group of researchers who applies PL techniques to support the work of computational scientists.

Example domain paragraphs

Complex models in modern science and are now routinely expressed as software. The PLAS4Sci lab (Programming Languages and Systems for Science) at the School of Computing , University of Kent is a sub-group of the PLAS group focussed on improving the state-of-the-art in programming languages, programming systems, and programming tools to support the daily work of scientists.

CamFort , a tool for verification and static analysis of Fortran, with a particular focus on verification techniques for numerical computation.

fortran-src , a static-analysis framework for Fortran, written in Haskell.

Links to plas4sci.github.io (2)

dorchard.github.io Dominic Orchard
cw-srepls-24.github.io Kent Concurrency Workshop and SREPLS 15