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

Sources201420152016201720182019
Papers in indexed journals212743171512
Proceedings in indexed conferences654855593931
Book Chapters402202

Dissemination and Representation - 2019

Sources2019
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€)
Sources201420152016
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

Sources2014201520162017
PhDs293232-
Concluded PhD theses243-
Senior Researchers232121-
Researchers605668-
R&D Employees0000
Academic Staff23212121
Affiliated Researchers0011
PhD Students--22-

Financial Sustainability