Write a Blog >>
LCTES 2017
Wed 21 - Thu 22 June 2017 Barcelona, Spain
co-located with PLDI 2017
Cole Schlesinger

Registered user since Fri 23 Oct 2015

Name:Cole Schlesinger
Bio:

I am a research engineer with the Advanced Programming Tools team at Samsung Research America. My research focuses on linguistic modeling and verification of software systems and networks.

Prior to joining SRA, I received a Ph.D. from Princeton University, advised by David Walker.

For past and ongoing projects, please visit: http://www.schlesinger.tech

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

Contributions

Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile