Camil Demetrescu
Biografia
Ha conseguito un dottorato di ricerca in Ingegneria Informatica nel 2001 alla Sapienza Università 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 teorica 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' attualmente professore ordinario presso Sapienza Università di Roma.
Interessi di ricerca
- Analisi di programmi (cybersecurity, profiling, debugging, visualizzazione del software)
- Algoritmi e strutture dati
- Algoritmica sperimentale
- Visualizzazione del software
- BIbliometria
Riconoscimenti e premi
OOPSLA 2011 Distinguished Paper Award, Annual ACM Conference on Object-Oriented Programming, Systems, Languages & Applications
2002 EATCS Italian Chapter Prize for the best two Ph.D. Theses in Theoretical Computer Science
Membro di
Ultime pubblicazioni
| Handling Memory-Intensive Operations in Symbolic Execution on ISEC 2022: 15th Innovations in Software Engineering Conference | 2022 |
| Fuzzing Symbolic Expressions on 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) | 2021 |
| FUZZOLIC: Mixing fuzzing and concolic execution on COMPUTERS & SECURITY | 2021 |
| Are Italian research assessment exercises size-biased? on SCIENTOMETRICS | 2020 |
| On bibliometrics in academic promotions: a case study in computer science and engineering in Italy on SCIENTOMETRICS | 2020 |
| Memory Models in Symbolic Execution: Key Ideas and New Thoughts on SOFTWARE TESTING, VERIFICATION & RELIABILITY | 2019 |
| On the Shapley value and its application to the Italian VQR research assessment exercise on JOURNAL OF INFORMETRICS | 2019 |