I am looking for mathematically-inclined students who are (possibly, but not necessarily) interested in formal verification, automata, logic, algorithmic game theory, and explainability of algorithms.
If you are interested, or want to hear more, contact me / check out my publications / join my course.