• Sign in
  • Sign up
conf.researchr.org / Andreas Lochbihler
  • CISOSE 2025 profile
  • ICFP 2017 profile
  • POPL 2018 profile
  • POPL 2021 profile
No Photo

Registered user since Fri 10 Feb 2017

Name:Andreas Lochbihler

Contributions

2025

CISOSE

  • Committee Member in Program Committee within the IEEE DAPPS 2025-track

2021

CPP

  • Session Chair of Security, Blockchains, and Smart Contracts (part of CPP 2021)
  • Author of A semantic domain for privacy-aware smart contracts and interoperable sharded ledgers within the Lightning Talks-track
  • Committee Member in Program Committee within the CPP 2021-track

2018

POPL

  • Author of Programming and Reasoning with Infinite Data in Isabelle/HOL. within the TutorialFest-track

2017

ICFP

  • Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 2) within the Tutorials-track
  • Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3) within the Tutorials-track
  • Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL within the Tutorials-track
Share
xTue 13 May 04:58
using conf.researchr.org (v1.69.0)
Support page
Sign Up