BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Date iCal//NONSGML kigkonsult.se iCalcreator 2.20.2//
METHOD:PUBLISH
X-WR-CALNAME;VALUE=TEXT:Eventi DIAG
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:STANDARD
DTSTART:20171029T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20170326T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RDATE:20180325T020000
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:calendar.12440.field_data.0@www.u-gov-ricerca.uniroma1.it
DTSTAMP:20260408T085600Z
CREATED:20170908T085338Z
DESCRIPTION:As humans\, we are faulty. So is the software we build. Can mac
 hines help us counter our mistakes? The programming language community is 
 committed to pushing the limits of how automated techniques can help us bu
 ild secure and scalable software systems. In this talk\, I would like to r
 eport on my recent research activities in the fascinating endeavours of co
 mpiler technologies and analysis techniques for software performance and r
 eliability.
DTSTART;TZID=Europe/Paris:20170911T120000
DTEND;TZID=Europe/Paris:20170911T120000
LAST-MODIFIED:20191008T082902Z
LOCATION:Aula Magna\, DIAG
SUMMARY:Scalable and secure software: new and old challenges in programming
  languages -- Seminario relativo a procedura valutativa a prof. di I fasci
 a SC 09/H1 SSD ING-INF/05  indetta con D.R. n. 3153/2016 del 13/12/2016 - 
 Camil Demetrescu\n\n\n  \n  \n\n    \n\n\nCamil\n\n\nDemetrescu  \n\n  \n
 \n    \n\n\n\n\n\nesterno\n\n\npagina personale\n\nstanza: \n\nB220\n\ntel
 efono: \n\n+39 0677274115  \n\n  \n\n    \n\nBiografia: \n\nHa conseguito 
 un dottorato di ricerca in Ingegneria Informatica nel 2001 alla Sapienza U
 niversità di Roma. La sua tesi ha ricevuto uno dei due premi del capitolo 
 italiano dell'EATCS per le due migliori tesi di dottorato in informatica t
 eorica del 2001. E' stato visitatore scientifico presso i laboratori AT&T 
 (Florham Park\, NJ\, USA) nel gruppo di reti e presso la IT University di 
 Copenhagen nel gruppo di informatica teorica. E' stato inoltre consulente 
 scientifico presso i laboratori Microsoft Research - Silicon Valley. E' at
 tualmente professore ordinario presso Sapienza Università di Roma.\n\nInte
 ressi di ricerca: \n\nAnalisi di programmi (cybersecurity\, profiling\, de
 bugging\, visualizzazione del software)\nAlgoritmi e strutture dati\nAlgor
 itmica sperimentale\nVisualizzazione del software\nBIbliometria\n\n\nquali
 fica_rr: \n\nProfessors
URL;TYPE=URI:http://www.u-gov-ricerca.uniroma1.it/node/12440
END:VEVENT
END:VCALENDAR