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:

I was an intern at Haxe Foundation in 2019. Some of my most important Haxe-related projects (important to me at least!) are:

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:

I enjoy programming and research a lot.

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-----