Promo

News

KLEE is the new HASLab research project

FCT competition accepted KLEE, Coalgebraic Modeling and Analysis for Computational Synthetic Biology as the new HASLab research project, which aims the development of  coalgebraic models for synthetic biology.

José Creissac Campos joins the College of Assessors of New Zealand Ministry of Business, Innovation and Employment

José Creissac Campos, a professor at the University of Minho and a senior researcher of HASLab/INESC TEC, was nominated a member of the College of Assessors of New Zealand Ministry of Business, Innovation and Employment (MBIE).

Carlos Baquero joins Redis Labs’ Technical Advisory Board as CRDTs Expert

Carlos Baquero, an assistant professor at the University of Minho and a senior researcher of HASLab/INESC TEC, joins the Redis Labs’s Technical Advisory Board as CRDTs expert.