8000 mariachris (Maria Christakis) / Followers · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View mariachris's full-sized avatar
64 followers · 9 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: 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.

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
@bankosegger
banko bankosegger
@cr-eative-dev
< cr-eative-dev /> cr-eative-dev
Software Engineer @peaqnetwork • Rust / Solidity / Typescript • 3D Artist • Designer • @Polkadot-Blockchain-Academy #6 Lucerne Graduate • PBA-X Cohort #1 Alumni
@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@ElhamFadel
Software Engineer Elham ElhamFadel
keep it simple

Gaza

@senthil28
senthil28
@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

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
Zhang XianSheng irabbit666666
My name is Zhang XianSheng. I am a student and I enjoy programming,i like python,nodejs,java and more.
@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
Security Researcher at ConsenSys Diligence
@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
CS undergrad at IIT Delhi, Former Intern at MPI-SWS (Max Planck Insitute for Software Systems)

IIT Delhi New Delhi

@cvrac
Christos Vrachas cvrac
Software Engineer @skroutz, former BSc. / MSc @ UoA

Skroutz S.A. Athens

@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

@claude9493
ZHANG Yun claude9493
PhD student in Data Science and Analytics.

HKUST Hong Kong, China

@MalteSchledjewski
Malte Schledjewski MalteSchledjewski

Germany

@zhangysh1995
Shao zhangysh1995
I'm a programmer and a Chinese Opera fan (戏迷). I'm looking for possible positions in Japan or remotely. If you're recruiting please feel free to drop an email
@Abhishek9900
Abhishek Kripal Abhishek9900
If you are following your passion you are not making sacrifices.
@KevinHock
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.

@grammarly (Formerly @pinterest, @Yelp) I love San Francisco

@weitzhandler
Shimmy weitzhandler

UK

@toxtli
Carlos Toxtli toxtli
PhD, Prof, Director of the Human-AI Empowerment Lab at Clemson University, Dad

Microsoft, Google, Amazon, Snapchat, GitHub, United Nations, Freelancer United States

@zeeshanlakhani
Zeeshan Lakhani zeeshanlakhani
@papers-we-love / pwlconf founder/org. | @oxidecomputer eng | @cmuscs (CMU) PhD in PLT, prev~@fission-codes, @Comcast, @basho, @arc90, @NYPL (labs)

Papers We Love | Oxide Computer Company | CMU Pittsburgh, PA

0