CURRICULUM VITAE LUCA BORTOLUSSI

Transcription

1 CURRICULUM VITAE LUCA BORTOLUSSI Name: Luca Bortolussi Biographic Data Date and Place of Birth:/07/1980, Latisana (UD), Italy. Address: Via G.B. Vico 21, Portogruaro (VE). Office Address: Dipartimento di Matematica ed Informatica, Università degli Studi di Udine, Via delle Scienze 206, 33100, Udine (phone ; fax ). Phone Number: Home Page: CF: BRTLCU80L01E473N Working Experiences 01/05/ /07/2003: member of the administration council of the University of Trieste, Italy. 01/10/ /07/2003: tutor of Mathematical Analysis and Physics for the undergraduate course of mathematics, University of Trieste, Italy. 1/11/ /10/2006: PhD student of computer science, University of Udine, Italy. 15/01/ /07/2005: Visiting PhD Student at Dept. of Computer Science, Imperial College, London, UK, under the supervision of Chris Hankin and Herbert Wiklicky. Studies 01/09/ /07/1999: diploma di liceo scientifico (scientific high school degree), with evalutation of 100/100, granted by Liceo scientifico "XXV Aprile" Portogruaro (VE), Italy. 01/09/ /07/2003: graduated on 9 luglio 2003 in Mathematics cum laude and Excellency award, University of Trieste, Italy. Thesis: "Possibilities as coherent previsions. Tecniques of representation and management of incomplete knowledge".

2 Awards Premio Marco Reni 2006, for the excellency of the master thesis, awarded by Dipartimento di Matematica ed Informatica, Unversità di Trieste. Schools and conferences attended 15/06/ /06/2003: participation to the first meeting of the INdAM research group of bioinformatics. 17/04/ /04/2004: participation to the International School on Computational Sciences for Complex System in Biology, Rovereto, Italy ( 29/05/ /06/2004: participation to the 1st International School on Advanced BioMedicine and BioInformatics, Lipari, Italy ( 15/06/ /06/2004: participation to CILC04 (Italian conference on logic programming) 30/08/2004: participation to BIOCONCUR04 (satellite workshop of CONCUR 04) 19/09/ /09/2004: participation to the first international school of Biology, Information and Computation, Dobbiaco, Italy (BCI 04). 25/09/2004: participation to the workshop GISC04, Dobbiaco, Italy. 16/12/ /12/2004: participation to the conference CONVERGING SCIENCES, Trento, Italy. 18/03/ /03/2005: participation to BITS 2005, the annual meeting of the bioinformatics Italian society, Milan. 11/06/ /06/2005: participation to 3 rd Bertinoro Meeting in Computational Biology, Bertinoro (FC). 18/07/ /07/2005: participation to EASSS 2005, the 7 th European School on Agent Systems, Utrecht, NL. 25/07/2005: participation to MAS-BIOMED 2005 (satellite workshop of AAMAS 2005). 11/09/ /09/2005: participation to the second international school of Biology, Information and Computation, Dobbiaco, Italy (BCI 05). 1/10/2005 4/10/2005: participation to ICLP 2005, the 21 st Internationa Conference on Logic Programming, Sitges, Spain.

3 5/10/2005: partecipation to the first Workshop on Constraint Based Methods for Bioinformatics (WCB2005), satellite workshop of ICLP, Sitges, Spain. 28/10/2005 6/11/2005: participation to the first international school on the Analysis of Patterns, Erice, Italy. 14/02/ /02/2006: participation to the annual meeting of GNCS, Milano, Italy. 01/04/ /04/2006: participation to 4 th international workshop on Quantitative Aspects of Programming Languages, QAPL 2006, Vienna, Austria. 17/04/ /04/2006: participation to the workshop Simulation and Verification of Dynamical Systems, Dagsthul, Saarland, Germany. 21/05/ /05/2006: participation to the 6 th congress of Italian Society of Applied and Industrial Mathematics, SIMAI 2006, Baia Samuele, Ragusa, Italy. 29/06/ /06/2006: participation to the workshop PASTA, Process, Algebras and Stochastically Timed Activities, Imperial College, London, UK. 02/07/ /07/2006: participation to 10 th International conference on information Processing and Management of Uncertainty, IPMU 2006, Paris, France. 20/08/ /08/2006: participation to World Computer Congress, Theoretical Computer Science, Santiago de Chile, Chile. 05/09/ /09/2006: participation to international conference on soft methods for probability and statistics, SMPS 2006, Bristol, UK. 11/09/ /09/2006: participation to 3 rd International school on biology, computation and information, BCI 2006, Dobbiaco, Italia. 25/09/2006: participation to 2 nd international workshop on constraint methods in bioinformatics, WCB 2006, satellite event of CP 2006, Nantes, France. Activities Member of GULP (Italian group of logic programming) Member of the organization committee of the First Int. School on Biology, Computation and Information (BCI 2004), September 19 25, 2004, Dobbiaco (BZ), Italy ( Member of the organization committee of the Second Int. School on Biology, Computation and Information (BCI 2005), September 11 16, 2005, Dobbiaco (BZ), Italy (

4 Member of the organization commitee of RCRA 2006, Italian Conference on Knowledge representation and Automated Reasoning. Member of the organization committee of the Third Int. School on Biology, Computation and Information (BCI 2006), September 11 16, 2006, Dobbiaco (BZ), Italy ( Reviewer Activity for: WCB 2005, Sitges (satellite event of ICLP 2005). IPMU 2006, Paris. ICLP 2006, Seattle. CMSB 2006, Trento. Theoretical Computer Science journal. Seminars held "Interpretation of Fuzzy Membership Function - Philosophical and Mathematical Issues", 12 th february 2003, Department of Mathematical Sciences, University of Trieste. "Suffix Trees: from exact to approximate string matching", 17 th december 2003, Department of Mathematical Sciences, University of Trieste. Kolmogorov Complexity and lower bound proving, 23 rd February 2004, Department of Mathematics and Computer Science, University of Udine. Kolmogorov Complexity and its informational meaning, 2 nd March 2004, Department of Mathematical Sciences, University of Trieste. Protein Folding Simulation in CCP, 3 rd June 2004, student session at 1st International School on Advanced BioMedicine and BioInformatics, Lipari, Italy. BuST - Bundled Suffix Trees, 21 st March 2005,, Department of Mathematics and Computer Science, University of Udine. Multi-Agent Simulation of Protein Folding, 8 th July 2005, EBI, Cambridge, UK. Multi-Agent Simulation of Protein Folding, 20 th July 2005, student session at EASSS 2005, Utrecht, NL. Multi-Agent Simulation of Protein Folding, 16 th September 2005, student session at BCI 2005, Dobbiaco, IT.

5 Perspectives on concurrency and Biological Systems, 12 th december 2005, SISSA, Trieste, IT. Multi-Agent Simulation of Protein Folding, 13 th december 2005, FIRB meeting, Verona, IT. Perspectives on concurrency and Biological Systems, 9 th february 2006, Workshop on Bioinformatics, Trieste, IT. Fuzzy Codebooks and Fuzzy Channels, 15 th february 2006, GNCS meeting, Milano, IT. Stochastic Concurrent Constraint Programming, 10 th april 2006, PRIN meeting, Padova, IT. From Process Algebras to Differential Equations and Return, 21 st April 2006, Dagsthul, Germany. Bioinformatica: un mix tra biologia, matematica ed informatica, 28 th april 2006, Trieste, IT (lesson for the course of Biotecnology). Courses held: Teaching Activity Teoria dell 'Informazione- Information Theory (Second Module- Channel Codes). AA , Laurea Specialistica in Informatica, Università di Udine. Laboratorio di Algoritmi e Strutture Dati Exercitations of Algorithms and Data Structures. AA , Laurea Triennale in Informatica, Università di Udine. Fondamenti Logici dell'informatica Logics for Computer Science. AA , Laurea Triennale in Informatica, Università di Trieste. Other Teaching Activity: Tutor for the courses of Analysis 1 and 2, AA , Laurea Triennale in Matematica, Università di Trieste. Correlator of the following thesis:

6 Bosco Matteo, Studio dei SAW su reticolo SQ. Laurea di 1 Livello in Informatica, Universita di Udine. Relatore: prof. Agostino Dovier. D Arrigo Giulio, Determinazione dei Self-avoiding Walks su vari reticoli: algoritmo del pivot. Laurea di 1 Livello in Informatica, Universita di Udine. Relatore: prof. Agostino Dovier. Pivetta Fabio, Determinazione dei Self-avoiding Walks su vari reticoli: algoritmo slithering snake. Laurea di 1 Livello in Informatica, Universita di Udine. Relatore: prof. Agostino Dovier. Pignaton Fabio, Simulazione multiagente del processo di folding di proteine. Laurea di 1 Livello in Informatica, Universita di Udine. Relatore: prof. Agostino Dovier. Zardini Marco, Simulazione concorrente del processo di folding di proteine. Laurea di 1 Livello in Informatica, Universita di Udine. Relatore: prof. Agostino Dovier. Tonolo Piero: Implementazione MPI di un metodo multiagente per la predizione di struttura di proteine. Laurea in Informatica, vecchio ordinamento, Università di Udine.

7 Publications Papers on National or International Scientific Journals P. Vicig, L. Bortolussi. Fuzzy Possibilities as Upper Previsions, International Journal of Uncertainty, Fuzziness and Knowledge-based Systems, Vol. 12, No. 5, , October L. Bortolussi, A. Dal Palu', A. Dovier, F. Fogolari. Agent-based Protein Folding Simulation. In Intelligenza Artificiale, Anno II, n. 1, Marzo A. Sgarro, L. Bortolussi. Codeword Distinguishability in Minimum Diversity Decoding. To appear in Journal of Discrete Mathematics and Criptography. Contributions to Scientific Conferences with Review L. Bortolussi, A. Dal Palu', A. Dovier. Constraint-based tools for protein folding. DEMO. Proceedings of Convegno Italiano di Logica Computazionale, CILC'04, pp , Parma, June L. Bortolussi, A. Sgarro. Fuzzy Integrals and Error Correction in a Telephone Network with Sensitive Users. Proceedings of the International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2004, Perugia, 4 9 July L. Bortolussi, A. Dal Palù, A. Dovier, and F. Fogolari. Protein Folding Simulation in CCP, Proceedings of 2 nd Workshop on Concurrent Models in Molecular Biology, BioConcur 2004, satellite of Concur 2004, London, 30 August L. Bortolussi, A. Dal Palù, A. Dovier, and F. Fogolari. Protein Folding Simulation in CCP, Proceedings of IX Convegno della Associazione Italiana Intelligenza Artificiale, AI*IA 2004, Perugia, September L. Bortolussi, F. Fabris, A. Policriti. Bundled Suffix Trees, Proceedings of annual meeting of the Bioinformatics Italian Society, BITS 2005, Milano, March 2005.

8 L. Bortolussi, A. Dovier, F. Fogolari. Multi-Agent Simulation of Protein Folding. Proceedings of 1 st International Workshop on Multi-Agent Systems for Medicine, Computational Biology, and Bioinformatics, MAS-BIOMED 2005, Utrecht (The Netherlands), 25 July L. Bortolussi, H. Wiklicky. A Distributed and Probabilistic Concurrent Constraint Programming Language.Proceedings of 21st International Conference of Logic Programming, ICLP 2005, Sitges (Spain), 2-4 October 2005, Lecture Notes in Computer Science, LNCS 3368, Springer-Verlag, M. Gabbrielli and G. Gupta (Eds.), pp L. Bortolussi. Concurrent Methodologies for Global Optimization. Doctoral Consortium. Proceedings of 21 st International Conference of Logic Programming, ICLP 2005, Sitges (Spain), 2-4 October 2005, Lecture Notes in Computer Science, LNCS 3368, Springer-Verlag, M. Gabbrielli and G. Gupta (Eds.), pp L. Bortolussi, A. Sgarro. Constraint Satisfaction Problems on DNA Strings. Proceedingsof 1 st Workshop on Constraint Based Methods for Bioinformatics,, satellite of ICLP 2005, Sitges (Spain), 5 October L. Bortolussi. Stochastic Concurrent Constaint Programming. Proceedings of 4 th International Workshop of Quantitative Aspects of Programming Languages, QAPL 2006, Wien, Austria, 1-2 April F. Fogolari, L. Pieri, L. Bortolussi, A. Dovier. A statistical empirical energy function for proteins.proceedings of annual meeting of the Bioinformatics Italian Society, BITS 2006, Bologna, April L. Bortolussi, A. Sgarro. Channel Models for DNA Word Design. Proceedings of SIMAI, Baia Samuele, Ragusa, May L. Bortolussi, A. Policriti. Connecting Process Algebras and Differential Equations for Systems Biology. Proceedings of PASTA 2006, London, June L. Bortolussi, A.Sgarro. Fuzzy Codebooks for DNA Word Design. Proceedings of IPMU 2006, Paris, July L. Bortolussi, F. Fabris, A. Policriti. BuST - Bundled Suffix Trees. Proceedings of IFIP-TCS 2006, Santiago, Chile, August 2006.

9 L. Bortolussi, A.Sgarro. Possibilistic channels for DNA word design. Proceedings of SMPS 2006, Bristol, September L. Bortolussi, A. Policriti. Modeling Biological Systems in Stochastic Concurrent Constraint Programming. Proceedings of WCB 2006, Nantes, France, September Technical Reports L. Bortolussi, P. Vicig, Fuzzy Possibilities as Upper Previsions, Quaderni del dipartimento di Matematica Applicata "B. de Finetti", 4/2003. Submitted to Journals and Conferences L. Bortolussi, A. Dovier, F. Fogolari. Multi-Agent Protein Structure Prediction. Submitted to Journal of Multi Agents and Grid Systems. Under Development L. Bortolussi, A. Policriti. Modeling Biological Systems in Stochastic Concurrent Constraint Programming. (Journal Version) Note that all publications are available online for downloading from Further information can be obtained from the following experts: Alberto Policriti Angelo Montanari Agostino Dovier Andrea Sgarro Francesco Fabris Herbert Wiklicky Luca Bortolussi