Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu

Facts & Figures
High-Assurance Software

Scientific Production

Sources20142015201620172018
Papers in indexed journals2127431715
Proceedings in indexed conferences6548555939
Book Chapters40220

Dissemination and Representation - 2016

Sources2016
Participations as principal editor, editor or associated editor in journals6
Conferences organized by INESC TEC members16
Participations in Program Committees of international events61
Participations in fairs/exhibitions17

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