Daniel is a Principal Software Engineer at Red Hat, working in the real-time team. He researches the run- time behavior of Linux, both from the logical perspective, with run-time verification and timing perspective, with real-time analysis. He is a member of the Real-time System lab at Scuola Superiore Sant’Anna, Pisa – Italy.