Charlie Murphy

I am a Ph.D. student at Princeton University studying Computer Science. I received my BS in Computer Science from Ohio University's Honors Tutorial College in 2016.

I am interested in Programming Languages and Software Verification with an emphasis on logics and algorithms for verification of concurrent systems. I also have a broad interest in the fields of Artificial Intelligence, Computer Vision, and Robotics. My Curriculum Vitae is available here. You can also view some of my current work on Github.

Contact Information

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

News

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

2017

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

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.

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.