Skip to content
View protz's full-sized avatar
192 followers · 6 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Starstruckx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Starstruckx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Block or report protz

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@andricicezar
Cezar Andrici andricicezar

MPI-SP Bochum, Germany

@Safiullah136
Muhammad Safiullah Memon Safiullah136
SGLang Contributor

Hyderabad, Sindh, Pakistan.

@SamuelSchlesinger
Samuel Schlesinger SamuelSchlesinger
Cryptography engineer at Google Chrome. Area Maintainer of CSLib. Creator of Computable Secrets.

Google Connecticut

@0xA672
0xA672
Счастье для всех! ᔦ ° ꒳ ° ᔨ ̖́-

Wyoke Scott domain

@TestSubjectJohnDoe
TestSubjectJohnDoe
@ComedyCenterAudience follow him ---------------------------------------- Social experiment. Worry not to pay attention, citizens! :D

https://t.me/YouForgetAThousandThingsEveryDay ...somewhere near you

@infinityabundance
riaan de beer🦀 infinityabundance
openssl-rs - zic-rs - gnucobol-rs - ncurses-native - autotools-rs 🦀

Invariant Forge LLC Porto, Portugal

@dkc890710-hash
dkc890710-hash
@ElNiak
ElNiak
I’m a cybersecurity researcher and teaching assistant at UCLouvain.

UCLouvain Belgium

@anilcan-kara
Anilcan KARA anilcan-kara
Sr. Software Engineer

Ministry of Justice Sagittarius 17h 45m 40.03599s

@lzy0505
Zongyuan Liu lzy0505
Post Doc in software verification @ Aarhus University

@logsem Aarhus

@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory

Germany

@ZwPwn
ZwAwesome ZwPwn
@glou-nes
glounes glou-nes
PhD student, interest: MLIR Julia HLS Rust

IRISA Brittany

@migueltc13
Miguel Carvalho migueltc13

University of Minho

@danbri
Dan Brickley danbri
Data standards engineering

London

@gkgoat1
gkgoat gkgoat1
I make everything. Also check out my corporate profile, @portal-co AI user

@portal-co

@PhysShell
PhysShell

Almaty, Kazakhstan

@andrew-werdna
Andrew Brown andrew-werdna
Software Engineer and Math enthusiast

Austin, Texas

@GrigoryEvko
Grigory Evko GrigoryEvko
CTO @TheArtisanAI | Compilers, ML and DevOps engineer | MD

@TheArtisanAI

@JustCommonUsername
Yan Farba JustCommonUsername
Student @rub, Research Assistant @hn-rg

Max-Planck Institute for Security and Privacy Germany

@vale1410
Valentin Mayer-Eichberger vale1410
SAT Programmer

Isotronic GmbH / University of Potsdam Berlin, Germany

@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@xuhongxu96
Hongxu Xu xuhongxu96

Waterloo, Ontario, Canada

@JGalego
João Galego JGalego
| Head of AI @ Critical Software 🤖 ⟩ ⊗ | Invited Professor @ ISEG/ULisboa 🧑‍🏫 ⟩ ⊗ | BCI Researcher 🧠🔌 ⟩ ⊗ | Quantum Hacker ⚛️👨‍💻⟩

Critical Software Lisbon, Portugal

@chenweichen
Wei-Chen.Chen chenweichen
Royal Holloway, University of London, UK Computer Science, MSc Computational Finance & National Chung Hsing University, Taiwan MSc Applied Economics

Taiwan

@jevinskie
DJ jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer.

Lafayette, Indiana

@ashm-dev
Shamil ashm-dev
Open Source Engineer

@kartochka Dagestan

@crisprking
Abraham Trueba crisprking
Bioinformatician (M.S.) & Chemical Biologist (B.S.) · Incoming MS1, UAG International MD — building open-source, falsifiable drug-target pipelines
@rod-gurgel
rod-gurgel
@narcisseuuh
Narcisse narcisseuuh
Student at Télécom SudParis. CTF player @ HackademINT, interested in formal methods, static analysis

Télécom-SudParis

@SuccinctPaul
Paul SuccinctPaul
@remigerme
Rémi Germe remigerme
CS student interested in formal verification

École polytechnique Zürich

@llight0x
Mohamed Shaaban Nasr Khalil Khedr llight0x
@hypervanse
Frederico Moreira hypervanse
Ph.D. in physics with experience in @mathworks #MATLAB. Custom algorithms. Numerics, Nonlinear Dynamics @hypervanse-ai . Volunteer for inclusion, #ai

@hypervanse-ai Hypervanse Brazil

@Marc-g-Z
Marc G Marc-g-Z
Driven.

Derisk Venture Studio

@fraware
Matéo H. Petel fraware
ML researcher · AI for Science

Stanford

@shonfeder
Shon shonfeder
Allophilia x Synechism x Rhythmicism

@tarides Canada

@cfm
Cory Francis Myers cfm

@insait-institute, @freedomofpress Sofia and Seattle

@venkat-oss
Venkat venkat-oss
Builder., Hardware and Software.
@plumenator
Karthik Ravikanti plumenator

Singapore

@vitalnodo
Vitalii Hordii vitalnodo

Lviv, Ukraine

@momo286
Morgan Guesdon momo286
@mrluanma
Zhao Xiaohong mrluanma

Shanghai, China

@ggfevans
Gareth Evans ggfevans

@safesoftware British Columbia, Canada

@sturob
Stuart Robinson sturob

Upstate New York

@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@justanotherinternetguy
justanotherinternetguy justanotherinternetguy
cornell cs + math + ling '30

normalizedlinuxusr@proton.me XY8S Z GAMMA

@vavanade
vavanade
@colltoaction
Martin Coll colltoaction
Hyping hypergraphs

🇦🇷

@oneofvalts
Abdullah Uyu oneofvalts