Experience

Galois, Inc.
• United States
• Software Development
• 1 - 100 Employee
• Research Engineer

  • Jan 2023 - Present

Akita Software
• United States
• Software Development
• Founding Research Engineer

  • Apr 2020 - Dec 2022


Amazon Web Services

• IT Services and IT Consulting
• 1 - 100 Employee

• Senior Software Engineer

  • Jul 2018 - Apr 2020

  Developing tools for automatically analyzing and reasoning about the security of AWS deployments. Developing tools for automatically analyzing and reasoning about the security of AWS deployments.



Barefoot Networks

• United States
• Computer Networking Products
• 1 - 100 Employee

• Research Engineer

  • Oct 2016 - Jun 2018

  Developing the P4 language, compiler, and toolchain to enable more robust and efficient programming for packet-processing pipelines. Developing the P4 language, compiler, and toolchain to enable more robust and efficient programming for packet-processing pipelines.



Samsung Research America

• United States
• Software Development
• 400 - 500 Employee

• Research Scientist

  • Jul 2015 - Oct 2016

  Developed new tools, analyses, and optimizations for JavaScript, home automation for the Internet of Things, and software-defined networks that had practical internal impact as well as academic publications. Developed new tools, analyses, and optimizations for JavaScript, home automation for the Internet of Things, and software-defined networks that had practical internal impact as well as academic publications.



Microsoft

• United States
• Software Development
• 200 - 300 Employee

• Research Intern at Microsoft Research

  • Jun 2014 - Sep 2014

  Developed a new language for configuring software-defined networks with quality of service primitives, along with an analytical framework for verifying QoS properties like bounding maximum jitter, estimating congestion-based losses, or calculating maximum delay. Developed a new language for configuring software-defined networks with quality of service primitives, along with an analytical framework for verifying QoS properties like bounding maximum jitter, estimating congestion-based losses, or calculating maximum delay.

• Research Intern at Microsoft Research

  • Jun 2011 - Sep 2011

  Under the mentorship of Nikhil Swamy in the Research in Software Engineering (RiSE) group, Cole developed the Dijkstra State Monad, a variant of the Hoare State Monad based on predicate transformers, and an associated type inference algorithm for automated verification of stateful, higher-order programs. Under the mentorship of Nikhil Swamy in the Research in Software Engineering (RiSE) group, Cole developed the Dijkstra State Monad, a variant of the Hoare State Monad based on predicate transformers, and an associated type inference algorithm for automated verification of stateful, higher-order programs.



W.E.B. DuBois Scholars Institute-Princeton University Campus (Summer Program)

• Education Administration Programs
• 1 - 100 Employee

• Instructor

  • Jun 2010 - Jul 2010

  Taught a condensed version of a freshman-level, introductory computer science course, covering basic hardware and software systems, basic algorithms and data structures, and programming in Java. Taught a condensed version of a freshman-level, introductory computer science course, covering basic hardware and software systems, basic algorithms and data structures, and programming in Java.



GrammaTech

• United States
• Software Development
• 1 - 100 Employee

• Software Engineer

  • May 2005 - May 2009

  Designed and implemented research prototypes leveraging GrammaTech’s static-analysis platform under grants from the US government’s SBIR program. Draft- ed funding proposals for developing immature static-analysis technologies into marketable tools. Designed and implemented research prototypes leveraging GrammaTech’s static-analysis platform under grants from the US government’s SBIR program. Draft- ed funding proposals for developing immature static-analysis technologies into marketable tools.



Ithaca College

• United States
• Higher Education
• 700 & Above Employee

• Student Network Technician

  • Sep 2002 - Jan 2004

  Assisted with end-to-end network maintenance, ranging from fixing damaged network jacks in classrooms and offices to programming Cisco switches.

• Research Assistant

  • May 2003 - Sep 2003

  Assisted Dr. Wanda Dann in developing pedagogical material related to the Alice Project (alice.org).