A 10-week course on formal verification with Lean 4, co-organized by GDG @ AUB Software Team and the AUB Math Society.
All undergraduate coursework I completed as a student at AUB.