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

2025 — NowRelationalAISoftware Engineer

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

2022 — 2025Khoury College of Computer SciencesGraduate Researcher

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

2024 — 2024RelationalAIR&D Intern

2024 — 2024

Runtime team (now Logic Engine team)

•

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

Education

2018 — 2022

Carnegie Mellon University

Bachelor of Science - BS

2018 — 2022

2022 — 2025

Khoury College of Computer Sciences

Master of Science - MS

2022 — 2025