CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
banner bottom

CITI and OutSystems SA launch research partnership

CITI's PLASTIC research team of the Software Principles and Methods Thematic Area and OutSystems SA, a multinational software company based in Portugal, have established a research partnership to work on advanced programming language-based software verification techniques.

CITI, Carnegie Mellon University, OutSystems SA, and LASIGE, are also partners in the Carnegie-Mellon|Portugal lead project INTERFACES, which will be focused on the development of new techniques, based on logics and type systems, and spanning from principles and theory to application and prototype development, for automatically ensuring correctness properties of extensible software applications, such as those generated by OutSystems Agile Platform.

See more on: