Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Charlie Murphy

Registered user since Tue 11 Dec 2018

Name: Charlie Murphy

Bio: I am a Ph.D. candidate at Princeton University studying Computer Science. I received my BS in Computer Science from Ohio University’s Honors Tutorial College in 2016 and my MA in Computer Science from Princeton University in 2018.

My primary research interests lie in Programming Languages, Automated Reasoning, and software verification with an emphasis on design and analysis of logics, solvers, and algorithms for automated or semi-automated reasoning of concurrent and distributed systems. Additionally, I have a broad interest in machine learning, artificial intelligence, and statistical inference and how it may be incorporated with more logical / sound reasoning principles.

Country: United States

Affiliation: Princeton University

Personal website: http://www.cs.princeton.edu/~tcm3/

Research interests: Programming Languages, Formal Methods, Software Verification

Contributions

VMCAI 2019Author of A Practical Algorithm for Structure Embedding within the VMCAI 2019-track
Show activities from other conferences

Using general profile