Dr. Ahmad Tarraf

Dr. Ahmad Tarraf has been working since 2021 as a postdoc at the Technical University of Darmstadt in the laboratory for parallel programming. Dr. Tarraf received his B.Sc. degree in Mechatronics Engineering from RHU Lebanon in 2013 and his M.Sc. degree in Mechatronics Engineering with the specialization simulation and control in 2016 from the Technical University of Darmstadt. From 2017, he was a research assistant at the Institute of Computer Science at the University of Frankfurt in the research field formal abstraction and verification of analog mixed circuits. He later received his doctoral degree (Dr. rer. nat.) Magna Cum Laude in Computer Science from the University of Frankfurt in early 2021. His research interests include high-performance computing, behavioral modeling, machine learning, formal verification, analog mixed-signal design, and robotics. Dr. Tarraf has been involved in several national research projects and two EuroHPC projects (ADMIRE and DEEP-SEA).