Skip to content
View tflinkow's full-sized avatar
12 followers · 35 following

Block or report tflinkow

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@GFleurD
GFleurD
@ggustavs
Gusts Gustavs Grīnbergs ggustavs
@lstrsrmn
Alistair Sirman lstrsrmn
PhD Student in Computer Science at the University of Southampton. Focusing on Formal Methods and Interactive Theorem Proving.

University of Southampton Southampton

@sandy686-234
sandy sandy686-234

Maynooth University Ireland

@AnkitMU
ANKIT JHA AnkitMU
@MatthewDaggitt
Matthew Daggitt MatthewDaggitt
@samysweb
Samuel Teuber samysweb

Karlsruhe

@ckessler2
ColinKessler ckessler2
PhD student at ECR, working as part of the LAIV and VOILab.
@BenCoke12
BenCoke12
@KatyaKom
Ekaterina Komendantskaya KatyaKom

SOUTHAMPTON University, UK Southampton, UK

@Tgl70
Marco Casadio Tgl70
@benmandrew
Ben Andrew benmandrew
PhD Researcher // Ex-Software Engineer

University of Manchester United Kingdom

@AngeloFerrando
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

@Lucas-Jeanniot
Lucas Jeanniot Lucas-Jeanniot
Machine Learning Engineer. Simple Tools Enjoyer.

Ireland

@mluckcuck
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

@rosemarymonahan
rosemarymonahan
@ndslusarz
Natalia Ślusarz ndslusarz

Edinburgh, Scotland

@lucid-brndmg
Haoyang Lu lucid-brndmg
student

Ireland

@oisinsheridan
Oisín Sheridan oisinsheridan
PhD Researcher at Maynooth University. Member of @valu3s-mu

Maynooth University Maynooth/Cavan, Ireland

@mariefarrell
Marie Farrell mariefarrell
@EGiunchiglia
Eleonora EGiunchiglia

University of Oxford

@hoheinzollern
Alessandro Bruni hoheinzollern
@wadoon
Alexander Weigl wadoon

Karlsruhe Institute of Technology Germany

@gernst
Gidon Ernst gernst
@rntz
Michael Arntzenius rntz
@Roznn
Rozenn Dahyot Roznn
Professor of Computer Science - ORCID: 0000-0003-0983-3052

Computer Science Department Maynooth University Ireland

@barak
Barak A. Pearlmutter barak

Dept of Computer Science, Maynooth University Ireland

@classicwuhao
Hao Wu classicwuhao

Maynooth University Ireland

@DaraMac
DaraMac
@ConorReynolds
Conor Reynolds ConorReynolds

Manchester

@dafny-lang
Dafny dafny-lang
Dafny is a verification-aware programming language
@oisdk
Donnacha Oisín Kidney oisdk
Computer science PhD student at Imperial College London.

Cork, Ireland

@j-vorloeper
j-vorloeper
@czerwonk
Daniel Brendgen-Czerwonk czerwonk
Software/DevOps/Network Engineer from Essen, Germany #freifunk #as202739 #as206356

Essen, Germany

@dreyau
dreyau dreyau