Differences
This shows you the differences between two versions of the page.
|
start [2013/11/30 01:13] fabrizio |
start [2020/08/31 11:04] (current) fabrizio |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | **Hi!** I'm Fabrizio, a postdoctoral researcher at the Department of Informatics Systems and Communications of the University of Milano - Bicocca. | + | I'm Fabrizio Pastore, Chief Scientist II at the [[https://wwwen.uni.lu/snt|SnT Centre for Security Reliability and Trust]] of the University of Luxembourg. In the past, I've been an assistant professor at the [[http://www.disco.unimib.it|University of Milano - Bicocca]]. |
| - | My Reserach interests regard Software Engineering, in particular Automatic Debugging, Program Analysis, and Software Testing. | + | My Research interests concern Software Engineering, in particular Software Testing, Program Analysis, Specifications Mining, and Automated Debugging. I work with embedded, cyber-physical systems, AI-enabled components, mobile devices. My research contributions concern DNN error explanation, requirements-driven testing, model-based testing, metamorphic testing, security testing, anomaly detection based on trace analysis, fault localization. |
| - | The core of my research regards dynamic program analysis. Over teh years I designed several techniques that support software developers in the debugging of faults through monitoring or log file analysis. | + | I'm principal investigator of two research projects, [[http://faqas.uni.lu|Fault-based, Automated Quality Assurance Assessment and Augmentation for Space Software (FAQAS )]], funded by the European Space Agency, and Functional Safety for Autonomous Systems (FUNTASY), funded by [[http://fnr.lu/|FNR]]. In addition, I co-lead a number of industrial partnerships and European projects at [[http://www.svv.lu|SnT's Software Verification and Validation lab]]. |
| - | I am currently working on the development of techniques that integrate model checking and dynamic program analysis to automatically spot regression faults not detected by traditional regression testing. | + | I conduct context-driven research that always ends up in publications in top software engineering venues and usable research prototypes. A list of toolsets based on my research is available on the [[http://www.fabriziopastore.com/doku.php?id=tools|tools]] page. |
| - | From a couple of year I am working on the adoption of crowdsourcing platforms to support softwrae engineering tasks. This year I organize with Gordon Fraser, Leonardo Mariani, Thomas LaToza, and Nikolai Tillman the CrowdSourcing In Software Engineering (CSI-SE) workshop co-located with ICSE-2014 (more info available at the [[http://www.lta.disco.unimib.it/csi-se/|CSI-SE web site]]). | ||