![]() |
Luís CairesAssociate Professor (Habil.) at the Departamento de Informática, FCT / Universidade Nova de Lisboa.Head of Department. Director of CITI (Center of Informatics and Information Technology) Coordinator of CITI's Software Systems. Member of EATCS, ACM, ICTI (CMU|Portugal). Member of IFIP TC-2 WG 2.2 Formal Description of Programming Concepts. "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. "The European synonym for computer science - informatics - more clearly suggests the field is about information processes, not computers" - Peter Denning You can't always get what you want. But if you try sometimes you might find You get what you need. Jagger-Richards. 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 |
Research interests:
Publications:
Project:
Software:
Tutorials:
|
|
Events:CONCUR'12 (PC Member)INFORUM'11 (PC co-Chair) SOFT-PT'11 (PC Member) TASE'11 (PC Member) ICE'11 (PC Member) CONCUR'10 (PC Member) FACS'10 (Invited Speaker) SOFT-PT'10 (PC Chair) PSPL'10 (PC Member) Choco Meeting'10 (Invited Speaker) CONCUR'09 (PC Member) FoSSaCS'09 (PC Member) OOPS'08 (PC Member) TGC'07 (PC Member) EXPRESS'07 (PC Member) CONCUR'07 (PC co-Chair) CALCO'07 (Invited Speaker) LIX Colloquium in Concurrency Theory 06 (Invited Speaker) 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) Recent:
IP Sensoria (EU IST FP6 - 2005-2010) |
Digressions (for fun ...)My Computer Science Genealogy and beyond ...Erdös (#4): Caires::Cardelli::Scedrov::Blass::Erdös
|
Graduate students:Filipe Militão (with Jonathan Aldrich, Carnegie Mellon/FCTUNL PhD - 2nd yr)Bernardo Toninho (with Frank Pfenning, Carnegie Mellon/FCTUNL PhD - 2nd yr) Mario Pires (FCTUNL PhD - 2nd yr) Luísa Lourenço (FCTUNL PhD - 1st yr) Tiago Santos (PhD - 1st yr) Miguel Rebelo (MSc, with L. Ferrão; internship at OutSystems SA )
Concluded PhDHugo 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 Concluded MSc (recent)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 Type Inference for Conversation Types Marios Pires A Type System for Access Control Views in Object-Oriented Languages Tiago Santos A Lightweight Hoare-Separation Logic for OO Programs Ricardo Silva Behavioral Analysis of Models of Software Systems |