header photo

Raquel Araújo de Oliveira



I joined the University of Toulouse III (Paul Sabatier University, France) faculty in the fall of 2016, also integrating the Institut de Recherche en Informatique de Toulouse (IRIT), in the ARGOS research team (Advancing RiGOrous Software and System Engineering). Previous to that, I was a researcher at Queen's University, Canada (invited researcher in 2016), within the Modeling and Analysis in Software Engineering research group (MASE). I received a Ph.D in Computer Science in 2015 in Grenoble, France, where I also received an M.Sc. in Computer Science, in 2012.

Before that, I worked in several software companies in Brazil, integrating different software development teams, using a number of development tools and languages, and applying different project management techniques.


My research interests are Model-Driven Engineering, Human-Computer Interaction, and Formal Methods. I did my Ph.D at two research groups in LIG (Laboratoire d'Informatique de Grenoble): EHCI (Engineering Human-Computer Interaction) and Convecs (Construction of Verified Concurrent Systems). LIG is a research laboratory at the University of Grenoble Alpes. My Ph.D thesis was in the crossroad of three domains: human-computer interaction, formal methods and safety-critical systems.

I currently work on the usage of formal notations to the specification of interactive systems; the formalization of user interfaces; transformation engines; and the application of formal techniques to ensure quality of softwares and systems.