Joaquin Aguado

Joaquin Aguado is a Lecturer in the Department of Computer Science at Constructor University Bremen, Germany. He is affiliated with the School of Computer Science & Engineering and contributes to academic programs such as Computer Science, Software Data and Technology, and Robotics and Intelligent Systems.

His research focuses on synchronous programming, deterministic concurrency, and formal semantics. Key areas of interest include compositional timing analysis, SCCharts for safety-critical applications, and constructive scheduling frameworks. His work bridges theoretical computer science with practical applications in embedded systems and real-time computing.

Selected publications highlight his contributions to synchronous reactive multithreading, dataflow programming strategies, and conformance testing of distributed systems. These include titles like "Synchronised Shared Memory and Model Checking" and "SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications".