Formal Methods Teaching Committee
fme-teaching
The aim of the FME Teaching Committee is to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.
Readium Foundation
readium
Our mission is to foster the development of an open and modern collaborative playground for digital reading technologies.
Academy Software Foundation
AcademySoftwareFoundation
Home for technical activities hosted by the Academy Software Foundation (ASWF).
Oisín Sheridan
oisinsheridan
PhD Researcher at Maynooth University. Member of @valu3s-mu
Maynooth University Maynooth/Cavan, Ireland
Piotr Miller
nwg-piotr
after hours developer, Linux enthusiast, Arch Linux user, creator of nwg-shell for sway and Hyprland
PL
Jesse Ashmore
jesse-ashmore
Software Engineer.
Healthily (?) obsessed with tech, music, and languages
Amazon Dublin
Autonomy and Verification Network
autonomy-and-verification
The Autonomy and Verification Network focusses on autonomous systems and their verification.
OpenAlex
ourresearch
Building a universal library of scholarship—organized, connected, and open.
GrapheneOS
GrapheneOS
Security and privacy focused mobile OS with Android app compatibility. We focus on developing substantial privacy and security improvements.
Toronto, Ontario, Canada
The Matrix.org Foundation
matrix-org
A new basis for open, interoperable, decentralised real-time communication
Diarmuid O'Donoghue
Diarmuid-ODonoghue
Lecturer/Associate Professors
Maynooth University Maynooth University, Ireland
Ivan Perez, PhD
ivanperez-keera
Principal Research Scientist @ NASA Ames Research Center |Haskell software architect | Public Speaker
@NASA Ames Research Center / KBR San Jose, CA
PreviousNext