Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu

Facts & Figures
High-Assurance Software

Scientific Production

Papers in indexed journals21274317151213
Proceedings in indexed conferences65485559393135
Book Chapters4022020

Dissemination and Representation - 2020

Participations as principal editor, editor or associated editor in journals3
Conferences organized by INESC TEC members6
Participations in fairs/exhibitions2

Activities in R&TD Programs

Value (K€)
National R&D Programmes 00132
EU Programmes 306436340
Other Funding Programmes 090
Total Revenues306445472

Cooperation with Companies, R&D Services and Consulting

Human Capital Valorization

Concluded PhD theses243--
Senior Researchers232121--
R&D Employees00001
Academic Staff2321212117
Affiliated Researchers00117
PhD Students--22--

Financial Sustainability