about
Helo, I am Aurea [she/her].
I come from Slovakia, and I am currently based in Zurich, working on a PhD in Rust verification with the Prusti project. I like Rust! I make games for gamejams, and I occasionally make websites and other stuff. I am also interested in cybersecurity and often compete in CTF (competitive hacking) competitions with the Organisers (and cr0wn and EmpireCTF before that).
I am currently looking for a postdoc position.
An abridged CV (full version):
- (2020 - now) PhD student, ETH Zurich
- (2024) Intern, AWS automated reasoning group
- (2019) Intern, Haxe Foundation
- (2016 - 2020) MSc Computer Science, Imperial College London
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.
- @thenet.sk on Bluesky
- @Aurel300@mastodon.gamedev.place
- @Aurel300 on YouTube
- Aurea on StackOverflow
- Aurel300 on GitHub
I sometimes stream with Danae.
Mail me at aurea@thenet.sk
Here is a PGP key:
-----BEGIN PGP PUBLIC KEY BLOCK-----
xjMEab/30xYJKwYBBAHaRw8BAQdAVnrf7EKTsEetKUEBOKOWVbWXyDAamst0
+4LhnurAMKfNIWF1cmVhQHRoZW5ldC5zayA8YXVyZWFAdGhlbmV0LnNrPsLA
EQQTFgoAgwWCab/30wMLCQcJEJCEm5R8YcG2RRQAAAAAABwAIHNhbHRAbm90
YXRpb25zLm9wZW5wZ3Bqcy5vcmeLpVPx9zDhm/YePkaKQFOugJFsVUOOKcgd
ACbkIe8r2AMVCggEFgACAQIZAQKbAwIeARYhBCIvVoKRjVXUcqGBEJCEm5R8
YcG2AABcLgD/VfFiUqxSElU+uGS8OeK0/iP8FJm2+kSOCC7AMVYt7GQBAOhc
4bYj/I7pZvimvOVink/RY4I4LJ7sB+5S9jacfYgFzjgEab/30xIKKwYBBAGX
VQEFAQEHQCDe4zxZ/u62Y8MqqbfqxYRqqkvMpn2Grs8PMwGqPSk8AwEIB8K+
BBgWCgBwBYJpv/fTCRCQhJuUfGHBtkUUAAAAAAAcACBzYWx0QG5vdGF0aW9u
cy5vcGVucGdwanMub3Jnya07LZgighp5RZMnxJey3Zgt4tgVQWOy95bL88vH
Z68CmwwWIQQiL1aCkY1V1HKhgRCQhJuUfGHBtgAANy8A/39zrpDVWe1TlBMB
DGoA7Qu3g/ziMzDDrthAdlAH+OIkAQCiCmUbgGTpJ5lvRjBIiMoZ9RW1Ht2k
2PojnmSwFCy6Cw==
=sl5s
-----END PGP PUBLIC KEY BLOCK-----