research (8551) programming languages (109) software-defined networks (2)
Cole Schlesinger
Publications
I am an applied scientist in the Automated Reasoning Group at Amazon Web Services. My research focuses on language-based modeling and verification of software systems and networks.