Sergio Feo-Arenis

Sergio Feo-Arenis is a Researcher at the Department of Informatics, University of Freiburg, affiliated with the Software & Systems Theory (SWT) group. His research focuses on Embedded Systems Verification, Real-Time Systems, and Formal Methods, with expertise in Program Verification and Static Analysis. He contributes to the Salomo project and has published extensively in areas like timed automata and network protocols.

Teaching responsibilities include courses such as Program Verification, Cyber-Physical Systems, and Software Engineering, spanning undergraduate and graduate levels. He has advised numerous student projects and theses, emphasizing practical applications of theoretical concepts.

Research highlights include formal verification of data aggregation protocols, GPU-accelerated model checking, and semantic layer development for aerospace systems. His work bridges theoretical computer science with industrial applications, ensuring compliance with safety-critical standards.

Key projects include Salomo, exploring parametric analysis models, and contributions to interdisciplinary system design. Consultation hours require appointment scheduling via email.