
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
2021
miniKanren
ICFP 2021-profile
View general profile
View general profile