Name:Cole Schlesinger

Bio:

I have joined the advanced programming tools research team at the Computer Science Innovation Center of Samsung Research America.

Until recently, I was a Ph.D. student in the Programming Languages group of the computer science department at Princeton University, advised by David Walker.

My research focus lies in applying tools and techniques from the programming languages community to modeling and analyzing software-defined networks. In particular, I’m interested in developing intermediate languages and compilation techniques for targeting different kinds of networking hardware, like Barefoot’s RMT, Intel’s FlexPipe, and Cisco’s Doppler switches.

Affiliation:Samsung Research America

Research interests:Programming Languages, Software-defined Networking, Formal Methods