about
Helo, I am Aurel.
I come from Slovakia, and I am currently based in Zurich, working on a PhD in Rust verification with the Prusti project. I used to write everything in Haxe, though I favour Rust nowadays. I make games for gamejams, and I occassionaly make websites and other creative stuff. I am also interested in cybersecurity and often compete in CTF (competitive hacking) competitions with the cr0wn team (and EmpireCTF before that).
An abridged CV:
- (2020 - now) PhD student, ETH Zurich
- (2024) Intern, AWS automated reasoning group
- (2019) Intern, Haxe Foundation
- (2016 - 2020) MSc Computer Science, Imperial College London
I was an intern at Haxe Foundation in 2019. Some of my most important Haxe-related projects (important to me at least!) are:
ammer
- unified FFI for Haxe targetsplustd
- the library that I used to make most of my gamejam games; now slightly aged, more compact libraries in developmentplumob
- a lightweight library for Haxe mobile development- (and more)
Gamejams are time-limited events where developers make a game, usually following a theme revealed at the start of the event. The gamejams I follow and participate in the most are:
- Ludum Dare / LDJAM - since MiniLD 22 in 2010
- Alakajam! - since its conception in 2017 (I am a co-founder)
- One Hour Game Jam
I enjoy programming and research a lot.
- @Aurel300@mastodon.gamedev.place
- @Aurel300 on YouTube
- Aurel300 on StackOverflow
- Aurel300 on GitHub
@Aurel300 on twitter(unused)
I sometimes stream with Danae.
And here's my public PGP key, if you're into that sorta thing. Mail me at aurel.bily@gmail.com
-----BEGIN PGP PUBLIC KEY BLOCK-----
mQMuBFfUEKcRCADNg1JOqxh7SD5U0hvjdibzjJhHB8dI1bcR+COY+izn99BB2rAQ
Hg7bdWUp+PEtkp3vA9WsfkIrg4trspFhwaLXwmUMmRk3xbZncBgw2/HYtQCOPkwH
OD+PDrg6r8LM9yhsBW2r94HVKlMCxXttrA4DtZO53WYDD1aCeai7f2uqy6YKb13p
PdKvIlCq/ylcc9hhwF8jIdF2IbQ+PDlb31/SVb69TnUhXdBrkf17fAbzMtsnOHUX
/quCZPPJUFG+C0Qe5Z3qOF40dHQI+7PBIp5Sf7Z9kbPaBaKeW3WfvPRGvEiulzIv
Ag6Ry4DjyM3kMddDFIprQhfqmw4IkDrhIaujAQCHkm3txq+oDiFjdaE5uEuzU2I2
mpTORZmR29euPTq3fwgAwtCEDl4ZTvewLTXHwMiK9IR6nHEH3jKSMepZ+tfXyCKr
Q5p7okgDkJxMGct4GHRe+RSSM7Z3ytcMjG6VeQHytQOTmDEJqA1s3ZiN+MkeU4dW
fS2dIpbKHf723zaYqV4o3cFM9J6Yg/VXLDPe1qJIHN1f2LVucTqH1v9022hE+T+k
+l2eHBWcFV+fUvYLk/LntIgSrVGh85vMQQ4fmACXJVn5VlD/jeBb/ur44NXOBtXg
LZWeetrM+KGjbrj/g7PkuMrZhi2RiOI1w5h9qkMZaAWAb49UxXYvm49C0iAnVJPb
e4lY5biQoQmCHyeBlKf9b6K1L/6r5IRLbXDbd9UNhggAgqTKfxnbQ6YzFCNV8eAJ
YAoVkMTbV/Vq6KFIYnKd61OHPYrGfkQ99dxVTir7VOl7g0AUypfj4hdDEPST496/
VeqTbIX/RO1XZzPungEvWD4vON9a1jXWBMTTjdv7NS7cInaj43uedT+h4dfcx3G/
+6L7G5KMsFVadJSd6mOq9uTgNdruYZTdCTrAfL1KGGHtrDMGwMxaqcP/UMn0hN0U
0wtsX9PS62oHizG/8G7Gpmh+keC40hmzSxHcaWHT+4DNMyVJRaejtBOCBQaaEgUy
RM5T2V6aN5nG0V2+78JSlBHkT8aV49yZsiZYJldYkrddOAtjg7fuzqNXQYvDlEoC
jLQoQXVyZWwgKHRoZW5ldC5zaykgPGF1cmVsLmJpbHlAZ21haWwuY29tPoh/BBMR
CAAnBQJX1BCnAhsDBQkAnjQABQsJCAcCBhUICQoLAgQWAgMBAh4BAheAAAoJEGm4
kEKr1peUmnIA/jbPlcnnCMVlubP5vYTefrCKJrUWh7BCkSufEdko6v+JAP9XFK/L
ZdbUC6N9aLPwSo8wrQbRMTC5Yq3P2i0rloKbXLkCDQRX1BCnEAgA8Klx7OEAEBnV
tmU34xQ7KWktxm/MWlftPtpFMRORdsP42w6HPrI30oTH6NUwgO8ph61gIrRycqPJ
HjRPxKItpJo8XWm3KiWhqLDduN7v6VqcMwr0HZEd01eCV+Umfi2rwb//RzO+s87T
t4u31uFxixw1P9N+RXa5ahwikNN5ROi5Trh0DoMcaZ3DSwCAWhv6ejlV4WRIHw14
vdwK9FOL8kxUtQ7DP+ZFPbmBCyS8JkThNm6Ma8LGKIqxTd6hSgvPV2lJguQ1Ub1w
VE2jo4YVFGwhpKskqepG/o3z/UdoXquDL4j3H26ipPl8TteAkZmfzFq5HZWeQIEI
s+Tw2g4i1wADBQf/SJY9p84Gd38hl6x3LDdEEk7a+MbMI93cre0XguH93JlB/t5A
fthHQVKpqKmVSrfrZE7SMJy1WRpFrW2CxkEG3RN/trisVA/HRoFfK7525srRwgPH
dhHYg37RhSQOhzg5yZ82PS6ku2SOQIdLJ6OY65uvIFXFPYEa2NTKjdrj0h3sHrR+
Om6mFdV5bZTJlIelUN+Tr8SGhyA7Wr+AMWGLhVA3XhdZVMgQlR4Gt/n7EAGHJqCv
vtLC9zEuTxkwSYoLuQVg4WxGMgTWl41Hrf+sOjyUJ6I3YRCe+4EoSjp4aO/hJIUA
poM6BkG3PApgyso8dpcyLdDSFiW4hFb9txVbrohnBBgRCAAPBQJX1BCnAhsMBQkA
njQAAAoJEGm4kEKr1peUAkEA/1i7EAAptWnZdqBdkfRUQDx/YaZu5K8q7zDWF5co
ENpoAP9mwnxKMO6FPQ87NaCzzEE8QfPIgQKFovIpu0bEUP5Aeg==
=5dND
-----END PGP PUBLIC KEY BLOCK-----