- Menu
José Creissac Campos and Michael Harrison, both researchers at INESC TEC High-Assurance Software Laboratory (HASLab), have received an honourable mention with their paper “Modelling information resources and their salience in medical device design”, as part of the Engineering Interactive Computing Systems (EICS) conference, which took place between 21 and 24 June in Brussels.
01st July 2016
Georges Younes, researcher at INESC TEC’s High Assurance Software Laboratory (HASLab) and PhD student in the MAP-i computer science doctoral programme, will participate in the Google Summer of Code 2016, a Google-supported initiative to help students develop open source software.
07th June 2016
European energy project, UPGRID, features INESC TEC as partner
03rd March 2016
On 19 February, INESC TEC organised a workshop on oil exploration and production (E&P).
25th February 2016
The OSSaaS (Operations Support Systems as a Service), a project promoted by PT Inovação/Altice Labs and INESC TEC, has come to an end in January 2016.
17th February 2016
FalarSobreCancro.org is the name of the social network that was created for cancer patients to share experiences and information. The website is public and free, and the goal is to provide a platform for the cancer patient community to interact, namely patients, family members, friends, healthcare professionals, researchers and volunteers.
08th February 2016
Following the signing of a memorandum of understanding between INESC TEC and the National Institute of Informatics (NII), in Tokyo (Japan) in 2014, five INESC TEC researchers had the opportunity to do an internship at the Japanese institution.
02nd February 2016
The project’s name is SafeCloud and will be concluded by 2018.
30th November 2015
Alexandra Silva, associate researcher at INESC TEC’s High Assurance Software (HASLab) and senior lecturer at University College London, received €1.5M worth of funding from the European Research Council to programme complex computer systems, a topic related to software engineering.
27th November 2015
INESC TEC’s High-Assurance Software Laboratory (HASLab) is organised 15th edition of RAMiCS – International Conference on Relational and Algebraic Methods in Computer Science, which took place between 28 September and 1 October, in the city of Braga, Porto.
09th October 2015
The European project SafeCloud (Secure and Resilient Cloud Architecture), from INESC TEC’s High Assurance Software Laboratory (HASLab), has been recently approved with a budget of over three million euros.
20th May 2015
LeanBigData (Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics), a project from INESCTEC’s High Assurance Software Laboratory (HASLab) and Centre for Information Systems and Computer Graphics (CSIG), received the madri+d Award for Best European R&D Cooperation Project.
11th March 2015