Carl G. Ritson

Papers

Total Citations

H-Index

About

Carl G. Ritson is a computer scientist whose research sits at the intersection of parallel programming, concurrent systems, and behavioural robotics. His work explores how principled programming architectures can be applied to the complex challenge of building reliable, well-structured robot control systems. Ritson has been a notable advocate for the use of occam-pi, a concurrent programming language rooted in communicating sequential processes (CSP) theory, as a practical tool for teaching and implementing safe parallelism in robotic applications. Among his most recognized contributions is the introduction of occam-pi to undergraduate robotics education at Olin College, where students successfully applied parallel programming techniques to image processing and autonomous behavioral control on mobile platforms. His 2009 work on process architectures for behavioural robotics synthesizes established architectural principles and offers structured frameworks for building correct robotic systems. Ritson's research demonstrates that safe concurrency models are not merely theoretical constructs but genuinely accessible tools for students and practitioners alike. While his citation counts remain modest — with his top works each accumulating 3 citations — his contributions offer meaningful foundational insights for researchers working at the crossroads of concurrency theory and autonomous systems design.