header photo

Raquel Araújo de Oliveira



My research interest is centered around model-driven engineering, human-computer interaction, and Formal Methods. In particular, I have great interest on practical application of formal methods to real-world problems. Formal methods is a powerfull tool, real-world problems could take great benefit of them. However, expertise on formal notations and techniques are yet strongly needed, which makes it difficult its usage by non-experts. I currently work on transformation engines from semi-formal models to formal models, and the application of formal techniques to ensure quality of softwares and systems.


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, in the crossroad of three domains: human-computer interaction, formal methods and safety-critical systems. I also received a M.Sc. in Computer Science, in Grenoble, 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.