Paulo Flores is Professor on the Electrical and Computer Engineering Department (DEEC) at the Instituto Superior Técnico (IST) from the Universidade de Lisboa (ULisboa).
During years 2015 and 2016 he was co-Coordinator of the Master in Electrical and Computer Engineering (MEEC).
Currently he is teaching/responsible by the following master degree classes:

• Algorithms and Data Structures
• Digital Systems Design
• Introduction to the Research in Electrical and Computer Engineering
• Master Dissertation in Electrical and Computers Engineering

He got his Ph.D. and M.Sc. degrees in Electrical and Computer Engineer in 2001 and 1993, respectively, from the Technical University of Lisbon. Both dissertations were in the area of Computer Aided Design for Micro-Electronic covering VHDL synthesis, and algorithms for optimization problems in testing of digital circuits and systems based on satisfiability tools and techniques.

He is also a senior researcher at the Instituto de Engenharia de Sistemas e Computadores: Investigação e Desenvolvimento em Lisboa (INESC-ID) in the ALGorithms for Optimization and Simulation group (ALGOS group). Paulo Flores main research interests include:

• Optimization models and algorithms for design and analysis of hardware and software;
• Parallel algorithms and computation environments (GRID, GPUs, Multicores) applied to Electronic Design Automation (EDA) problems;
• Embedded systems, dedicated and reconfigurable architectures (FPGAs);
• Synthesis of digital circuits from VHDL, C/C++, SystemC, etc;
• Satisfiability (SAT) and Integer Linear Programming (ILP) models and algorithms;
• Formal Verification of digital circuits;
• Automatic Test Pattern Generation (ATPG) and Built-In Self Test (BIST).

Last edited:: June 27. 2017 12:45:42