Pablo Giambiagi's Short CV
- I am a researcher at the
Security, Policy and Trust Laboratory,
Swedish Institute of Computer
Science.
Projects:
- TrustCoM -
Trust and Contract Management (EU IST-001945,
Feb 2004 - Jan 2007).
- I am also a PhD student at the Laboratory of Electronics and
Computer Systems, Dept. of Microelectronics and Information Technology,
KTH, Stockholm, Sweden.
Supervisor: Dr. Mads Dam.
Areas: Models of information declassification; Language-Based Security.
Research Projects:
- Ph. Lic. in Computer Science (10/2001). KTH,
Stockholm, Sweden.
Thesis title: Secrecy for Mobile Implementations of
Security Protocols.
Supevisors: Dr. Mads Dam, Prof. Joachim Parrow.
- Research Fellow (09/1997 - 03/1998). UNU/IIST (United Nations
University / International Institute for Software Technology), Macau.
(Assumption-Commitment proof rules for Duration Calculus).
- Licentiate in
Computer Science (08/1997). UBA (University of Buenos
Aires), Argentina. Thesis title: Modeling a Robot Teleoperation System
in DisCo.
- Research Assistant (12/1995 - 05/1996) at the DisCo
working group, Department of Computer Science, TUT (Technical University of
Tampere), Finland.
- Graduate System Analyst (1994). UBA (University of Buenos
Aires). Argentina.
- Started studies at ESLAI (Escuela Superior
Latino-Americana de Informática), La Plata (Argentina) in 1990
but they were not completed because the school was closed.
- Teaching Assistant (1998 - 2004). Dept. of
Microelectronics and Information Technology, KTH, Stockholm,
Sweden. Courses: 2G1516 Formal Methods (03/04), 2G1301 Theory of
Distributed Systems (2001 - 2003), 2G1113 Operating Systems (1998 -
2002).
- Teaching Assistant (1992 - 1997). Dept. of Computer
Science, UBA, Argentina. Courses: Functional Programming (1992 -
1994), Algorithms and Data Structures I (94/95, 96/97).
- Programmer of device
drivers for virtual-reality apps (1996). VTT (Finish Technical Research Center) and Institute of
Hydraulics and Automation, IHATUT, Tampere, Finland.
- Network admin and software consultor (1995), MECON, Ministry of Economy and Production, Argentina.
- Programmer (1994 - 1995). National
Atomic Energy Commission, Argentina.
Go back to
Pablo Giambiagi's Homepage
Last modified on