• Sign in
  • Sign up
conf.researchr.org / Michael Hanus
  • FLOPS 2022 profile
  • ICFP 2018 profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2019 profile
  • POPL 2021 profile
  • POPL 2023 profile
Michael Hanus

Registered user since Thu 15 Dec 2016

Name:Michael Hanus
Country:Germany
Affiliation:Kiel University
Personal website:https://www.informatik.uni-kiel.de/~mh/
GitHub:https://github.com/mihanus
Research interests:Programming Languages, Functional Programming, Logic Programming

Contributions

PADL 2023 Session Chair of Invited Talk (part of PADL 2023)
Co-chair in Program Committee within the PADL 2023-track
Co-chair in Programme Chairs within the PADL 2023-track
FLOPS 2022 Session Chair of Session 1: Opening & Invited Talk (part of FLOPS 2022)
Committee Member in Programme Chairs within the FLOPS 2022-track
Program Co-Chair in Organizing Committee
Session Chair of Session 8: Invited Talk (part of FLOPS 2022)
Co-chair in Program Committee within the FLOPS 2022-track
PADL 2021 Author of Lightweight Declarative Server-Side Web Programming within the PADL 2021-track
PADL 2019 Author of Improving Residuation in Declarative Programs within the PADL 2019-track
HIW 2018 Committee Member in Program Committee within the HIW 2018-track
PADL 2017 Author of Improving Non-deterministic Computations in Functional Logic Programs within the PADL-track
PADL Author of Default Rules for Curry within the PADL-track

Share
xThu 23 Mar 08:54
using conf.researchr.org (v1.59.1)
Support page
Sign Up