Luís Caires

Associate Professor (Habil.) at the Departmento de Informática, FCT / Universidade Nova de Lisboa.
Director of CITI (Center of Informatics and Information Technology), Member of Software Principles and Methods.
Member of EATCS, ACM, ICTI (CMU|Portugal).
Member of IFIP TC-2 WG 2.2 Formal Description of Programming Concepts (established 1964).

"Loosely speaking, informatics is a synonym for computer science, and hence informatician is a synonym for computer scientist. The "info" words have an advantage: they express the insight that informatic behavior is wider than what computers do, or what computing is." - Robin Milner.

E-mail :
Room : P2/13 (CITI Building)
Phone : Office - (+351) 21 294 85 36, Ext. 10719; Fax - (+351) 21 294 85 41); Home - (+351) 21 840 28 25

My research interests:
  • Software Construction, Environments and Tools;
  • Programming Languages, Calculi, Logics and Types;
  • Concurrency, Distribution, Mobility, Security;

Software: A Spatial Logic Model Checker v1.14

Talks: Kurt Godel and Computer Science (in PT)

We are looking forward to discuss projects appropriate for BSc, MSc and PhD work, in the context of ongoing or prospective research activities, related to software foundations and technology, with a focus on the topics listed on the left.

Drop me an email if you are interested to know more about it.

My main ACM subjects:

D.3 Programming Languages; F.3 Logics and Meanings of Programs; F.4 Mathematical Logic and Formal Languages

Some Publications

Dual Degree PhD Program in Computer Science / Informatics with Carnegie-Mellon School of Computer Science (CMU-Portugal Partnership)
Godel Centenary Seminars at FCT/UNL
A Concentration of the FCT/UNL MSc in Computer Science and Engineering: Software Construction and Analysis
Protocolo Microsoft / UNL (Contacte-me para mais detalhes / Contact me for details)

Events:

CONCUR'10 (PC Member)
FACS'10 (Invited Speaker)
SOFT-PT'10 (PC Chair)
PSPL'10 (PC Member)
CONCUR'09 (PC Member)
FoSSaCS 2009 (PC Member)
OOPS 2008 (PC Member)
TGC'07 (PC Member)
EXPRESS'07 (PC Member)
CONCUR'07 (PC co-chair)
CALCO'07 (Invited Speaker)
LIX Colloquium on Emerging Trends in Concurrency Theory
GLOBAN'06 Summer School (Lecturer)
FMCO'05 (Invited Speaker)
CONCUR'05 (PC Member)
ICALP'05 (Organizing co-chair)
TGC'05 (Invited Speaker)
FoSSaCS'05 (PC Member)
WADT'04 (Invited Speaker)
LRPP'04 (PC Member)
MFPS XVIII (2003) (Invited Speaker)

Projects:

Running:

INTERFACES (Carnegie-Mellon|Portugal NGN 44 - 2009-2012)
StreamLine (PTDC/EIA-CCO/104583/2008 - 2010-2012)
Assertion Types (PTDC/EIA-CCO/105359/2008 - 2010-2012)

Recent:

IP Sensoria (EU IST FP6 - 2005-2010)
SpaceTimeTypes (POSI/EIA/55582/2004-2008)
ComponentGlue (Microsoft Research Grant 2002-73)
SecureSpace (GRICES/MCTES/CNRS 2007-2008)
FAST (POSI 32717/2000)
DataBricks (POSI 33924/2000)
POLY (POSI 34398/2000)
FET Profundis (FET IST 2001-33310)
APPSEM II IST Working Group on Applied Semantic

Digressions (for fun ...)

My Computer Science Genealogy and beyond ...

Cast of Spatial Logicians

Erdös (#4): Caires::Cardelli::Scedrov::Blass::Erdös

Current graduate students:

José Pacheco (PhD - 3nd yr)
Filipe Militão (with Jonathan Aldrich, Carnegie Mellon/FCTUNL PhD - 1st yr)
Bernardo Toninho (with Frank Pfenning, Carnegie Mellon/FCTUNL PhD - 1st yr)
Mario Pires (FCTUNL PhD - 1st yr)
Luísa Lourenço (FCTUNL PhD - 1st yr)
Ricardo Silva (MSc - 2nd yr) Prep Slides
Tiago Santos (MSc - 1st yr)

Concluded PhD
Hugo Vieira (2010, PhD)
Thesis: A Calculus for Modeling and Analysing Conversations in Service Oriented Computing
João Seco (2006, PhD)
Thesis: Languages and Types for Component-Based Programming
Etienne Lozes (co-tutele with Daniel Hirschkoff) (2004, PhD)
Thesis: Expressiveness of Spatial Logics
Recently concluded MSc
Filipe Militão. Thesis: YAK: A Behaviorally Typed Programming System for Web Services.
Bernardo Toninho. Thesis: A Tool and Logic for Local Reasoning About Security Protocols
Mário Pires. Thesis A Type System for Access Control in Object Oriented Languages
Hélio Dolores (with L. Ferrão).. Thesis: Optimizations in a Programming Language for Web Applications
(intern at OutSystems, SA)
Luísa Lourenço

Courses

Atendimento aos alunos: quartas-feiras; 9:00 - 11:00.

Principles of Programming Languages (PhD Program) (2009/10)

Scientific and Technical Communication Seminar (2008/09, 2009/10)

Linguagens e Modelos de Concorrência e Segurança (2008/09, 2009/10)

Introdução à Programação (2008/09)

Construção e Analise de Sistemas de Software (2008/09, 2009/10)

Interpretação e Compilação de Linguagens de Programação (2007) (ver também LP II, abaixo)

Linguagens de Programação II (2006) (Edição de 2005)

Módulo TALMP Language-Based Security (2006)

Módulo TALMP Linguagens de Programação e Programação Concorrente (2005)

Módulo TALMP Linguagens de Programação para Sistemas Distribuídos (2004)