Alexander Mayorov ZeroBone

🎯

Focusing

Backend developer, computer science student. Interested in theoretical cs, algorithms, formal languages, compiler design, logic, automated reasoning, e.t.c.

72 followers · 25 following

RPTU Kaiserslautern-Landau
Kaiserslautern, Germany
21:25 (UTC +02:00)
https://zerobone.net
@ZeroBone21
zerobonezb

Achievements

DMlabs DMnext

Andrii Lomakin andrii0lomakin

Creator of OrientDB storage engine.

Czech Republic

Daniel STAN b2moo

matthewhague

Anthony W. Lin anthonywlin

Professor at University of Kaiserslautern. Does formal verification, automated theorem proving, and programming languages.

University of Kaiserslautern Germany

Ryan Dougherty ryandougherty

Fabian von der Warth fabianvdW

Graduate mathematics student at RPTU Kaiserslautern - Landau Author of FabChess - a chess engine written in Rust.

Kaiserslautern

Jon Gjengset jonhoo

Rust educational streamer. At @helsing-ai. Previously at AWS. A fan of making things secure, fast, scalable, and well-documented.

@helsing-ai Oslo, Norway

Matthias Georg Mayer matthiasGmayer

markushandel

Mindaugas Rasiukevicius rmind

Consulting or freelance only.

Nox Technologies Ltd London (UK) / Vilnius (Lithuania)

Exploit Education ExploitEducation

Vladislav Dubrovsky alohaeee

BSTU Voenmeh Saint-Petersburg

Joel Yliluoma bisqwit

The Bisqwit. Free software author. YouTuber. Founder of #TASVideos. ROM hacker. Coach drⅳer. Teacher of #IsraeliFolkDance. Speaker of Hebraic Roots apologetics.

Finland