Registered user since Fri 9 Oct 2015

Name: Noam Zeilberger

Affiliation: University of Birmingham, UK

Personal website: http://noamz.org/

All Activities

• ERC member in External Review Committee for POPL 2017
• Author of A sequent calculus for semi-associativity within the FSCD 2017-track in FSCD 2017
• Committee Member in Program Committee for Off the Beaten Track 2016
• Committee Member in Program Committee for POPL 2019 Research Papers