Chris Martens

Registered user since Fri 23 Oct 2015

Name: Chris Martens

Bio: Ph.D. Carnegie Mellon University, 2015

Postdoc UC Santa Cruz, 2015-2016

Assistant Professor, NC State University, 2016-present

Country: United States

Affiliation: North Carolina State University

Personal website: http://go.ncsu.edu/cmartens

Research interests: Programming languages, computational creativity, autonomous agents, logic, generative methods, automated reasoning

Contributions

HATRA 2020 Committee Member in Organizing Committee within the HATRA-track
Author of Towards Solver-Aided Creativity within the HATRA-track
‹Programming› 2021 Committee Member in Program Committee within the Research Papers-track
GPCE 2019 Committee Member in Program Committee within the GPCE 2019-track
FARM 2018 Committee Member in Program Committee within the FARM 2018-track
DSLDI 2017 Committee Member in Program Committee within the DSLDI 2017-track
ICFP 2018 Committee Member in Selection Committee within the Student Research Competition-track
PLMW 2017 Author of Keynote within the PLMW 2017-track
ICFP 2017 Keynote Speaker of Compositional creativity: some principles for talking to computers within the Keynotes and Reports-track
Off the Beaten Track 2017 Committee Member in Program Committee within the OBT-track
Author of Programming with Epistemic Logic within the OBT-track
Off the Beaten Track 2016 Keynote Speaker of Keynote Talk: Operationalizing Creative Theories within the Off the Beaten Track-track
SPLASH 2015 Panelist of Panel: Graduate School: Why and How? within the PLMW-track