About Me

1 minute read

Software dev.

Into engineering, formal verification & distributed systems.

Langs: Rust, Python, TypeScript, C#, Ada, TLA+.

📧 dev [at] younes [dot] io