Skip to content
View mariachris's full-sized avatar
68 followers · 9 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

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

@Jefferysnow12
Jefferysnow12
@thpani
Thomas Pani thpani

blltprf.xyz Vienna, Austria

@unbraind
Steve Preu unbraind
iterate fast.

Austria

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

@peaqnetwork

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@ElhamFadel
Software Engineer Elham ElhamFadel
keep it simple

Gaza

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

Denver, CO

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

@NeonGamerBot

@hu8813
hüseyin kaya aydin hu8813

Vienna, Austria

@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

@flotes3
Florian Tesarek flotes3
@irabbit666666
iRabbit irabbit666666
Vx:iRabbit666
@ADataGMan
Aaron Grossman ADataGMan

Greater Boston area

@EthSecurity1
Security.eth EthSecurity1
Solidity security researcher
@NWMonster
NWMonster NWMonster
@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

@Tiancheng-Luo
Tiancheng-Luo Tiancheng-Luo
@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

@Real-ZeminJiang
Zemin Real-ZeminJiang
@lijiaying
lijiaying lijiaying

sutd singapore

@Mohannadcse
Mohannad Alhanahnah Mohannadcse
@saullocarvalho
Saullo Carvalho Castelo Branco saullocarvalho
n0ps13d

Brazil

@geethya1995
Geethya Tennakoon geethya1995
UOM Grad
@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

@ZachParsons
Zach Parsons ZachParsons
@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

@mytxd
尹名洋 mytxd
Haskeller
@AmrMKayid
Amr Kayid AmrMKayid
🪼

co:X Canada

@Agungdwisus
Agung dwi sus Agungdwisus
PEACE
@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

@obanji
Banji Olorundare obanji

Saarbrucken

@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

@MalteSchledjewski
Malte Schledjewski MalteSchledjewski

Germany

@zhangysh1995
Yushan zhangysh1995
SDET

@KOMOJU Tokyo, Japan

@Abhishek9900
Abhishek Kripal Abhishek9900
Geodesy | Full Stack Software Development

Universität Bonn Bonn, Germany