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
JeeZeh
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.
OurResearch
ourresearch
We build tools to make scholarly research more open, connected, and reusable—for everyone. Logo CC0.
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
Cormac Monaghan
C-Monaghan
PhD researcher in data science at the @hamilton-institute in Maynooth University, funded by SFI Center for Research Training in Foundations in Data Science.
Maynooth University Kildare, Ireland
Shauna Mooney
shaunamooney
PhD student, Hamilton Institute, Maynooth University.
Data model development for estimating family planning indicators.
Fred Valdez Ameneyro
33fred33
Ph. D. student in Data Science.
Interested in Evolutionary Algorithms and games.
Maynooth University Maynooth, Co. Kildare, Ireland
Angelo
AngeloFerrando
Angelo Ferrando is an Assistant Professor at the University of Modena and Reggio Emilia, Italy. Interested in: MAS, Formal Verification, Robotics
University of Modena and Reggio Emilia Modena
Bas van den Heuvel
basvdheuvel
Karlsruhe University of Applied Sciences / University of Freiburg
Matt Luckcuck
mluckcuck
Assistant Professor of Computer Science and Co-organiser of @FMASWorkshop. Member of the @autonomy-and-verification network. Prev: @valu3s-mu
University of Nottingham Derby, UK
Gabriel Rodrigues Palma
GabrielRPalma
PhD researcher in Statistical Ecology at the @hamilton-institute (Maynooth University), funded by SFI Centre for Research Training in Foundations of DataScience
Maynooth University Maynooth, Ireland
PreviousNext