Simon Knight, PhD

Software developer applying and integrating research and advanced techniques to build products. My work bridges the gap between high-level intent and low-level execution through formal modeling, deterministic and stochastic simulation, and multi-agent coordination.

Core Expertise

My work centers on building the right abstractions and transformations for complex systems:

Research & Publications

PhD, University of South Australia (2017): Abstractions and Transformations for Automated Data Network Configuration — a compiler-based approach to transform high-level network specifications into multi-platform device configurations. This research led to AutoNetkit, integrated into Cisco’s VIRL platform.

View all projects


View CV PhD Thesis GitHub Connect on LinkedIn to discuss consulting and collaboration