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
@koppor
Oliver Kopp koppor

University of Hamburg Germany

@thpani
Thomas Pani thpani

blltprf.xyz Vienna, Austria

@unbraind
Steve Preu unbraind
iterate fast.

Austria

@cr-eative-dev
< cr-eative-dev /> cr-eative-dev
Software Engineer @peaqnetwork • Rust / Solidity / Typescript • Designer

@peaqnetwork

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
product | Claude Code very active user

Denver, CO

@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@facebook The edge of knowing

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

World-Direct Vienna

@EthSecurity1
Security.eth EthSecurity1
Solidity security researcher
@Zustin
Zustin
A Program Testing and Analysis Fans! I am ready to use any technique to improve software system reliability and performance

Expect to Norway

@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@VeraBE
Vera Bogdanich Espina VeraBE

Microsoft Seattle, USA

@buddhikac96
Buddhika Chathuranga buddhikac96
just another engineer

Sri Lanka

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

National University of Singapore Singapore

@michael-kamel
Michael Youssef michael-kamel
Computer Science student at TU Kaiserslautern

Kaiserslautern, Germany

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

Amazon Web Services Berlin, Germany

@ScottWe
Scott Wesley ScottWe
PhD Student working on quantum computing, computational algebra, and formal methods.

Nova Scotia, Canada

@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

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@huxinwen1994
Xinwen Hu huxinwen1994
Smart Contracts, Software Security, Formal Methods, Machine Learning

Changsha, China

@AmrMKayid
Amr Kayid AmrMKayid
🪼

co:X Canada

@ashutosh1598
Ashutosh Kumar Verma ashutosh1598

Mumbai, Maharashtra, India.

@praveenkulkarni1996
Praveen Kulkarni praveenkulkarni1996
Google / CS undergrad at IIT Delhi, Former Intern at MPI-SWS (Max Planck Institute for Software Systems)

IIT Delhi New Delhi

@cvrac
Christos Vrachas cvrac
Software Engineer

Berlin, Germany

@mozi22
Muazzam Ali mozi22
Msc. Informatik student at University of Freiburg | Food junkie | coffee addict | love to code.

Freiburg, Germany

@yzhangjy
ZHANG Yun yzhangjy

Tencent Shenzhen, China

@zhangysh1995
Yushan zhangysh1995
SDET

@KOMOJU Tokyo, Japan

@Abhishek9900
Abhishek Kripal Abhishek9900
Geodesy | Full Stack Software Development

Universität Bonn Bonn, Germany