You are here: Home Team Sergio Feo-Arenis

Sergio Feo-Arenis


Research Interests

Embedded Systems Verification, Verification of Time-Triggered Protocols, Real-Time Systems, Program Verification, Program Static Analysis.





Consultation Hours

    Please contact me to make an appointment.

    Student Projects and Theses

    If you have an interesting topic and search for an advisor, feel free to ask me.