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:
• Policy-Based Network Management (Vinnova, 2004)
• Mobile Language Study (EOARD, 2001-03)
• VerifiCard (EU IST, 2000-03)
• PROMODIS (Nutek, 1998-2001)

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