Charlie Murphy



Contact Information

Email: tcm3@cs.princeton.edu
Phone: (609) 258-1822
Cell: (740) 249-5925

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.

My Curriculum Vitae is available here. You can also view some of my current work on Github.

News

9/22
I will also be an Assistant in Instruction (AI) for COS 226 - Algorithms and Data Structures.
8/22
I will be the Assistant in Instruction (AI) for COS 516 - Automated reasoning about software.
6/20
I am an Applied Science Intern with Amazon's S3-ARG group under the mentorship of Serdar Tasiran and Ernie Cohen.
12/18
I will teach MAT 015C (Basic College Math) as part of PTI at the Edna Mahan Correctional Facilty this upcoming semester.
11/18
A Practical Algorithm for Structure Embedding with Zak Kincaid accepted to VMCAI 2019.
09/18
I am again organizing the PL Lunch Seminar Series for this upcoming year.
06/18
I am a research intern at GrammaTech under the mentorship of Vineeth Kashyap.
04/18
I received my Masters of Arts in Computer Science from Princeton University.
Older News
01/18
I passed my General Exams.
01/18
I will be an Assistant in Instruction (AI) for COS 226 - Algorithms and Data Structures.
09/17
I am organizing Princeton's Programming Languages Seminars this year.
08/17
I will be an Assistant in Instruction (AI) for COS 418 - Distributed Systems in the upcoming Fall 2017 semester.
06/17
I'm developing a course on Introduction to Programming / Computational Reasoning for the Prison Teaching Initiative (PTI) in collaboration with Gregory Gundersen, Anders Miltner, Pranjit Kalita, and Irene Fan.
05/17

Publications



2016
Examining the Effects of Key Point Detector and Descriptors on 3D Visual SLAM
Timothy Murphy, David Chelberg (Advisor).
Thesis. Ohio University, 2016.

2014
Development of a Robust Indoor 3D SLAM Algorithm
Timothy Murphy, David Chelberg.
Proceedings of MCURCSM 2014, 15 November. Pgs. 45-52.

Presentations

2018
A Practical Algorithm for Structure Embedding
Charlie Murphy, Zak Kincaid (Advisor). General Exam, January 23.

2016
New Web Interface for Real-Time-Visualization of NOAA Weather Data
Timothy Murphy, Dan Pisut. American Meteorological Society. 32nd Conference on Environmental Information Processing Technologies, January 12.

2015
New Web Interface for Real-Time-Visualization of NOAA Atmosphere Model Data
Timothy Murphy. National Oceanic and Atmospheric Administration (NOAA). NOAA 2015 Science Symposium, July 30.

2015
Developing a 3D Visual SLAM ALgorithm
Timothy Murphy. 2015 Ohio University Student Research and Creative Expo, April 16.
2nd Place Award for EECS Undergraduate Presentation.

2015
Towards the Quantified Self: Fitness bands for Blood Glucose Prediction
Timothy Murphy, Hannah Quillin. 2015 Ohio University Student Research and Creative Expo, April 16. 2nd place Award for Diabetes Related Research Presentation.

2014
Development of a Robust Indoor 3D SLAM Algorithm
Timothy Murphy, David Chelberg. 14th Annual Mid-states Conference on Undergraduate Research in Computer Science and Mathematics, November 15.

Teaching

Fall 2022
Automated Reasoning About Software
Fall 2022
Algorithms and Data Structures
Spring 2019
Basic College Math (PTI -- Edna Mahan Correctional Facility)
Spring 2018
Algorithms and Data Structures
Fall 2017
Distributed Systems

Awards

In 2014, I was a recipeient of the Ernest F. Hollings Scholarship for 2014-2016. More information about this award is available here. In 2013, I received the Benjamin A. Gilman Scholarship to study abroad in the Ukraine; however, due to the rising tensions during that time, the trip was canceled.