Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Anne-Kathrin Schmuck
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2021 profile
POPL 2024 profile
Not registered as user
Name:
Anne-Kathrin Schmuck
Country:
Germany
Affiliation:
MPI-SWS
Personal website:
https://wp.mpi-sws.org/akschmuck/
Contributions
2024
VMCAI
Committee Member in Program Committee within the VMCAI 2024-track
Author of Solving Two-Player Games under Progress Assumptions within the VMCAI 2024-track
2021
PLMW
Panelist in Panelists within the PLMW 2021-track
Panelist of Panel: Navigating PhD studies within the PLMW 2021-track
2019
TACAS
Author of Environmentally-friendly GR(1) Synthesis within the TACAS 2019-track
Share
x
Thu 22 May 04:42