2009-2010

• Communication Software, in English, Telecom Engineering degree, Year 5, Term 1 (course coordination, lectures and labs)
• Communication Software, in Spanish, Telecom Engineering degree, Year 5, Term 1 (course coordination)
• Computer Networks II, in English, "Informatics Engineering" degree, Year 5, Term 1 (lectures)
• Communication Software Laboratory, in English, Telecom Engineering degree, Year 5, Term 2 (lectures and labs)

Some recent publications

• "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. In Foundations and Techniques for Open Source Certification (eds. L. Barbosa, A. Cerone, S. Shaikh), Electronic Communications of the EASST, Vol. 33, 2010. EASST 2010. (OJS link)
• "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)

Research Projects

• General research resources:
    A Research Guide for Students
   
• Technical dictionaries/glossaries:
    FOLDOC: Free On-Line Dictionary Of Computing
    diracdelta.co.uk: Science and Engineering Encyclopedia
    Hutchinson Dictionary Hutchinson Dictionary of Computers, Multimedia and the Internet
    Geek.com: Technical Glossary
    Babel: Glossary of Computer Oriented Abbreviations and Acronyms
    webopedia: Glossary of Web and Internet terms
   
  General dictionaries and other linguistic resources:
    Onelook: English and translations from English
    WordReference.com: English and translations to/from English (Collins dictionaries)
    The Free Dictionary Encylopedic dictionary in English
    Wikipedia Encyclopedia in English
    Dictionary resources
    English idioms List of English idioms and idomatic expressions from UsingEnglish.com
   
• Science News:
    UK-based science magazine New Scientist
   
• Critical thinking:
    The Critical Thinking Community
   
• Long term thinking:
    The Long Now Foundation
   
• Interesting video:
    John Cleese on creativity
   
• Interesting technolgy-oriented articles:
    Steven Levy on Google's search engine (Wired)
   
• Interesting economics articles (by Nobel prizewinning economists):
    "Of the 1%, by the 1%, for the 1%" by Joseph Stiglitz
    "Rule by Rentiers" by Paul Krugman
    "Lost Decade, Here We Come" by Paul Krugman
    "How Did Economists Get It So Wrong?" by Paul Krugman
   
• Interesting letters
    Letter to EC opposing Oracle's acquisition of MySQL
    Letter to Google from several national data protection agencies
   
• Interesting quote 1:
    "Where is the wisdom we have lost in knowledge?
    Where is the knowledge we have lost in information?"
    T.S. Eliot, The Rock, 1934.
   
• Interesting quote 2:
    "I serve as a blank screen on which people of vastly different political stripes project their own views."
    Barack Obama, The Audacity of Hope, 2006.