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 journals2127431715123
Proceedings in indexed conferences6548555939315
Book Chapters4022020

Dissemination and Representation - 2019

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

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