Prof. Ricardo Peña

I am a Full Professor in Computer Science at the Universidad Complutense de Madrid. Up to 1991, I was Associate Professor at the Universidad Politécnica de Cataluña. Previously to 1984, I worked as project leader for several companies.

Research Interests

• Functional languages
• Compilation and virtual machines
• Static analysis
• Abstract interpretation
• Type systems
• Proof carrying code (PCC)
• Parallelism and concurrency

Publications (by topic and date)

• The Safe project (Functional language for PCC) (currently active)
• Miscelaneous on Functional Programming (currently active)
• The Eden project (A parallel derivative of Haskell) (discontinued in 2006)
• Formal methods on concurrency (discontinued in 1997)

Address
     Prof. Ricardo Peña
     Facultad de Informática
     Universidad Complutense de Madrid
     c/. Profesor José García Santesmases s/n
     28040 Madrid, Spain
         
Phone:   +34 91 394 7627
Fax:     +34 91 394 7529

E-mail:  ricardosipucmes