INESC TEC
INESC TEC
INESC TEC
Search results for:
Filter your results

0 Search results

UNIFY

INESC TEC

About Project

Acronym

UNIFY

Responsible

Nuno Miguel Cardanha Paulino

Status

active

Start

January 10, 2023

End

January 9, 2026

Effective End

--

Global Budget

€249,996.25

Financing

€45,615.00

Members

Team Leaders
Nuno Miguel Paulino
Nuno Miguel Paulino

I received my Master's Degree from FEUP (Faculdade de Engenharia da Universidade do Porto), in Electrical and Computer Engineering. My thesis was titled Generation of Reconfigurable Circuits from Machine Code, a work which continued throughout my PhD in Electrical and Computer Engineering, also at FEUP, and in association with INESC-TEC.

Having completed my PhD thesis, Generation of Custom Run-time Reconfigurable Hardware for Transparent Binary Acceleration, I am now a post-doc researcher with INESC-TEC on the topic of special compilers for hardware, and also an Auxiliary Assistant Professor with the Department of Informatics at FEUP.

João Bispo
João Bispo

I'm a post-doctoral researcher at the SPeCS lab in the Faculty of Engineering, University of Porto. My area of expertise is source-to-source compilers and code generation, and I have done work both in high-level languages, such as MATLAB and C++, and low-level languages, such as assembly and VHDL.

From 2012 to 2015, my main line of research was MATLAB to C compilation, and I was the creator and main developer of the tool MATISSE (specs.fe.up.pt/tools/matisse). Currently I am working on Clava (specs.fe.up.pt/tools/clava), a C++ source-to-source transformation tool based on Clang, as part of the H2020 project ANTAREX (antarex-project.eu) which focus on strategies for autotunning and energy efficiency in HPC.

Previous work includes translation of Perl-Compatible Regular Expressions (PCRE) to HDL, and automatic runtime migration of loops found in MicroBlaze assembly traces to customized hardware (the subject of the PhD thesis).

I've received a Bachelor's degree in Computer Systems and Informatics from the Univ. of Algarve in July 2006, and in July 2012 received the Ph.D. degree from Instituto Superior Técnico (IST), Lisbon, with the thesis “Mapping Runtime-Detected Loops from Microprocessors to Reconfigurable Processing Units”.

Associated Centres

Telecommunications and Multimedia

The Centre for Telecommunications and Multimedia (CTM) welcomes close to 200 members, including at least 100 integrated researchers who carry out scientific work in the fields of communications, Artificial Intelligence, and computer science and engineering. The Centre’s activities cover several Research and Development (R&D) domains: Communications and Electronics Radio Frequency Technologies Optoelectronics Microelectronics Wireless Communication Networks Computer Perception Computer Vision applied to Medical Imaging Computer Vision applied to Digital Media Computer Audio applied to Music With multidisciplinary teams that include dozens of PhDs, CTM is strongly committed to both European and national research projects, as well as consultancy projects with industry.

Telecommunications and Multimedia

Human-Centered Computing and Information Science

The Centre for Human-Centered Computing and Information Science (HumanISE) brings together engineers, scientists, and designers with expertise in Human-Centred Computing (HCC), Computer Science (CS), and Information Science (IS). Interdisciplinarity, one of the Centre’s defining features, fosters the development of software systems, methods, and tools designed to empower individuals and their communities. The excellence and impact of HumanISE’s research, innovation, and consultancy activities allow addressing increasingly complex, volatile, heterogeneous, ambiguous, and uncertain challenges, while ensuring compliance with legal, ethical, and organisational standards and frameworks. Value transfer is achieved through close collaboration with academia and industry partners. HumanISE’s core research areas include Human-Computer Interaction; Computer Graphics and Interactive Digital Media; Information Management and Information Systems; Software Engineering; and Large-Scale and Special-Purpose Computing Systems, Languages, and Tools; as well as Computing for Embedded and Cyber-Physical Systems. HumanISE also explores innovation domains like Earth, Ocean and Space Sciences; Personalised Health Research; Geospatial Information Systems Engineering; and Applied Information Systems and Computing.

Human-Centered Computing and Information Science