# Minsung Cho

> Making languages @ RelationalAI

Location: New York, New York, United States
Profile: https://flows.cv/minsung

I work on programming languages, currently tinkering on the internals of RelationalAI's query language. 
Before that I published papers in pure math, PL theory, and software engineering.

I thrive in an environment that rewards ownership and values the humans behind the machine. Let me know if you're making a cool language!

## Work Experience
### Software Engineer @ RelationalAI
Jan 2025 – Present
Logic Engine team

-  Build and own the procedural, imperative extension of our query language
- Maintaining the protocol language that serves as the entry point into our database engine

### Graduate Researcher @ Khoury College of Computer Sciences
Jan 2022 – Jan 2025 | Boston, MA
Programming Research Lab

- Researched and published two first author papers in software engineering (MSR 2024) and programming languages (OOPSLA 2025)
- Won the PLDI 2023 Student Research Competition

### R&D Intern @ RelationalAI
Jan 2024 – Jan 2024
Runtime team (now Logic Engine team)

- Built a reverse compiler for Datalog that surfaces and explains optimizer decisions


## Education
### Bachelor of Science - BS
Carnegie Mellon University
Jan 2018 – Jan 2022

### Master of Science - MS in Computer Science
Khoury College of Computer Sciences
Jan 2022 – Jan 2025


## Contact & Social
- LinkedIn: https://linkedin.com/in/minsung-c

---
Source: https://flows.cv/minsung
JSON Resume: https://flows.cv/minsung/resume.json
Last updated: 2026-04-01