Minsung Cho

Minsung Cho

Minsung Cho

Making languages @ RelationalAI

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.

Experience

RelationalAISoftware Engineer

2025 — Now

2025 — Now

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

Khoury College of Computer SciencesGraduate Researcher

2022 — 2025

2022 — 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

RelationalAIR&D Intern

2024 — 2024

2024 — 2024

Runtime team (now Logic Engine team)

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

Education

Carnegie Mellon University

Bachelor of Science - BS

2018 — 2022

Khoury College of Computer Sciences

Master of Science - MS

2022 — 2025