Jesus F. Almansa
   _________________________________________________________________

   IT-parken, Aabogade 34
   DK-8200 Aarhus N
   Denmark

   jfa_at_brics.dk
   http://brics.dk/~jfa/cv.html
   _________________________________________________________________
   Personal Information

   Family Name:    Almansa Guerra
   Given Name:     Jesus Fernando
   Date of Birth:  December 23, 1973
   Citizenship:    Colombian
   Marital Status: Single
   _________________________________________________________________

   Research  Interests

   Cryptology,  Frameworks  for  General  Concurrent Composition,
   Proactive Security, Formal Analysis.
   _________________________________________________________________

   Education

   2001-2005 Ph.D. in Computer Science (thesis submission: May 31st)
             BRICS - University of Aarhus, Denmark
             (cf. section Additional Ph.D. Information)
   1996-1998 M.Sc. degree in Systems Engineering
             Los Andes University, Colombia
   1991-1996 B.Sc. degree in Mathematics
             National University of Colombia, Colombia
   _________________________________________________________________

   Publications

   1. A Proactive UC Framework and Adaptive Threshold RSA
      (with Ivan Damg\aard and Jesper B. Nielsen)
      (Submitted)
   2. A Full Abstract Encoding of the UC Framework
      (Submitted)
      Previously: Report RS-04-15, August 2004
   3. New Formulae for the n-th Prime Number
      (with Leonardo Prieto)
      Lecturas Matematicas, vol. 15, n. 2, pp.227-231, 1994.
   _________________________________________________________________

   Presentations

   1. A Correspondence Between the UC Framework and the PPC Calculus
      Spring School on Security
      CIRM, Marseille, France, April 25-29, 2005.
   2. A Notation for Multiparty Protocols of ITM's
      DIMACS Workshop on Security Analysis of Protocols
      Rutgers University, Piscataway (NJ), USA, June 7-9, 2004.
   3. A Proactive Universal Composability Theorem
      Advanced Course on Contemporary Cryptology
      UPC, Barcelona, Spain, February 2-13, 2004.
   _________________________________________________________________

   Professional Activity

   Referee: POPL 2002, TCC 2005, CRYPTO 2005.

   Webmaster: EATCS, Computability and Logic Course. 08.2004-01.2005.
   _________________________________________________________________

   Teaching Experience

   University of Aarhus                            Teacher Assistant
   Denmark                            September 2001 - December 2001

   Compiler Construction.

   Los Andes University                                     Lecturer
   Colombia                                  January 2001 - May 2001

   First-Order Logic, Foundations of
   Computer Science, Formal Languages.

   Los Andes University                                     Lecturer
   Colombia                                  January 2000 - May 2000

   First-Order Logic.

   Colombian College of Engineering                         Lecturer
   Colombia                              August 1998 - December 1998

   Formal Languages and Compilers,
   Discrete Math., Linear Algebra.

   National University of Colombia                          Lecturer
   Colombia                              August 1998 - December 1998

   Vector Calculus.
   _________________________________________________________________

   Work Experience

   Los Andes University                                   Researcher
   Colombia                               August 1999 - October 1999

   Developed a job-scheduling tool using a visual programming lan-
   guage. Member of AVISPA (research team funded by the Colombian
   government and the French research center IRCAM).

   Los Andes University                           Research Assistant
   Colombia                              January 1997 - October 1997

   Participated in creating a calculus integrating objects and con-
   straints. Proposed a type system for the calculus. AVISPA.
   _________________________________________________________________

   Scholarships

   Grant earned at the National University of Colombia for academic
   excellence, to continue with graduate studies.
   _________________________________________________________________

   Additional Ph.D. Information

   Ph.D Courses: Logic, Discrete Mathematics, Complexity Theory,
                 Cryptologic Protocol Theory, Mobile Computing.

   Minicourses
     * Events in Security Protocols
       (Glynn Winskell, 2001)
     * Spatial Logics for Querying Semi-structured Data
       (Philippa Gardner, 2002)
     * Cryptography in the Quantum Computing Era
       (Claude Crepau, 2003)
     * Cryptographic Protocols and Formal Methods
       (Birgit Pfitzmann, 2004)
     * Process Calculi: Comm., Mobility and Constraints
       (Frank D. Valencia, 2004)

   Schools, Workshops
     * Logical Methods. Aarhus, Denmark, 2001.
     * Massive Data Sets. Aarhus, Denmark, 2002.
     * Computer Science. Palmse, Estonia, 2003.
     * Cryptographic Protocols Workshop. Aarhus, Denmark, 2003.
     * Contemporary Cryptology. Barcelona, Spain, 2004.
     * Cryptology and its Applications. Bergen, Norway, 2004.
     * Security. Marseille, France, 2005 (to attend).
   _________________________________________________________________
  
   Skills

   Programming: C, Caml

   Tools: Perl, Unix shell scripts

   Operating Systems: Linux, Windows 2000

   Languages: Spanish(native), English(fluent)
   _________________________________________________________________
   
   References upon request.
   _________________________________________________________________

April, 2005