Talks · Lectures · Workshops · Teaching
A record of public talks, technical lectures, workshops and appearances, together with the slides, recordings, articles and teaching material that remain useful afterwards.
Published material
Material that can be read, watched or reused independently of the original event.
A one-hour workshop for doctoral students, researchers and developers, moving from backups, diff and patch through version-control history, Git's working model, branching, signing and collaboration etiquette.
Material developed through aerospace-oriented talks and training on real-time guarantees, RAMS, faults and failures, redundancy, FDIR, safe modes, memory, observability, testing and engineering evidence.
An introduction to the IndieWeb and its principles of privacy, participation and diversity, with particular attention to decentralised and distributed social networks.
A 1h42 tour through the history of the Fediverse and ActivityPub's context and internals, including the IndieWeb, OStatus, WebFinger, ActivityStreams and the Actor model.
Teaching resources
Problem sets and technical primers that support learning beyond a single talk or class.
Original problems written for Programação Competitiva at the University of Porto, with complete statements, reference solutions, generators and example input and output.
A practical introduction to GnuPG with sensible defaults, key and subkey management, Git signing and the agent configuration I use.
An overview of modern Unix-like systems and practical administration concepts, developed from study notes on Linux and Unix tools.
Speaking history
Public talks, teaching and appearances, with links to their materials.
Symposium on Electrical and Computer Engineering, DCE23 — Doctoral Congress in Engineering, University of Porto
Hands-on workshop on version control, from rsync/diff/patch and RCS/SVN history to Git internals and etiquette.
Faculty of Engineering (via Porto Space Team) and Faculty of Sciences (via NuCC-FCUP and Hackers at Porto), University of Porto
One-hour talk on model-driven development, hard real-time systems, RAMS and safeguard mechanisms in space avionics.
Spaceway — “Software & Data Engineering in Space” online course
Four-hour lecture: real-time modelling and scheduling, RTOS, RAMS, architectures and memory management.
Jornadas do Espaço — do Laboratório para a Órbita, Universidade da Beira Interior
One-hour talk using the ANTAEUS CubeSat as the case study for dependable on-board computing.
RTP 3, television
Discussed the impact of algorithmic decisions on the content we consume and the public discussions we have.
15th U.Porto Young Researchers Meeting (IJUP)
Presentation of FEP-2100 — distinguished as Best Oral Communication in Engineering.
NLnet, online event
Contributed to a webinar with the European Commission, EDPS and European Parliament on federated networking.
NuCC UPdate 2021, online
Introduction to the IndieWeb's principles of privacy, participation and diversity.
Talks@DCC, Faculty of Sciences, University of Porto
History of the fediverse, the context of ActivityPub, and the engineering of a federated social network.
Grand Auditorium, Faculty of Engineering, University of Porto
Presented the development and results of the Faculty of Sciences' mentoring programme.
Happy Code, Maia, Portugal
Three-hour workshop on automation, complex systems, digital electronics and IoT, with sensors and actuators.
Hackers at Porto (HaP) — Department of Computer Science, Faculty of Sciences, University of Porto
Hands-on systems-programming workshop on building a small operating system from scratch, from bootloader to shell, using x86 Assembly, C, NASM, QEMU and GDB/GEF.
