Presenter

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 interest includes high-performance computing, efficient file and storage systems, behavioral modeling, machine learning, formal verification, symbolic analysis, analog mixed-signal design, cybernetics, and robotics. Dr. Tarraf has been involved in several national research projects and is currently involved in the two EuroHPC projects ADMIRE and DEEP-SEA.