Yecine Megdiche

Yecine Megdiche is a Master of Science candidate in Software Engineering at Technical University of Munich, with a Bachelor of Science in Informatics. Yecine has accumulated diverse experience, including a current position as a Working Student at Predium and a previous internship at Salesforce focused on Tableau HyPer Database. Additionally, Yecine served as a Student Assistant at Technical University of Munich's Chair for Logic and Verification, continuing work on Isabelle's linter component initiated during the Bachelor's thesis. Previous roles include a Working Student Developer at Comsysto Reply GmbH and tutoring in database fundamentals and mathematics for computer science. Skills encompass Scala, Isabelle, interactive theorem provers (ITPs), static analysis, and linters.