Sandra Dylus -

Registered user since Tue 11 Oct 2016

Name:Sandra Dylus

Bio:

I finished my PhD in PL, more precisely on functional programming (Haskell, Coq) and emphasis on algebraic effects and non-determinism as effect (as in functional logic programming) in 2020.

Country:Germany

Affiliation:Cap3 GmbH

Personal website:https://ichistmeinname.github.io/page/

Twitter:https://twitter.com/ichistmeinname

GitHub:https://github.com/ichistmeinname

Research interests:Programming Languages, Functional Programming, Proof Assistants

Contributions

‹Programming› 2021	Committee Member in Program Committee within the Research Papers-track
PADL 2021	Committee Member in Programme Committee within the PADL 2021-track
POPL 2020	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Haskell 2019	Author of Verifying Effectful Haskell Programs in Coq within the Haskell 2019-track
ICFP 2019	Student Volunteer Co-Chair in Organizing Committee Student Volunteer Co-Chair in Committee within the Student Volunteering-track
‹Programming› 2019	Author of One Monad to Prove Them All within the Research Papers-track Author of Proving Inequational Propositions about Haskell Programs in Coq within the Posters-track
PADL 2018	Author of Probabilistic Functional Logic Programming within the PADL 2018-track
ICFP 2016	Author of All Sorts of Permutations (Functional Pearl) within the Research Papers-track