Skip to content
View aubertc's full-sized avatar
7 followers · 9 following

Sponsoring

@silby

Organizations

@ice-workshop @CinRC

Block or report aubertc

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@reversible-computation
Reversible Computation reversible-computation
Organisation for the Reversible Computation conference
@nkrusch
Neea nkrusch

United States

@mpjordan
mpjordan
@deividrvale
Deivid Vale deividrvale

Radboud University Nijmegen

@KirillZiborov
krlz KirillZiborov
Formal Methods, Blockchain Enthusiast
@kaavyamenon04
kaavyamenon04
@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@seiller
Thomas Seiller seiller
CNRS researcher

CNRS Paris

@heades
Harley D. Eades III heades
Associate Professor of CS at Augusta University.

Augusta University United States