Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
First blog post at Leeds
Published:
This is my first blog post in more than a year, and the first one in my new webpage. I moved to the University of Leeds in Aug 2023, and used the last post of my former blog to wrap up my tenure at the University of York. In the meantime, I’ve settled down at the new job in Leeds, made myself at home with my new teaching and administrative duties, gave an inaugural talk, obtained some external funding and recruited two new PhD students. I will write more detailed posts about many of those activities soon, but for now this will serve as a placeholder and as a link to my former blog.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
Paper Title Number 1
Published in Journal 1, 2009
This paper is about the number 1. The number 2 is left for future work.
Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1).
Download Paper | Download Slides
Paper Title Number 2
Published in Journal 1, 2010
This paper is about the number 2. The number 3 is left for future work.
Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2).
Download Paper | Download Slides
Paper Title Number 3
Published in Journal 1, 2015
This paper is about the number 3. The number 4 is left for future work.
Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3).
Download Paper | Download Slides
Paper Title Number 4
Published in GitHub Journal of Bugs, 2024
This paper is about fixing template issue #693.
Recommended citation: Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
Download Paper
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Advanced Design Methods for Microelectronic Systems
Graduate seminar, Technische Universitaet Darmstadt, 2004
Graduate seminar taught from 2004-2007, covering advanced topics on microelectronic systems design.
Actor-oriented design
Graduate seminar, University of Montpellier II, 2005
Postgraduate seminar hosted by Gilles Sassatelli and Lionel Torres.
Introduction to actor-oriented design
Graduate seminar, Tallinn University of Technology, 2006
Postgraduate seminar hosted by Peeter Ellervee, Gert Jervan, Jaan Raik and Raimund Ubar.
Systems-on-Chip Design
Graduate seminar, Technische Universitaet Darmstadt, 2007
Graduate seminar taught from 2002-2008, covering selected topics on System-on-Chip design.
Multiprocessor Systems-on-Chip Design Automation
Undergraduate module, Technische Universitaet Darmstadt, 2008
Undergraduate module taught from 2007-2008, providing an overview of the architectural principles, design automation methods and tools for Multiprocessor Systems-on-Chip.
Theory of Computation
Undergraduate module, University of York, 2008
Second year undergraduate module taught in 2008, introducing formal languages and automata theory, time and space complexity, computability and decidability.
Operating Systems for Information Processing
Postgraduate module, University of York, 2010
Postgraduate module taught from 2009-2010, covering selected topics on operating systems.
Multiprocessor Embedded Systems
Graduate seminar, Universitaet Bremen, 2012
Postgraduate seminar funded by Universitaet Bremen’s “Internationalisation at Home” programme, hosted by Alberto Garcia Ortiz.
Multiprocessors and Models of Computation
Graduate seminar, Universidad Politecnica de Madrid, 2013
Postgraduate seminar funded by CEI-UPM International Seminar series, hosted by Eduardo de la Torre and Teresa Riesgo.
Multiprocessors and Models of Computation
Visiting professorship, Federal University of Rio Grande do Sul - UFRGS, 2014
Postgraduate module, offered as part of a visiting professorship funded by Capes “PVE - International Visiting Professor” programme, hosted by Ricardo Reis.
Cloud Computing
Postgraduate module, University of York, 2016
Postgraduate module covering selected topics on cloud computing.
Systems & Networking
Postgraduate module, University of York, 2016
Postgraduate module taught from 2011-2016, covering selected topics on operating systems and networking.
Operating Systems and Networks
Undergraduate module, University of York, 2020
Second year undergraduate module taught from 2017-2020, introducing the fundamentals of operating systems and networking protocols.
Embedded Systems Design and Implementation
Undergraduate module, University of York, 2022
Module taught from 2010-2022, introducing embedded computer systems, and the engineering process to design, implement and validate them. Particular emphasis on models of time and concurrency, modelling and simulation languages. More details in the Embedded Out There blog.
Information & Network Security
Undergraduate module, University of York, 2022
Module taught in 2022, covering the basic concepts of cyber security, how these are modelled, threat models, and the mechanisms to enforce security policies.
Networks & Communications Security: Threats, Attacks & Countermeasures
Postgraduate module, University of York, 2022
Module taught in 2022, providing a broad understanding and knowledge of network security, addressing threats over a range of sophistication levels and detailing various protocols and other mechanisms that have been developed to counter them.
Advanced Software Engineering
Postgraduate module, University of Leeds, 2023
Postgraduate module taught since 2023, providing a review of software engineering principles, and expanding on those to include a more thorough understanding of what constitutes good design. It also covers the application of design patterns and refactoring, and a comparative analysis of different architectural styles used in modern software.