معرفی
Gabriel Santos is a Researcher affiliated with the University of Oxford's Department of Computer Science. He is a member of Trinity College, Oxford. His research focuses on automated verification methodologies, with involvement in the FUN2MODEL project under the supervision of Prof. Marta Kwiatkowska. Located at the Wolfson Building on Parks Road, his work addresses critical themes in formal verification and computational modeling.
Professional activities include contributions to automated verification research within the department's broader computational science initiatives. No specific awards, grants, or publications are explicitly detailed in the provided text.
Lab and team affiliations are linked to the Wolfson Building facilities, though specific lab names are not mentioned. Current academic roles emphasize research collaboration within the department's thematic priorities.