Skip to content
View d-kozak's full-sized avatar
34 followers · 137 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report d-kozak

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
@samuel-malec
Samuel Malec samuel-malec
elite ball knowledge

Brno, Czech Republic

@teshull
Tom Shull teshull
Principal Researcher at Oracle
@ValentinAebi
Valentin Aebi ValentinAebi
PhD student in Informatics @ USI Università della Svizzera italiana

Software Institute - USI, Lugano Switzerland

@Hans-Halverson
Hans Halverson Hans-Halverson
Software engineer @figma. Compiler, runtime, and programming language enthusiast.

Figma

@janko
Janko Marohnić janko
Ruby developer, open source contributor, author of @shrinerb, vim-test and rodauth-rails

ButterflyMX Brno, Czechia

@wavelet55
Harry wavelet55
I'm an engineer who loves developing adaptive technology. See https://www.youtube.com/watch?v=TVVIpzJf_hk&t=3s

DireenTech Inc. Colorado Springs

@cfallin
Chris Fallin cfallin
Software engineer with a focus on compilers. Currently hacking on WebAssembly-related technologies at F5.

F5 Sunnyvale, CA, USA

@forax
Rémi Forax forax
Assistant Prof., Researcher on runtime environments (Java VM, .NET, etc). OpenJDK member, works/worked on invokedynamic, lambdas, pattern-matching, value types

University Gustave Eiffel (Paris) Paris, France

@b-studios
Jonathan Immanuel Brachthäuser b-studios
Professor of Software Engineering and Programming Languages at University of Tübingen, working on effect systems, control flow, and more.

University of Tübingen Tübingen

@PalumboN
Nahuel Palumbo PalumboN
@E-Sh4rk
Mickaël Laurent E-Sh4rk
Postdoc researcher working on type systems and dynamic programming languages.

Charles University (Prague) France

@asmarcz
Oliver Tušla asmarcz
Bachelor's student @ FIT CTU in Prague
@mlippautz
Michael Lippautz mlippautz

@Google Munich

@simonis
Volker Simonis simonis

Amazon Walldorf, Germany

@ftynse
Oleksandr "Alex" Zinenko ftynse
Compilers and optimization. Polyhedral model. TensorComprehensions. MLIR.

@google Paris, France

@nikomatsakis
Niko Matsakis nikomatsakis

Boston, MA

@Jezurko
Robert Konicar Jezurko
PhD student in compilers and static analysis at Masaryk University.
@martinhruska
Martin Hruška martinhruska

Czech Republic

@sophie-kaleba
sophie-kaleba sophie-kaleba
@bakhtos
Alexander Bakhtin bakhtos
Studying Microservice Architecture from the point of view of Temporal Network analysis.

@M3SOulu Oulu

@rudsberg
Joel Rudsberg rudsberg
Co-founder of InnoTact, former iOS engineer at Fueled, and Computer Science master's student at the Swiss Federal Institute of Technology in Lausanne (EPFL).

@Oracle Zürich, Switzerland

@LaurieWired
LaurieWired
Reverse engineer specializing in cross-platform malware analysis with a focus on mobile threats.
@lukel97
Luke Lau lukel97

Hong Kong

@mkeeter
Matt Keeter mkeeter
Weird CAD and graphics research; embedded software and systems engineering.

@oxidecomputer Cambridge, MA

@msridhar
Manu Sridharan msridhar
UC Riverside professor, researching program analysis and developer tools. Member of @ucr-riple

Riverside, CA

@marcusbuffett
Marcus Buffett marcusbuffett
I hack on stuff sometimes. Working on better chess opening software

Chessbook Moving Around

@amoeller
Anders Møller amoeller

Aarhus University

@hborla
Holly Borla hborla

San Francisco

@jrk
Jonathan Ragan-Kelley jrk
Associate Professor of Computer Science at MIT

MIT Cambridge, MA

@tekknolagi
Max Bernstein tekknolagi
Biking around...

@Shopify Boston, MA

@ndkoval
Nikita Koval ndkoval
@smarr
Stefan Marr smarr
Investigating concurrency, language implementation, and VM technology.

University of Kent Canterbury, UK

@Krzysztof-Cieslak
Krzysztof Cieślak Krzysztof-Cieslak
OSS Troublemaker

@Github @GitHubNext Lodz, Poland

@ChromMob
ChromMob ChromMob
@matklad
Alex Kladov matklad
Computers, democracy, and nervous disorder.

@tigerbeetle Lisbon

@pecimuth
Andrej Pecimuth pecimuth
@rossberg
Andreas Rossberg rossberg
Programming Language Researcher, Designer and Engineer
@arpitbbhayani
Arpit Bhayani arpitbbhayani
Principal Engineer II at @razorpay, ex-Staff Engineer at GCP {Memorystore, Dataproc}, creator @dicedb, ex-Amazon Fast Data

@Razorpay Bangalore

@jesseduffield
Jesse Duffield jesseduffield
Creator of lazygit, lazydocker, horcrux, and the OK? language

Melbourne

@joboccara
Jonathan Boccara joboccara
@headius
Charles Oliver Nutter headius

Headius Enterprises Minneapolis

@eudoxia0
Fernando Borretti eudoxia0
Interests: compilers, programming language theory, chemistry, atomically-precise manufacturing, formal systems.

Sydney, Australia

@tkrodriguez
Tom Rodriguez tkrodriguez

Oracle Labs

@TDacik
Tomáš Dacík TDacik
Ph.D. student at FIT BUT, member of the @VeriFIT research group. Interested in program analysis and (separation) logic.

@VeriFIT

@tfiedor
Tomas Fiedor tfiedor
Wannabe developer/scientist trapped in sea lion body.

Oracle Labs The Mighty Sea

@cloudhubs
Cloudhubs cloudhubs

Hankamer Academic Building, 105 Baylor Ave, Suite H266, Waco, TX 76706

@farquet
François Farquet farquet

Oracle Labs Switzerland

@wdanilo
Wojciech Daniło wdanilo
CEO @enso.org | ex CEO @ flowbox.io | ex CEO @ coddee.co | ex senior Technical Director @ alvernia.com | Forbes 30 Under 30 | Haskeller

enso.org San Francisco (USA) / Krakow (Poland)

@iamrecursion
Ara Adkins iamrecursion
Compilers, type-theory, runtimes, formal verification, cryptography. Audio mixing, mastering and music. Skiing, parkour, martial arts and sailing.

CTO & CFO @tactile-metrology Amsterdam, NL

@ltcmelo
Leandro T. C. Melo ltcmelo

Belo Horizonte