Luís Caires Associate Professor at the Computer Science Department, Section of Science and Technology of Programming . CITI (Center of Computer Science and Information Technology), Programming Languages and Models. Member of EATCS, ACM. 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, Tools; Programming Languages, Calculi, Logics and Types; Models of Concurrency, Distribution, Mobility, Security; Software: A Spatial Logic Model Checker v1.0

I am looking forward to discuss projects adequate 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 ACM subjects:

D.3 Programming Languages; F.1 Computation by Abstract Devices; F.3 Logics and Meanings of Programs; F.4 Mathematical Logic and Formal Languages

Some Publications

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: OOPS 2008 (PC Member) TGC'07 (PC Member) CALCO'07 (Invited Speaker) EXPRESS'07 (PC Member) CONCUR'07 (PC co-chair) 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: IP Sensoria (EU IST FP6 - 2005-2009) SpaceTimeTypes (POSI/EIA/55582/2004-2008) ComponentGlue (Microsoft Research Grant 2002-73) SecureSpace (GRICES/MCTES/CNRS 2007-2008) Recent, but closed: 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

---

Filmography:

Current grad students: Hugo Vieira (PhD) José Pacheco (PhD) Paula Mangas (MSc) Past PhD Supervision João Seco (2006, PhD) Etienne Lozes (co-tutele with Daniel Hirschkoff) (2004, PhD)

---

Actividade Docente

Especialização de Segundo Ciclo: Construção e Análise de Software

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)

Algoritmos e Estruturas de Dados I (2004)

Modelação e Análise de Sistemas Distribuídos (2003)

Useful Directory