Sergio Feo-Arenis
|
Sergio Feo-Arenis
University of FreiburgGeorges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-021 |
Research Interests
Embedded Systems Verification, Verification of Time-Triggered Protocols, Real-Time Systems, Program Verification, Program Static Analysis.
Projects
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.