|
Luís CairesAssociate Professor (Habil.) at the Computer Science Department, Science and Technology of Programming , FCT / UNL.Director of CITI (Center of Computer Science and Information Technology), Member of Software Principles and Methods. Member of EATCS, ACM, ICTI (CMU|Portugal). 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:
Talks:
|
|
My main ACM subjects:
D.3 Programming Languages; F.3 Logics and Meanings of Programs; F.4 Mathematical Logic and Formal Languages
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
Events:CONCUR'10 (PC Member)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:Approved:
StreamLine (PTDC/EIA-CCO/104583/2008 - 2010-2012) Running:
Certified Interfaces (Carnegie-Mellon|Portugal NGN 44 - 2009-2012) Recent, but closed:
FAST (POSI 32717/2000) |
Digressions (for fun ...)My Mathematics-Computer Science Genealogy
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) Ricardo Silva (MSc - 2nd yr) Prep Slides Luísa Lourenço (MSc - 2nd yr) Prep Slides Tiago Santos (MSc - 1st yr)
Concluded PhDHugo Vieira (2010, awaits defense)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 MScFilipe 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) |
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.