Registered user since Fri 23 Oct 2015
Name:Chris Martens
Bio:
Ph.D. Carnegie Mellon University, 2015
Country:United States
Affiliation:Northeastern University
Personal website: https://www.khoury.northeastern.edu/~cmartens/
Research interests:Programming languages, logic, type systems, logic programming
Contributions
Using general profile