2009-2010

• Software de Comunicaciones, Ing. Telecomunicación, 5º, 1ºC (coordinación)
• Software de Comunicaciones, Bilingüe, Ing. Telecomunicación, 5º, 1ºC (coordinadación, teoría y prácticas)
• Redes de Ordenadores II, Bilingüe, Ing. Informática, 5º, 1ºC (teoría)
• Laboratorio de Software de Comunicaciones, Bilingüe, Ing. Telecomunicación, 5º, 2ºC (teoría y prácticas)

Horario de tutorías

Algunas publicaciones recientes

• "A formal nethod (a networked formal method)". Peter Breuer and Simon Pickin. Innovations in Systems and Software Engineering, Vol. 6, No. 4, Dec. 2010. Springer 2010. (Springerlink)
• "Open-source verification under a cloud" Peter Breuer and Simon Pickin. En Foundations and Techniques for Open Source Certification (eds.: L. Barbosa, A. Cerone, S. Shaikh). Electronic Communications of the EASST, Vol. 33, 2010. EASST 2010. (enlace OJS)
• "Approximate verification in an open-source world". Peter Breuer and Simon Pickin. Innovations in Systems and Software Engineering Vol. 4, No. 1, Apr. 2008. Springer 2008. (Springerlink)
• "Test synthesis from UML models of distributed software". Simon Pickin, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, and Yves Le Traon. IEEE Transactions on Software Engineering, 33(4):252--269, April 2007. (IEEE Explore)
• "Symbolic approximation: an approach to verification in the large". Peter Breuer and Simon Pickin. Innovations in Systems and Software Engineering Vol.2, Nos. 3-4, Dec. 2006. Springer 2006. (Springerlink)

Proyectos de Investigación

• Recursos generales de investigación:
    Una guía de investigación para estudiantes (en inglés)
   
• Diccionarios/glosarios técnicos:
    FOLDOC: Free On-Line Dictionary Of Computing (en inglés)
    diracdelta.co.uk: Enciclopedia de la Ciencia y la Ingeniería (en inglés)
    Diccionario de Hutchinson Hutchinson Dictionary of Computers, Multimedia and the Internet (en inglés)
    Geek.com: Glossario Técnico (en inglés)
    Babel: Glossary of Computer Oriented Abbreviations and Acronyms (en inglés)
    webopedia: Glossary of Web and Internet terms (en inglés)
   
  Diccionarios generales y otros recursos lingüísticos:
    DRAE: Español
    Onelook: Inglés y traducciones desde el inglés
    WordReference.com: Inglés y traducciones desde/hacia el inglés (diccionarios Collins)
    The Free Dictionary Diccionario enciclopedico (en inglés)
    Wikipedia Enciclopedia (en español)
    Wikipedia Enciclopedia (en inglés)
    Diccionarios varios
    English idioms Lista de expresiones idiomáticas en inglés de UsingEnglish.com
   
• Divulgación científica:
    Revista científica del Reino Unido New Scientist
   
• Pensamiento crítico:
    The Critical Thinking Community
   
• Pensar en el largo plazo:
    The Long Now Foundation
   
• Debate sobre pensiones:
    Documento Fedea
    Respuesta Attac
   
• Video interesante:
    John Cleese sobre creatividad
   
• Artículo interesante:
    Sobre el buscador de Google (de Wired)
   
• Cartas interesantes;
    Carta a la CE en contra de la compra de MySQL por Oracle
    Carta enviada a Google de parte de varias agencias nacionales de protección de datos