Tage Johansson

Sweden I'm a master's student at Uppsala University. I like optimization (SMT/CP/MIP), AI, and programming languages. My favorite is Rust, but I know a dozen more.