Skip to content
View mariachris's full-sized avatar

Highlights

  • Pro

Organizations

@MPI-SWS @Practical-Formal-Methods

Block or report mariachris

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
@tzerrell
Tim Zerrell tzerrell
Senior Software Engineer at RISC Zero. I also keep some of my personal projects here. (formerly Tim Carrell)

RISC Zero Seattle, WA

@knollsen
Robin Knoll knollsen
Software Engineering and Internet Computing Masters Student @ TU Vienna | Software Developer @ World-Direct

World-Direct Vienna

@mrigger
Manuel Rigger mrigger
Assistant Professor @ National University of Singapore

National University of Singapore Singapore

@caballa
Jorge Navas caballa
Working on static analysis at Certora

Certora USA

@numairmansur
Numair Mansur numairmansur
Research Interests: Automatic testing, debugging, formal analysis and verification of complex software systems

Amazon Web Services Berlin, Germany

@hfeniser
Hasan Ferit Eniser hfeniser
Program Analysis, Trustworthy ML

MPI-SWS

@wuestholz
Valentin Wüstholz wuestholz
Principal Researcher and Co-founder at Diligence Security

Diligence Security