Research & engineering New York

Kanav Arora.

Kanav Arora

Building AI systems that can do
useful, difficult work.

I’m a computer science master’s student at Columbia. My work spans agent infrastructure, formal verification for chip design, and language-model research. Previously at ChipAgents, HPE, Cisco, and Jio.

UCSB Computer Science Student of the Year · 2025 ↗

Selected work

01 — 03
01

Engineering · ChipAgents

From an agent harness to chip verification.

Helped build the core CLI for semiconductor engineering, including long-horizon execution, tool integration, and context management. Later led the formal-verification product from concept through customer deployment and adoption.

02

Research · UCSB NLP Lab

Can language models help groups agree?

Co-authored Investigating Language Models for Supporting Complex Group Decisions, studying how reasoning models, feedback, and search affect agreement and fairness.

03

Community · ACM at UCSB

A technical community, built from zero.

Founded and co-led ACM at UCSB, growing a 550+ member community around research, building, and learning together.

Background

A little context

Columbia University

M.S. Computer Science
Expected May 2027

UC Santa Barbara

B.S. Computer Science · 2026

CS Student of the Year, 2025 ↗

Before Columbia

Research and engineering at ChipAgents, HPE, Cisco Webex AI, and Reliance Jio. Research at UCSB’s NLP and Bionic Vision labs.

More about me →

Interested in agents, research,
or building something useful?

Let’s talk ↗