Skip to content
View tautschnig's full-sized avatar
44 followers · 1 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Organizations

@model-checking

Block or report tautschnig

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
@Clownsw
Clownsw Clownsw
until you have.
@hsqStephenZhang
z combinator hsqStephenZhang
What i cannot create, i do not understand

Hua Zhong University of Science and Technology Wu Han

@InfraredReactivePACN
InfraredReactivePACN
@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS & RPTU / Computer Science / Interested in Formal Methods / Distributed Systems / Concurrency Theory

Germany

@dranov
George Pîrlea dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.

Singapore

@albohlabs
Daniel Pfefferkorn albohlabs

Leipzig, Germany

@ch1c0t
Anatoly Chernov ch1c0t
@bp7968h
Bhuwan Pandit bp7968h
Full stack developer uncovering abstractions to understand the tech underneath.

United Kingdom

@yuiojs
yuiojs
@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@beike-zh
beike-zh
@NWMonster
NWMonster NWMonster
@chipnertkj
Piotr Wyszomirski chipnertkj
Software Developer, Musician

Poland

@refcell
refcell refcell

@ethereum-optimism United States

@Neustradamus
Neustradamus Neustradamus
@danmaster01
horlar danmaster01
@

Nigeria

@ShashankVM
Shashank V M ShashankVM
Electronics engineer

@qualcomm Karnataka, India

@nikhilr612
Nikhil R. nikhilr612
@xarantolus
Philipp xarantolus
Informatics Student @ TUM, satellites @ WARR

Technical University of Munich Garching bei München

@GeorgeBerdovskiy
George Berdovskiy GeorgeBerdovskiy

@Intellibio California

@nir-zilberman
Nir Zilberman nir-zilberman

@aws Israel

@hosneybinosman
hosneybinosman
@kehoecj
kehoecj
Software Engineer @Boeing | Maintainer of https://github.com/Boeing/config-file-validator | DevSecOps | Go | Python | Getting into 🦀

@Boeing

@lee-man
LI Min lee-man
Building Silicon-Proven Verification Tools. Rejecting paper/胶片-only "breakthroughs". Ex. Huawei Engineer. @FORMiND-Lab

Southeast University Shenzhen

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer Previously Apple Pay Security

Lafayette, Indiana

@bjoernd
Bjoern Doebel bjoernd
Principal SDE at Amazon Web Services

AWS Dresden, Germany

@SeshatCZ
SeshatCZ

Czech republic

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@zpzigi754
Changho Choi zpzigi754
@frankfanslc
frankfanslc frankfanslc

Fatpipe Networks Salt Lake City, UT

@fassett
fassett fassett

forex-trader USA new york

@ismaell
Ismael Luceno ismaell
Trying to take over the world by developing software. NOTE: You can find more software at http://git.iodev.co.uk/

SUSE Barcelona, Spain

@venkyjntu-git
venkyjntu-git
Venkatesh Asst.Professor at JNTUGV CEV( formerly JNTUK UCEV)
@eda-ricercatore
Zhiyang Ong eda-ricercatore
A multilingual, globetrotting cultural chameleon pursuing U.N. SDGs

Design Automation Renegades In passato, vicino al Dolomiti

@gratuxri
Juri Grabowski gratuxri

Stuttgart

@marius92mc
Marius-Constantin Melemciuc marius92mc
Computer Science Student, Former Data Engineering Intern @Shopify 🇨🇦, Former Research Engineer Intern @diffblue 🇬🇧

Bucharest, Romania

@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
@dozmus
Deniz Ozmus dozmus
@samuelkarp
Samuel Karp samuelkarp
Chair of the @opencontainers TOB. Staff Software Engineer @google. he/him

Google Seattle, WA

@trucnguyenlam
Truc Nguyen Lam trucnguyenlam
Software Engineer

United Kingdom

@IssacLam
IssacLam
@PhilippWendler
Philipp Wendler PhilippWendler

@sosy-lab, LMU Munich

@grochmal
Michal Grochmal grochmal
Official mad scientist and open standards enthusiast. Still trying to get my PhD, and someday that will happen.

United Kingdom

@IgnoredAmbience
Thomas Wood IgnoredAmbience

London