citi banner
Home Page FCT/UNL UNL
  Home Login  
   
banner bottom

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:

  • Computing Systems

  • Software Systems

  • Multimodal Systems

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.

FCT Campus Page Ranking Tool
Research Highlights
Seminars RSS Feed Forthcoming Seminars

bulletFinding kernel concurrency bugs
   By: Pedro Fonseca (Max Planck Institute for Software Systems)
   Wed, 29 Oct 2014, 14h00 ( 5 days to go )
   Computer Systems

bulletCounterfactuals in Logic Programming with Applications to Morality (NOVA-LINCS Seminar)
   By: Luis Moniz Pereira (Departamento de Informática FCT/UNL), Ari Saptawijaya (Departamento de Informática FCT/UNL)
   Wed, 19 Nov 2014, 14h00 ( 26 days to go )
   MultiModal Systems


bullet Sample Research Projects ( more... )

[ BETTY - European Union ]
[ Euro-TM - European Union ]
[ Lx Conventos - FCT / MCTES ]
[ GoBusiness Finance - GoBusiness Finance ]
bullet Recent Graduations ( more... )



bullet Sample Recent Publications ( more... )


CITI News
 
CITI Presentation
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:
15 September 2010:
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.

Consult announcement and project proposals.

30 May 2008:

CITI has been awarded two IBM SURs (Shared University Reasearch)

2007: Cell-based cluster (joint with CENTRIA)

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.


Archived News

 

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:

  • sustaining the international level of its research and dissemination activities, fostering effective networking links not only with the relevant international scientific communities, but also, and very importantly, with related research units at the national level.

  • promoting top quality post-graduate education in Computer Science and Informatics Engineering, with an emphasis on the PhD level, contributing to consolidate an internationally competitive PhD program in Informatics and Computer Science in the host department.

  • leveraging the results and side-effects of its research activities in the general society, with a focus on the professional, industrial and economic levels, by pursuing and expanding existing partnerships and projects with companies in Portugal and abroad.