Gian-Luca Dei Rossi Curriculum Vitae et Studiorum

Transcription

1 Gian-Luca Dei Rossi Curriculum Vitae et Studiorum Personal Data Name Surname Place of Birth Gian-Luca Dei Rossi Venice, Italy Date of Birth 10th February 1981 Nationality Education Dec 2013 Apr 2010 Jul 2004 Other Titles Jan 2014 Jun 2010 Current Position Jun Now Italian Contacts Address Via C. Ceolin 30, Gaggio - Marcon (VE), Italy Phone Mobile Web gianluca.deirossi@gmail.com deirossi Ph.D. (Dottorato di Ricerca) in Computer Science, Ca Foscari University of Venice. Thesis: On the Solution of Cooperating Stochastic Models, under the supervision of prof. Simonetta Balsamo. M.Sc. (Laurea Specialistica) in Computer Science, Ca Foscari University of Venice. B.Sc. (Laurea) in Computer Science, Ca Foscari University of Venice Expert (Cultore della Materia), Ca Foscari University of Venice. Habilitation (Esame di Stato) to the profession of IT Engineer, Ca Foscari University of Venice Member of the IT Staff (Tecnico Scientifico ed Elaborazione Dati) at the Department of Environmental Sciences, Informatics and Statistics, Ca Foscari University of Venice. Outline of Research Interests Performance and reliability evaluation of computer systems and networks Stochastic modelling Discrete event simulation Detailed Research Interests Main Topic Methodology My main research topic is the quantitative modelling of computer systems and networks, and in particular the efficient solution of the obtained models, i.e., the verification of their properties and the computation of their performance indices. During the past years I have worked using a variety of formalisms, such as stochastic process algebras, queueing networks, stochastic Petri nets and stochastic automata, and a variety of solution techniques, both analytical and by simulation. 1

2 Contributions Other Topics Impact Current Teaching Activities During and after my Ph.D. I have worked on the development of both theories and tools which are able to identify classes of models, expressed as a cooperation of components (composition of processes), that can be solved in computationally efficient ways, either by product-form decomposition, in which, given some structural properties of the components and their cooperation, it is possible to efficiently derive the steady-state probabilities of the composed stochastic models looking only to the components in isolation, or by states space aggregation (lumping), in which states of the model are partitioned according to an equivalence relation. Moreover, I have contributed to the development of the notion of conditional product-form, which shows that product-forms and states space aggregation theories are indeed related. and have shown examples on the applicability of those theoretical results to the performance modelling of realistic systems. Besides the aforementioned core topics, I worked also on other areas, such as the translation of models expressed in a high-level hierarchical formalism to BCMP networks, the modelling and optimisation of garbage collection policies and packets fragmentation in wireless networks using matrix-geometric techniques, the use of semi-markov models and simulation to devise a heuristic for energy consumption optimisation in ARQ protocols, the use of formal methods and process algebras to evaluate the resistance of mobile networks to jamming and of probabilistic model checking to evaluate the performances of cognitive wireless networks and formally verify some of their properties. I have also contributed to a work on the formal specification and verification of firewall rules and on the practical implementation of these concepts in a firewall specification tool. All the aforementioned activities led to international peer-reviewed publications. The techniques that I contributed to devise leads to a significant reduction (from exponential to polynomial) in the computational complexity of the solution of new classes of stochastic models which can be used in the analysis of computer and networking systems. Moreover I have developed software that was used by tools written by research groups of other universities. For what concerns ongoing research, I am currently working on product-form theories and time-reversed stochastic processes. In a broader perspective, one of my long-term goal is to determine if there is a common structural property of all the models in productform, including those that don t satisfy the hypothesis of current results in the literature Adjunct Professor (professore a contratto) for the System Administration Lab course at the B.Sc. in Computer Science, Ca Foscari University of Venice. 2013,2014 Teaching Assistant for the Foundations of Programming Languages and the Performance and Reliability of Computer Systems courses at the M.Sc. in Computer Science, Ca Foscari University of Venice. 2011,2012,2013 Teaching Assistant for the Operating Systems course at the B.Sc. in Computer Science, Ca Foscari University of Venice Teaching Assistant for the Probability course at the B.Sc. in Computer Science, Ca Foscari University of Venice. 2

3 Project Memberships and Proposals 2014 Principal Investigator for a proposed SIR (Scientific Independence of Young Researchers) project titled APSAT - Advancements in Product-forms and States-space Aggregation Techniques. Currently waiting for evaluation Member of the PRIN Project CINA (Compositionality, Interaction, Negotiation, Autonomicity) for the Venice operative unit. Ohter Academic Activities Jul-Sep 2012 Visiting Researcher at the Laboratory for Foundations of Computer Science in the School of Informatics of the University of Edinburgh, under the supervision of prof. Jane Hillston Member of various representative bodies (Consiglio di Dipartimento, Collegio di Dottorato, Consiglio della Scuola Dottorale, Consulta dei Dottorandi, Assemblea dei Rappresentanti degli Studenti, Commissione Paritetica) at Ca Foscari University of Venice. Awards Nov 2012 Best PhD Research Work Award at the PhD Opening Ceremony of Ca Foscari University of Venice, for Quantitative analysis and security verification of mobile systems (joint work with S. Calzavara, L. Gallina, W. Khan and A. Spanò). Conference Attendances and Talks IFIP Wireless Days 2010, held in Venice, Italy, October Participation in the local organisation of the conference. The 24th annual European Simulation and Modelling Conference, ESM 2010, held in Hasselt, Belgium, October. Presentation of [P3]. The 9th Annual Industrial Simulation Conference, ISC 2011, held in Venice, Italy, 6-8 June Participation in the local organisation of the conference. Presentation of [P4]. The 18th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2011, held in Venice, Italy, June Participation in the local organisation of the conference. Presentation of [P5]. Joint Workshop on Compositional Modelling and Analysis of Quantitative Systems, MLQA 2012, held at the University of Edinburgh, United Kingdom, 8 September The 27th International Symposium on Computer and Information Sciences, ISCIS 2012, held at the Institut Henri Poincaré, in Paris, France, 3-5 October Presentation of [P4]. The 26th European Simulation and Modelling Conference, ESM 2012, held at the FOM University of Applied Sciences, in Essen, Germany, October Presentation of [P10]. The 20th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2013, held in Gent, Belgium, 8-10 July Presentation of [P11]. 3

4 Publications Journals The 10th European Workshop on Performance Engineering, EPEW 2013, held in Venice, Italy, September Participation in the local organisation of the conference. Presentation of [P12]. [J1] E. Barbierato, G. Dei Rossi, M. Gribaudo, M. Iacono, and A. Marin. Exploiting product form solution techniques in multiformalism modeling. Electronic Notes in Theoretical Computer Science, 296:61 77, ISSN [J2] S. Balsamo, G. Dei Rossi, and A. Marin. Lumping and reversed processes in cooperating automata. Annals of Operations Research. ISSN / Online First available, In press. [J3] S. Balsamo, G. Dei Rossi, and A. Marin. Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems. Int. Journal of Computer Aided Engineering and Technology, ISSN / In press. Proceedings [P1] S. Balsamo, G Dei Rossi, and A. Marin. A tool for the numerical solution of cooperating Markov chains in product-form. In Proc. Of Int. Conf. HET-NETs, pages Zakopane, PL, January, ISBN [P2] S. Balsamo, G. Dei Rossi, and A. Marin. A numerical algorithm for the solution of product-form models with infinite state spaces. In Proc. of EPEW 2010: Comp. Perf. Eng., pages LNCS 6342/2010, Bertinoro, Italy, ISBN ISSN [P3] S. Balsamo, G. Dei Rossi, and A. Marin. Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems. In Proc. of Int. Conf. ESM 2010, pages Eurosis, Hasselt, BE, ISBN [P4] G. Dei Rossi, A. Marin, M. Rosati, and S. Balsamo. A simulation package for an energy-aware comparison of ARQ protocols. In Proc. of Int. Conf. ISC 2011, pages Eurosis, Venice, IT, ISBN [P5] S. Balsamo, G. Dei Rossi, and A. Marin. Optimisation of virtual machine garbage collection policies. In LNCS 6751/2011, proc. Int. Conf. ASMTA, pages Springer, Venice, IT, ISBN ISSN [P6] G. Dei Rossi and A. Marin. A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols. In proc. Int. Conf. IFIP Wireless Days. IEEE, Niagara Falls, CA, ISBN ISSN [P7] S. Balsamo, G. Dei Rossi, and A. Marin. Lumping and reversed processes in cooperating automata. In LNCS 7314, Proc. of Int. Conf. ASMTA, pages Springer, Grenoble, FR, ISBN ISSN [P8] S. Balsamo, G. Dei Rossi, and A. Marin. Cooperating stochastic automata: approximate lumping an reversed process. In Comp. and Inf. Sciences III, ISCIS, pages Springer, Paris, FR, ISBN /

5 [P9] L. Gallina, G. Dei Rossi, A. Marin, and S. Rossi. Evaluating resistance to jamming and casual interception in mobile wireless networks. In Proc. if Int. Conf. MSWIM, pages ACM, Paphos, CY, ISBN [P10] S. Balsamo, G. Dei Rossi, and A. Marin. A survey on multi-formalism performance evaluation tools. In Proc. of Int. Conf. ESM, pages Eurosis, Essen, DE, ISBN [P11] S. Balsamo, G. Dei Rossi, and A. Marin. Modelling retrial-upon-conflict systems with product-form stochastic Petri nets. In LNCS 7984, Proc. of Int. Conf. ASMTA, pages Springer, Gent, BE, ISBN ISSN [P12] G. Dei Rossi, L. Gallina, and S. Rossi. Performance analysis and formal verification of cognitive wireless networks. In Proc. of EPEW 2013: Comp. Perf. Eng., pages LNCS, Springer, ISBN ISSN [P13] S. Balsamo, G. Dei Rossi, and A. Marin. Queueing networks and conditional product-forms. In Proc. of Int. Conf. VALUETOOLS, pages ACM, Turin, IT, ISBN Ph.D. Thesis Reports Abstracts [P14] P. Adão, C. Bozzato, G. Dei Rossi, R. Focardi, and F. Luccio. Mignis: A semantic based tool for firewall configuration. In Proc. of Int. Conf. CSF, pages IEEE Computer Society Press, Wien, AS, ISBN [T1] G. Dei Rossi. On the Solution of Cooperating Stochastic Models. Dottorato di ricerca in informatica, Università Ca Foscari di Venezia, [R1] S. Balsamo, G. Dei Rossi, and A. Marin. Efficient solutions for cooperating automata based on forward and reversed lumping. Technical Report DAIS , Dip. di Scienze Ambientali, Informatica e Statistica, Università Ca Foscari Venezia. [A1] P. Adão, C. Bozzato, G. Dei Rossi, R. Focardi, and F. Luccio. A semantic based tool for firewall configuration. In HotSpot. Grenoble, FR, I hereby authorise the use of my personal data in accordance with Italian Privacy Protection Law no. 196/03. Venice, January 8th,