Friday 2 March 2018 16:45
Verification of program parallelization
Saeed is PhD-student in the research group Formal Methods and Tools. His supervisor is Marieke Huisman from the Faculty of Electrical Engineering, Mathematics and Computer Science
More events
Tue 30 Apr 2024 16:30 - 17:30PhD Defence Zahra Atashgahi | Advancing Efficiency in Neural Networks through Sparsity and Feature Selection
Thu 2 May 2024 14:30 - 15:30PhD Defence Tatiana Soto Montero | Single-source pulsed laser deposition of hybrid halide perovskite for solar cells
Fri 3 May 2024 10:30 - 11:30PhD Defence Joost van Andel | Relational Coaching for Management Consultants - A Social Constructionist Action Research Study
Fri 3 May 2024 12:30 - 13:30PhD Defence Rob Bemthuis | Emergent Behaviors in a Resilient Logistics Supply Chain
Fri 3 May 2024 14:30 - 15:30PhD Defence Yordi Slotboom | Ethylene production by pulsed compression