Prof. Dr. Daltro Nunes
Short bio: Daltro José Nunes is the head of the Secretariat of Institutional Assessment (SAI) and an invited professor at UFRGS. He has a doctor degree in Informatic from Institut für Informatik, Universität Stuttgart, Germany, a M.Sc. degree in Informatics from PUC, Rio de Janeiro, Brazil, and graduated in Electric Engineering at Escola de Engenharia, UFRGS, Porto Alegre, Brazil. His main research areas are formal methods and theory of computation.
Prof. Dr. Érika Cota
Short bio: Érika Cota is an associate professor in the Computer Science Department at Federal University of Rio Grande do Sul (UFRGS). Her research interests include software testing, testing and design for test of embedded systems, and hardware testing. Dr. Cota has a BS in computer science from the Federal University of Minas Gerais (UFMG), and an MS and a PhD in computer science from Federal University of Rio Grande do Sul.
Prof. Dr. Ingrid Nunes
Short bio: Ingrid Nunes is a Professor Adjunto (Associate Professor) of the Instituto de Informática at the Federal University of Rio Grande do Sul (UFRGS), Porto Alegre, Brazil, and the head of the Prosoft research group. She completed her undergraduate studies in Computer Science at UFRGS (2006), obtained her Master’s degree in Informatics at the Pontifical Catholic University of Rio de Janeiro (2009), and obtained her Doctor’s degree in Informatics at the Pontifical Catholic University of Rio de Janeiro (2012). Her phd was in cooperation with King’s College London (UK), under a sandwich Ph.D. programme of one year, and with University of Waterloo (Canada), with three three-month research visits. She was also a post-doc researcher at PUC-Rio in the Software Engineering Laboratory (LES) (2012), and has experience in the industry, where she worked as a software developer from 2005 to 2007. She is a section editor of the Scientific Initiation Magazine (REIC). Her main research areas are software architecture, agent-oriented Software Engineering, and model-driven Development.
Prof. Dr. Leandro Wives
Short bio: Leandro Krug Wives – Associate professor at Federal University of Rio Grande do Sul (UFRGS), where he develops research in the fields of information retrieval, recommender systems, (semantic) web services discovery, integration and matchmaking. Leandro is particularly interested in Architectures and Frameworks for Web 2.0 Application Development. He got a Ph.D degree in Computer Science from (UFRGs). He participated in many research projects in collaboration with France, Spain and Portugal, the most recent involving Context-Awareness, Business Process Management, Ontology, Web services and Cloud Computing.
Prof. Dr. Leila Ribeiro
Short bio: Leila Ribeiro is a Full Professor at the Department of Theoretical Informatics of INF/UFRGS. She received the Bachelor 1988 and MSc Degrees in Computer Science at UFRGS in 1888 and 1991, respectively, and the PhD Degree in Computer Science at the Technical University of Berlin in 1996. She coordinated several scientific projects involving research institutions from Brazil and abroad, and is the leader of the VeriTeS Group (Group on Verification, Validation and Test of Computational Systems). She is a member of the IFIP Working Group 1.3 (Foundations of System Specification).
Her main research interests are modelling and analysis of complex systems, models of computation, formal specification and verification, concurrent systems and bioinformatics.
Prof. Dr. Lucinéia Thom
Short bio: Lucinéia Heloisa Thom is an associate professor with Informatics Institute at Federal University of Rio Grande do Sul, UFRGS (Brazil). From 2010 to 2011 she was a visiting Scientist at the University of Grenoble. Before, she was a visiting Scientist at the University of Ulm (2007-2009). She received her Bachelor’s in Computer Science from the University of Santa Cruz do Sul, Brazil (1999); her Master’s in Computer Science from UFRGS (2002); and her PhD in Computer Science from UFRGS (2006). She developed part of her thesis research at the Institute for Parallel and Distributed Systems of the University of Stuttgart (2004-2005). Her research interests are in the area of Business Process Management and workflow with a special focus on workflow patterns, process design, IT support for healthcare processes and ontology. In these fields she has many published papers and is involved in several PCs. She has also participated in the organization of several events such as the Brazilian largest workshop in Business Process Management (WBPM 2013) and the 5th International Workshop on Process Model Collections: Management and Reuse (PMC-MR’14) from the most important conference in Process Management the BPM 2013. She is co-chair of the First Latin American School on Business Process Management (LAS-BPM 2015).
Prof. Dr. Lucio Duarte
Short bio: Lucio Mauro Duarte is a Senior Lecturer at the Department of Theoretical Computer Science of the Institute of Informatics of the Federal University of Rio Grande do Sul (UFRGS), where he teachs Algorithms and Software Verification. He holds a Ph.D. degree in Computing (Imperial College London, University of London) and his main research areas are Validation and Verification of Systems, Software Testing, and Software Modelling. His web page is www.inf.ufrgs.br/~lmduarte.
Prof. Dr. Luís Lamb
Short bio: Luis Lamb is Professor and Dean of the Institute of Informatics (2011-2015), Federal University of Rio Grande do Sul. He was Deputy Dean of the Institute of Informatics at UFRGS from August 2006 to October 2011. He holds a Ph.D. in Computing Science from Imperial College London (2000), the Diploma of the Imperial College, MSc by research (1995) and BSc in Computer Science (1992) from the Federal University of Rio Grande do Sul, Brazil. In 2010 he received the MIT Executive Certificate in Strategy and Innovation and in 2014 he received the MIT Executive Certificate in Management and Leadership. He is Honorary Visiting Fellow at the Department of Computing, City University London and was Visiting Research Fellow, Abductive Systems Group, Department of Philosophy, University of British Columbia. His research interests include Logic in Computer Science, Social Computing and Formal Methods in Embedded Software.
Prof. Dr. Marcelo Pimenta
Short bio: Marcelo S. Pimenta is an Associate Professor at Institute of Informatics, Federal University of Rio Grande do Sul (UFRGS), in Brazil. He received his PhD in Informatique at Université Toulouse 1, France, in 1997 and the bachelor and master’s degree in Computer Science at UFRGS in 1988 and 1991, respectively. Since 1998, he is member of a multidisciplinary research group at UFRGS working with topics in Human-Computer Interaction, Software Engineering, and Computer Music with emphasis in the integration of these areas. Member and founder of the Ubiquitous Music Group (g-ubimus), currently his research focuses on ubiquitous music, collaborative design, adaptive interfaces, digital governance and user-centered software engineering.
Prof. Dr. Rodrigo Machado
Short bio: Rodrigo Machado is a Professor Adjunto at the Institute of Informatics of the Federal University of Rio Grande do Sul since 2012. Rodrigo received its Doctorate from the Postgraduate Program in Computer Science / UFRGS. His research interests include functional programming, semantics of programming languages, type systems and formal methods in software development, in particular algebraic graph rewriting. He is currently interested in the development of theory and tools to specify software evolution, in particular for rule-based software models.
