The Center for Informatics and Information Technologies ( Centro de Informática e Tecnologias da Informação - CITI ) is a research institute partially funded by the Portuguese National Science Foundation (Fundação para a Ciência e Tecnologia) and by the New University of Lisbon, Faculty of Sciences and Technology, Department of Informatics (DI/FCT/UNL), where it is located since its foundation in 1997.
CITI develops basic and applied research in Computer Science and Engineering and Informatics. The research agenda of CITI is currently focused on the development of new principles and engineering for Networked Software Services and Media, combining the activities and expertise of our three thematic research groups:
Ongoing research work is currently organized in various goal-directed project-teams. CITI is also involved in several international collaboration networks and projects, including the Carnegie-Mellon Portugal Program, and the UT-Austin Portugal Program.
A General Proof System for Modalities in Concurrent Constraint Programming
By: Carlos Olarte (Universidad Javeriana)
Wed, 12 Jun 2013, 14h00 ( 18 days to go )
Sample Research Projects ( more... )
( more... )
Sample Recent Publications ( more... )
[ Transforming Creative Requirements into a Conceptual Model - May, 2013 ]
[ Searching Private Data in a Cloud Encrypted Domain - May, 2013 ]
5 October 2012
Paper accepted at POPL'2013, co-authored by CITI researchers Luis Caires and Joao Seco. POPL is the world level top conference on principles of programming languages.
15 September 2012
ERC Starting Grant Dependable Cloud awarded to CITI Computer Systems PI Rodrigo Rodrigues. Congratulations, Rodrigo!
23 July 2012:
New paper accepted at OSDI'2012, co-authored by CITI researchers Rodrigo Rodrigues and Nuno Preguiça. OSDI is the world level top most venue in operating systems research.
15 June 2012:
Europar 2012 distinguished paper award goes to CITI research team. Congrats to João Lourenço, Ricardo Dias, and Tiago Vale!
7 June 2012:
CITI involved in recently approved UE funded cost action BETTY on behavioral type systems, initiative locally led by Antonio Ravara.
5 June 2012:
CITI 2012 Annual Workshop with the External Advisory Board.
10 July 2011:
New partnerships within academia and industry, CITI executive summary appears at Public Service, European Union 22.
10 June 2010:
CITI involved in recently approved cost action ARTS on road transportation support systems based on autonomic computing.
21 May 2011:
CITI team leading Carnegie-Mellon|Portugal INTERFACES project cooperates with OutSystems R&D team to deliver high-tech security solutions for agile software development.
17 April 2011:
CITI hosts International Workshop on Behavioral Types. 40 key researchers in the field, from all over the world, discuss the state of the art in type based analysis of the behavior of software systems.
10 January 2011:
CITI Workshop with the External Advisory Board.
2 October 2010:
CITI@DI PhD Student Davide Navalho nominated for Fraunhofer Portugal Challenge 2010.
15 September 2010:
CITI@DI PhD Student Rossana Santos gets Best paper Award.
30 June 2010:
Outsystems and CITI collaborate to produce innovation in web application security, in the context of the CMU-Portugal project INTERFACES (ComputerWorld, 24 Jun 2010).
10 June 2010:
CITI involved in three new international projects, in the areas of multimedia media and software transactional memory.
3 March 2010:
OutSystems SA engineering kickoff 2010 meeting at FCT/UNL hosts invited talk by CITI PLASTIC team researcher João Seco, on "Programming Language Techniques for Software Validation".
1 March 2010:
2 February 2010:
1 December 2009:
10 October 2009:
1 October 2009:
15 September 2009:
New CITI regulations and functional structure formally approved by FCT MCTES. CITI mission is to develop internationally competitive research activities in Software Systems, Computing Systems and MultiModal Systems, operationalized in several goal-directed research-teams.
1 July 2009:
CITI Undergraduate Research Opportunities Program
CITI offers scholarships aimed at introducing undergraduate students (1st cycle) to research activities, funded under the FCT MCTES BII program.
30 May 2008:
CITI has been awarded two IBM SURs (Shared University Reasearch)
2004: Xeon-based shared disk cluster
19 May 2008:
7 Jan 2008:
CITI 2003-2006 Evaluation Review Meeting
CITI presented the 2003-2006 Activity Report to the international evaluation panel (Adel Razek, coordinator; Luigia Carlucci-Aiello, Paolo Ienne, Thierry Priol), in the context of the 2007 I&D Evaluation Exercise conducted by FCT/MCTES.
The mission of CITI is to produce new scientific knowledge in the fields of Computer Science, Informatics Engineering, and Information Technology, and contribute to its dissemination and use in the society. We focus our research activities on foundations and engineering for Networked Software Services and Media.
Towards sustaining this long term general objective, and keep consolidating as a reference research unit in its field, at the national and international level, CITI is committed to the following three related subgoals: