Gerardo Schneider's Short CV

• Since July 2009 I hold a Senior Lecturer position at the Department of Applied IT at the IT University of Göteborg (Chalmers|Göteborg University)
  

• Since Jan 2009 I hold a part-time position as Associate Professor at the Precise Modeling and Analysis group at the Department of Informatics (University of Oslo).
  

• Full time researcher -with 25% of teaching obligations- (Jan 2005-Dec 2008) at the Precise Modeling and Analysis group at the Department of Informatics (University of Oslo).
  

• Researcher -Chercheur CNRS, CDD- (2004) in the Lande group at IRISA-INRIA, Rennes, France. Worked within the CASTLES project, on Verification of Java smart cards.

• Researcher -Forskare- (Oct 2002 - Oct 2003) at Department of Information Technology, Computer Systems (DoCS), Uppsala University. ("Verification of Infinite-state Systems and Process Algebra").

• Ph.D. in Computer Science (July, 2002). VERIMAG, Grenoble, France. Supervisors: Dr. Sergio Yovine and Prof. Eugene Asarin. ("Algorithmic Analysis of Hybrid Systems").
  

• Fellow (09/1997 - 03/1998) at UNU/IIST (United Nations University / International Institute for Software Technology), Macau. ("Semantics of the HDL Verilog using Duration Calculus").
  
• M.Sc. in Computer Science (1996). UFRGS (Universidade Federal do Rio Grande do Sul), Porto Alegre, Brazil.
• System Engineer (03/1993). UTN (Universidad Tecnológica Nacional). Argentina.
• System Analyst (02/1991). UTN(Universidad Tecnológica Nacional). 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.

•  Assistant Professor (Professor Adjunto, 08/1997 - 08/1998). UCPel (GBMC  of Computer Science Departament, Universidade Católica de Pelotas). Pelotas, Brazil.
•  Visiting Lecturer (Professor Visitante, 03/1997 - 08/1997). UCPel (GBMC  of Computer Science Departament, Universidade Católica de Pelotas). Pelotas, Brazil.
• Assistant Professor  (Professor Adjunto, 03/1996 - 02/1997). UCS (Computer Science Departament, Universidade de Caxias do Sul). Caxias do Sul, Brazil.
• Worked as System Analyst (02/1991 - 02/1994). Paylana S.A. (Textile Industry). Paysandú, Uruguay.