Hrvatska ACM sekcija organizira u ponedjeljak 2. 7. 2012. godine na FESB-u u predavaonici C501 dva predavanja koja će održati dr. sc. Domagoj Babić sa University of California, Berkeley. Teme predavanja su:
- Predavanje: Pouzdanost i sigurnost software-a
- Predavanje: Poslijediplomski studij i istraživački boravci u inozemstvu
Predavanja su otvorena za javnost, a posebno su namijenjena mladim znanstvenicima i studentima. Sve informacije o predavanjima se mogu pronaći i na web stranicama hrvatske ACM sekcije: http://croacm.acm.org/
Raspored predavanja:
1. Predavanje: Pouzdanost i sigurnost software-a
Mjesto, datum i vrijeme: FESB, predavaonica C501, 2.7.2012., 10:00 – 11:00
U predavanju će se sažeti glavni rezultati istraživanja predavača u području pouzdanosti i sigurnosti software-a u zadnjih 7-8 godina. Na početku će se dati kratki uvod u statičku analizu software-a, simboličku egzekuciju, te će se dotaknuti pitanja procedura odlučivanja koje se koriste u analizi pouzdanosti. U području sigurnosti software-a, fokus će biti na učenju formalnih jezika te će se pokazati kako se takve metode učenja mogu koristiti u analizi sigurnosti. Tijekom govora, posebno će se naglasak staviti na predavačeve uspjehe i neuspjehe u njegovom istraživanju, te iskustva koja je na svom istraživačkom putu stekao. U nastavku će bit prezentirane mogućnosti suradnje sa istraživačkom grupom predavača. Govor će biti prilagođen mlađim znanstvenicima i zahtijevat će samo osnovna predznanja iz područja računarstva.
2. Predavanje: Poslijediplomski studij i istraživački boravci u inozemstvu
Mjesto, datum i vrijeme: FESB: predavaonica C501, 13:00 – 14:00
Na predavanju će biti predstavljena publikacija "Vodič za poslijediplomski studij u inozemstvu", koja će uskoro doživjeti novo izdanje. Nakon kratkog pregleda generalnih trendova u visokom obrazovanju u svijetu, fokus će se dati na računalne znanosti. Obraditi će se kriteriji koje sveučilišta koriste kod primanja studenata na poslijediplomske studije, te kako jedan tipičan doktorat izgleda na sveučilištima u inozemstvu. Pri tom će biti riječi o tome kako se radi znanost na top sveučilištima, te kako se gleda kvaliteta rada. U nastavku će se obraditi rangiranje sveučilišta u računalnim znanostima, te kako rang sveučilišta utječe na karijere i zaposlenika sveučilišta ali i studenata. Pošto je jedno od najčešćih pitanja o studiju u inozemstvu pitanje financija, pojasnit će se sistem financiranja poslijediplomskih studija, te spomenuti razne izvore financiranja za razmjene studenata.
Životopis dr. sc. Domagoja Babića:
Domagoj Babic is a computer scientist at UC Berkeley. His research focuses on verification, testing, and security of complex software (and hardware) systems, automated inference of system models, design and verification of distributed systems, and applied formal methods in general.
He received his Dipl.Ing. in Electrical Engineering and M.Sc. in Computer Science from the Zagreb University (Faculty of Electrical Engineering and Computing) in 2001 and 2003. He received his Ph.D. in Computer Science in 2008 from the University of British Columbia. After spending some time in industry, he joined UC Berkeley.
He is a recipient of the Canada's NSERC PDF Research Fellowship (2010-2012), Microsoft Graduate Research Fellowship (2005-2007), Fulbright Fellowship (declined to attend UBC), and several awards at international programming competitions (1st place at the 2007 Satisfiability Modulo Theories competition in the bit-vector arithmetic category and 3rd place at the 2005 Satisfiability Testing competition in the satisfiable-crafted instances category).
Domagoj Babic web pages: http://www.domagoj-babic.com/