Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Home page of Luis Caires
[go: Go Back, main page]

Luís Caires

Associate Professor (Habil.) 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.
Observer of IFIP WG 2.2 Formal Description of Programming Concepts.

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.14

We are 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 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:

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:

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

Digressions (for fun ...)

Cast of Spatial Logicians
Erdös (#4): Caires::Cardelli::Scedrov::Blass::Erdös

Current grad students:

Hugo Vieira (PhD)
José Pacheco (PhD)
Filipe Militão (MSc)

Past PhD Supervision
João Seco (2006, PhD)
Etienne Lozes (co-tutele with Daniel Hirschkoff) (2004, PhD)

Actividade Docente

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

Linguagens e Modelos de Concorrência e Segurança (2007/08)

Introducao à Programação (A) (2007/08)

Construção e Analise de Sistemas de Software (2007/08)

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)

Useful Directory