Members

Currently LUAR has a Postdoc, a PHD student, a senior developer , three master students and seven undergraduate students besides other collaborative members.

Sérgio Vale Aguiar Campos

foto_sergio

Sérgio V. Campos has received the bachelors degree in computer science from Universidade Federal de Minas Gerais (Belo Horizonte — Brasil) in 1986, the masters degree in computer science from the same university in 1990 and the Ph.D. degree in Computer Science from Carnegie Mellon University in 1996 on the topic of formal verification of real-time systems. During his Ph.D. he has spent two summers working at Intel performing formal verification of hardware circuits. He has spent one year as a post-doctoral researcher at Carnegie Mellon and is currently an associate professor at the computer science department of Universidade Federal de Minas Gerais. While at UFMG Sergio has worked on various topics such as formal verification of hardware and software, the design and implementation of multimedia systems, scheduling problems and telecommunication network management. His interests include design, analysis and verification of real-time systems, hardware and software in general. More recently Sérgio has been the PI of the “Popular PC” project that developed a low cost computer for the use in remote and underdeveloped areas, which has received significant coverage from international press.

E-MAIL | LATTES | WWW

Alessandra Faria Campos

foto_alessa

Works currently as a Postdoc at Federal University of Minas Gerais – UFMG (Brazil), on a project that addresses Laboratory Data Management and Integration at the Department of Computer Science. She is a Biology Major and earned her Master’s and Undergraduate Degrees at UFMG also, where she has worked on protein analysis and molecular genetics. She has a Doctor’s Degree from UFMG, earned working on Bioinformatics where she acquired extensive experience on database modeling and the SQL language.

E-MAIL | LATTES

Paulo H. S. Batista

minion2

He is a MS student at the Computer Science Department of Federal University of Minas Geraise. He has a Bachelor’ s Degree in Information System from Pontifical Catholic University of Minas Gerais. Paulo has worked at PRODEMGE and CEMIG as a computer specialist. At LUAR he has worked on the systems PRODIS and SIGLa. He is interested in Bioinformatics, Database Management and Modern Web Programming Tecnologies (HTML5, CSS3, Ajax and Javascript).

E-MAIL | LATTES

Fernando Augusto Fernandes Braz

author1

Fernando Braz has master degree in Computer Science at Universidade Federal de Minas Gerais (scholarship by CAPES) on the topics of Model Checking and Systems Biology. He has received the bachelor’s degree in Computer Science from Pontifícia Universidade Católica de Minas Gerais (2010). He also has a technical course in Computer Management at Colégio Técnico de Minas Gerais (2004). He worked at Fundação de Inovação Tecnológica (2010-2011) with software development of solutions for transport systems. He also worked in undergraduate research at the laboratory LICAP (Applied Computational Intelligence Laboratory) in Pontifícia Universidade Católica de Minas Gerais (2008-2010) developing a satisfability solver for Stalmarck’s proof procedure. He has been interested in software development, modelling and verification of formal models and bioinformatics.

E-MAIL | LATTES | WWW

Lucas Augusto Ferreira Hanke

hanke

Undergraduate student majoring in Control and Automation Engineering at Universidade Federal de Minas Gerais. At LUAR, Lucas is working with the development of LIMS and construction of workflows applied to bioinformatics. He is interested in software development, databases and bioinformatics.

E-MAIL | LATTES

Cássia do Carmo Vieira

foto_cassia

Cássia Vieira is doing the master’s course in Computer Science at Universidade Federal de Minas Gerais on the topics of Systems Biology. She has a Bachelor’s Degree in Information System from Universidade Federal de Minas Gerais (2012). She also has a technical course in Industrial Computers at Centro Federal de Educação Tecnológica de Minas Gerais (2006). She worked at Teknisa Software (2007-2008) with software development of solutions for food systems. Today she works at Tribunal de Justiça do Estado de Minas Gerais since 2008 with software development, data quality and justice statistics. She has been interested in software development, datamining and bioinformatics.

E-MAIL | LATTES

Vinícius Garcia

vinicius

Studies Computer Science at Universidade Federal de Minas Gerais. Complementary studies were made on Psychology. Is interested in all kind of Natural and Programming languages, human cognitive processes and philosophy. Has worked as a co-owner on a software development enterprise acting mostly on the project management and administration areas. At LUAR Vinícius is working mostly on data-mining.

E-MAIL | LATTES

Jerônimo Nunes Rocha

Sem título

Majoring in Computer Science at Universidade Federal de Minas Gerais, concluded High school at Instituto Federal de Minas Gerais, integrated in a course of Support and Maintenance in Informatics. Won an award at the Brazilian Olympics of Mathematics of the Public Schools between 2006 and 2009 and between 2011 and 2012. Joined a program and a project of scientific initiation, speaks english, and is skilled with networks, servers and support in the are of IT

E-MAIL | LATTES

Philippe Magno Alves de Menezes

264025_506794149349888_1747957075_n

Obtained a bachelor’s degree in Information Systems at Centro Universitário Newton Paiva. For about 3 years develops in Java, currently working in the development of a LIMS. Has an interest in software architecture, frameworks, and in the WEB Platform.

E-MAIL | LATTES

Gabriel Henrique Silva Teixeira

1M1cEwis

Gabriel is a student of Library Science and Informatio Science with an emphasis on Information Technologies at Universidade Federal de Minas Gerais. Previously, studied Information Systems at the same university, where he decided to change courses. Has had an internship at ArcelorMittal Sistemas, where he took part in implementations of projects in the area of IT in the administrative headquarters of the group. Has also been the coordinator of IT in a distributor from Belo Horizonte, and today is an intern at LUAR, working in a project related to LIMS. Has an interest in the area of Information Management and is an Android enthusiast.

Sávio Carlos Martins Costa

savio-foto

Studies Physics at the Universidade Federal de Minas Gerais. He is computer technician from Instituto Federal de Minas Gerais. He is interested in the study of materials, electronics and computing in general. In LUAR, works in the development of an LIMS (Laboratory Information Management System) application on Android platform.

E-MAIL | LATTES

Fernanda Tempesta Batista

fernanda-tempesta

Completed the “Computer Technician” course at the Federal Center of Technological Education of Minas Gerais. Participated in the Junior Scientific Initiation “Solving systems of linear equations using parallel computing,” and is currently studying Computer Science at the Federal University of Minas Gerais and works in the LUAR laboratory.

E-MAIL | LATTES

Arthur de Senna Rocha

arthur

Student of Systems Engineering at the Federal University of Minas Gerais (UFMG). Participated in an exchange program with duration of one year (2011/2012) in Canada. Is interested in software development and database administration. On LUAR he works with workflow development.

E-MAIL | LATTES

A list of members and collaborators that used to be part of LUAR can be found here.