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.
Speaking history
The complete speaking history currently recorded in my CV, including engagements without a standalone public post.
DCE23 - Doctoral Congress in Engineering, University of Porto
Hands-on version-control workshop from diff, patch, RCS and SVN through Git's storage model, signing, branching, merging and collaboration etiquette.
Public materialFEUP via Porto Space Team; FCUP via NuCC-FCUP and Hackers at Porto
One-hour talk delivered twice on model-driven development, hard real-time systems, RAMS, space-avionics architecture and safeguard mechanisms.
Public materialSpaceway - Software & Data Engineering in Space
Four-hour lecture on real-time modelling and scheduling, RTOS, execution management, RAMS, development methodologies, safeguards 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 a case study for dependable on-board computing, buses, interfaces, determinism and fault safeguards.
Public materialRTP 3
Discussed how algorithmic decisions affect the content people consume and the public discussions they encounter.
15th U.Porto Young Researchers Meeting (IJUP)
Presentation of the context and design behind FEP-2100, distinguished as Best Oral Communication in Engineering.
NLnet, online
Contributed to a webinar involving representatives of the European Commission, European Data Protection Supervisor and European Parliament on federation and institutional online presence.
NuCC UPdate 2021, online
Introduction to the IndieWeb's principles of privacy, participation and diversity, contrasted with centralised exchange platforms.
Public materialTalks@DCC, Faculty of Sciences, University of Porto
History of the Fediverse, the context of ActivityPub and the technical challenges of building and maintaining a federated social network.
Public materialGrand 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 the Internet of Things, with a practical component using sensors and actuators.
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.