Romanelli
Romanelli
Romanelli Lodron Zuim received his BS in Electrical Engineering in 1985 from the Pontifícia Universidade Católica de Minas Gerais (PUC Minas), Belo Horizonte, Brazil, BS in Mathematics, M.Sc. and Ph.D. in Computer Science in 1986, 2000 and 2007, respectively, from the Universidade Federal de Minas Gerais (UFMG), Belo Horizonte, Brazil.
Are you interested in starting research? Contact me.
Teaching
Computer Architecture II (Undergraduate Program in Computer Science)
Computer Architecture II (Undergraduate Program in Computer Engineering)
Research Interest
Computer Architecture
Reconfigurable Architecture
Satisfiability
SAT Solvers
Formal Verification