Andrew K. Hirsch - ICFP 2022

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Registered user since Mon 6 Nov 2017

Name:Andrew K. Hirsch

Country:Germany

Affiliation:MPI-SWS

Personal website: http://akhirsch.science

X (Twitter): https://x.com/andrewkhirsch

Research interests:Categorical Semantics, Logics for Security

Contributions

2022

Haskell

Committee Member in Program Committee within the Haskell 2022-track

Show activities from other conferences

ICFP 2022-profile
View general profile