Moa Johansson -

Registered user since Fri 6 Jul 2018

Name:Moa Johansson

Country:Sweden

Affiliation:Chalmers University of Technology

Personal website:http://www.cse.chalmers.se/~jomoa/

Contributions

CPP 2021	Committee Member in Program Committee within the CPP 2021-track
PADL 2019	Author of PADL Opening and Welcome within the PADL 2019-track PC Co-Chair in Organizing Committee within the PADL 2019-track
Haskell 2017	Author of QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) within the Haskell 2017-track
Off the Beaten Track 2017	Author of Keynote talk: Reasoning about Functional Programs: Exploring, Testing and Inductive Proofs. within the OBT-track