PhD COMPUTING. THESIS DEFENSE SR. DANIEL LARRAZ HURTADO
- https://computing.phd.upc.edu/en/events/phd-computing.-thesis-defense-sr.-daniel-larraz-hurtado
- PhD COMPUTING. THESIS DEFENSE SR. DANIEL LARRAZ HURTADO
- 2015-07-28T11:00:00+02:00
- 2015-07-28T13:00:00+02:00
When
Jul 28, 2015 from 11:00 AM to 01:00 PM (Europe/Madrid / UTC200)
Where
Room Sala de Juntes. Building B6. Campus Nord. UPC
Add event to calendar
|
“Automatic Program Analysis using Max-SMT” |
DANIEL LARRAZ HURTADO
Advisor: Dr. Albert Rubio Gimeno
Share: