SPLASH 2021 (series) / 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 2021 | Session Chair of Type Systems (part of HATRA 2021) Committee Member in Organizing Committee within the HATRA 2021-track | ||||||||||||||||||||||||||||||||||||||||
| SPLASH 2021 | HATRA | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2021-profile
View general profile
View general profile