header photo

Raquel Araújo de Oliveira



My research interest is centered around model-driven engineering (MDE), human-computer interaction, and Formal Methods. I have worked on practical application of formal methods to real-world problems, particularly on human-computer interaction issues, on MDE, and on security aspects of computer systems.

I currently work on recent trends of model-driven engineering, such as Low-Code/No-Code platforms, to support the tasks of methods engineers, particularly the task of creating new methods / evolving existing methods.



I joined the UGA Univeristy (Université Grenoble Alpes, France) and the LIG laboratory (Laboratoire d'Informatique de Grenoble)  in the fall of 2021. I integrated the SIGMA research team (Systèmes d'Information - Ingénierie et Modélisation Adaptables). Before that, I worked in the University of Toulouse III (Paul Sabatier University, France) and the IRIT research institute (Institut de Recherche en Informatique de Toulouse) from the fall of 2016, in the ARGOS research team (Advancing RiGOrous Software and System Engineering). Previous to that, I was during almost a year an invited researcher at Queen's University, Canada, within the MASE group (Modeling and Analysis in Software Engineering research). 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, languages, and methods, and applying different project management techniques.