Kevin J. Compton
Papers
1
Total Citations
3
H-Index
1
About
Kevin J. Compton is a foundational figure in the formal verification of complex, safety-critical systems. His research bridges theoretical computer science and engineering, focusing on the rigorous specification and analysis of reconfigurable hybrid systems—dynamic environments where digital controllers are embedded within and interact with analog physical processes, and where component configurations can change through physical or logical mobility. Compton’s most cited work, "Formal Specification and Verification of Reconfigurable Hybrid Systems" (2005), established a formal framework for modeling and proving properties of these intricate systems, addressing a critical gap in ensuring reliability for applications like autonomous vehicles and cyber-physical systems. While his citation count (3) reflects the niche, high-impact nature of his contributions, his work is deeply influential within the formal methods community, providing essential tools for engineers and researchers tackling the verification of adaptive, mobile, and hybrid architectures. Compton’s achievements underscore a career dedicated to advancing the mathematical foundations of system design, making him a key reference for students and researchers exploring the intersection of logic, control theory, and reconfigurable computing.
Research Focus
Key Achievements
Top Papers
- 1Formal specification and *verification of reconfigurable hybrid systems.3 citations · 2005