Your SlideShare is downloading. ×
0
Stefano Bragaglia CV (January 2014)
Stefano Bragaglia CV (January 2014)
Stefano Bragaglia CV (January 2014)
Stefano Bragaglia CV (January 2014)
Stefano Bragaglia CV (January 2014)
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

Stefano Bragaglia CV (January 2014)

150

Published on

Stefano Bragaglia's Curriculum Vitae, list of publication and one-page graphical summary (updated to January 2014).

Stefano Bragaglia's Curriculum Vitae, list of publication and one-page graphical summary (updated to January 2014).

Published in: Career
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
150
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
3
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. 1/14UPDATED TOCurriculum Vitæ PERSONAL INFORMATION in /in/stefanobragaglia i! +39 349 190.90.60 stefano.bragaglia@gmail.comVia Rimembranze n 6/a 40068 – San Lazzaro di Savena Bologna (ITALY) Stefano Bragaglia, Ph.D. M.Sc. Key to lines Education Work experience Academy experience Research projects Project correlations †Current Position Research associate, temporary teacher Dept. of Computer Science and Engineering University of Bologna now -1-5 now-2-3-4-7 -6past -1-5 -2-3-4-7 -6past This diagram is inspired to the original design for the Tube map conceived in 1931 by Harry Beck 2013 2011 20092007past years 2006 2008 2010 2012 2010 2010 20122011 2007 past years 2006 2008 2009 20112011 High School Diploma in Scientific Studies Liceo Scientifico “A. Righi” M.Sc. (5 yrs) in Software Engineering Università di Bologna Ph.D. in Artificial Intelligence Università di Bologna Visiting Research Student University of Surrey, Guildford (UK) Visiting Research Student NICTA Research Lab, Brisbane (AUS) Best Italian Thesis in Artificial Intelligence awarded by AI*IA Research Grant on EU project “ePolicy” University of Bologna Tmp. Lecturer in Found. CS University of Bologna Research Grant on IT project “Made in Italy” University of Bologna Ph.D. Research Grant in Artificial Intelligence University of Bologna Tmp. Lecturer in RT Op. Sys. University of Bologna Teacher for Computer Courses Municipality of S. Lazzaro IT manager “Office for Youth Policy” Municipality of S. Lazzaro Voluntary Service “Office for Youth Policy” Municipality of S. Lazzaro Jolie language • scripts for services • basic monitoring PaaSSOA • deploy services • basic monitoring Chor language • scripts for choreographies • basic monitoring Drools “Chance” • fuzzy logic Drools “Semantic” • description logic • aspect oriented p. “Horse” SBR • WWTP • 1° fuzzy semantic rule-based tool “Freckles” • EC IDE • Android SDK JBoss Drools Event Calculus Machine Learning EU Proj. Farseeing • EC • MS Kinect • Falls/Rehab. “ProbActions” • Statistical Relational Learning • Drools ! Java (9 yr) ! Eclipse (9 yr) ! RDBMS (8 yr) ! SQL (8 yr) ! JUnit (7 yr) ! Maven (7 yr) ! OOA/OOD (7yr) ! UML/OCL (7 yr) ! LaTeX (6 yr) ! Prolog (6 yr) ! SVN (6 yr) ! Drools (5 yr) ! Protégé (5 yr) ! Python (2 yr) ! git (2 yr) ! JSP (2 yr) ! Android (1 yr) ! Gradle (1 yr) ! NetBeans (9 yr, disc) ! ASM (10+ yr, disc) ! C (10+ yr, disc) ! html/css/js (10+ yr, disc.) ! php/asp (10+ yr, disc) ! Delphi (10+ yr, disc) ! Indesign (10+ yr, disc) ! Linux, Unix ! Windows ! OS X, iOS Skills and Technologies Sbreighs English Italian French German Spanish Languages Mother tongue Proficient Independent Understanding Speaking Writing Proficient Proficient Independent Basic Independent Independent Basic Basic Basic Basic Index to achievements Turning point Intermediary step Prize or award One or more publications AA B C D E F B C D E F
  • 2. Stefano Bragaglia | PhDAI, MScSE Via Rimembranze n. 6/a – 40068 San Lazzaro di Savena – Bologna (Italy) H +39 (349) 190 90 60 • T +39 (51) 46 59 97 B stefano.bragaglia@gmail.com • stefano-bragaglia • Sbreighs Employment DISI, University of Bologna Bologna, ITA Research Associate and Teaching Assistant January 2013–ongoing { Courses: “Fondamenti di Informatica”, “Real-time Operating Systems” (ANSI-C) { Involved in several activities for the “Fondamenti di Intelligenza Artificiale” course (LP, PRS, DL and SW) DEIS, University of Bologna Bologna, ITA Holder of a Research Grant September–December 2013 { Engineered an ontology on economic implications of Italian Style and Made in Italy { Implemented an procedure to match eTourism o ers to tourists with ontologies and Drools Municipality of San Lazzaro di Savena San Lazzaro di Savena, ITA Instructor of computer courses held by the Municipal Library September–December 2008 Municipality of San Lazzaro di Savena San Lazzaro di Savena, ITA Employee in the Municipal O ce for Youth Policy September 2003–August 2007 { Developed and maintained the O ce’s Web site, CMS and DB { Layout and editing of several publications and leaflets { Tutored students with educational deficit for the High-school ITC Mattei Municipality of San Lazzaro di Savena San Lazzaro di Savena, ITA Civilian service in the Municipal O ce for Youth Policy September 2002–August 2003 { Provided assistance to young people with social problems Education University of Bologna Bologna, ITA PhD, Artificial Intelligence April 2013 “Monitoring Complex Processes to Verify System Conformance – A Declarative Rule-based Framework” University of Surrey Guildford, UK Visiting research student February–May 2012 NICTA Queensland research laboratory Brisbane, QLD AUS Visiting research student February–May 2011 University of Bologna Bologna, ITA MSc, Software Engineering, 90/100 (equiv GPA: 3.6) June 2009 “Ragionamento con Programmazione Logica a Disgiunzione Annotata” (only in Italian) Liceo Scientifico A. Righi Bologna, ITA Maturità Scientifica, 46/60 (equiv GPA: 3.1) June 1996 Languages and Technologies { Java, Eclipse, (9 yr), RDBMS, SQL (8 yr), JUnit, Maven, OOA|OOD, UML|OCL (7 yr), Prolog, SVN (6 yr), Drools, (5 yr), Phyton, git, JSP (2 yr), Android, Gradle (1 yr), C, html|php|css|js, Delphi, NetBeans. 2/5
  • 3. Technical Experience Vocational. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . FARSEEING – FP7-ICT-2011-5-4 Project no 288940 Bologna, ITA External contributor September 2012–ongoing Coordinated and contributed to the realisation of a fall-detection system for elderly people. { Technologies: production rules, computer vision, artificial neural networks, event calculus { Languages: Drools, Java ePolicy – FP7-ICT-7-5.6 Project no 288147 Bologna, ITA Member of WP8 on Integration October 2011–ongoing Contributed to the coding, documentation and dissemination. { Technologies: service-oriented architecture, constraint programming { Languages: Java, JSP Servlets, JavaScript, Prolog Made in Italy – National MIUR Project no 20077WWCR8 Bologna, ITA Member of the Computer Science unit September 2009–June 2010 Developed an ontology and a rule-based procedure to exploit it. { Technologies: knowledge representation, semantic web, production rules { Languages: OWL, Java, Drools Miscellaneous. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Remote Physiotherapy Rehabilitation Lead architect, coordinator and contributor January 2013–ongoing Designed, contributed and coordinated 5 people to create a framework for remote physiotherapy rehabilitation. { Technologies: production rules, computer vision, support vector machines, event calculus, web services { Languages: Drools, Java, JSP Servlet, Android { Note: currently considering to start a spin-o and a testing with the Local Health Units Jolie + PaaSSOA + Chor Consultant and contributor September 2011–ongoing Main referent for production rules and monitoring tasks in a framework for scripting services and choreographies. { Technologies: production rules, service oriented architecture, conformance & compliance check { Languages: Drools, Java, Jolie, Chor Probabilistic forward-chained reasoning on graphs Architect and contributor January 2010–ongoing Designed and contributing to the development of an application to compute the probability of goals. { Technologies: statistical relational learning, graph theory, approximated reasoning { Languages: Drools, Java Drools “Chance” + “Semantic” Contributor September 2009–ongoing Helped to create some of the subsystems required by the tools to operate. { Technologies: production rules, complex event processing, description logic, aspect oriented programming, fuzzy logic { Languages: Drools, Java, OWL Additional experience and Awards { Prize for the best Italian MSc thesis in Artificial Intelligence of 2009/2010, awarded by AIxIA. { Advisor in more than 25 BSc and MSc thesis, speaker in more than 15 invited talks. 3/5
  • 4. Stefano Bragaglia | PhDAI, MScSE Via Rimembranze n. 6/a – 40068 San Lazzaro di Savena – Bologna (Italy) H +39 (349) 190 90 60 • T +39 (51) 46 59 97 B stefano.bragaglia@gmail.com • stefano-bragaglia • Sbreighs Publications Ph.D. thesis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . [1] Bragaglia, S. Monitoring Complex Processes to Verify System Conformance – A Declarative Rule-based Framework. Ph.D. in Artificial Intellegence, University of Bologna, 2013. http://amsdottorato.cib.unibo.it/5753/1/bragaglia_stefano_tesi.pdf. M.Sc. thesis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . [2] Bragaglia, S. Ragionamento con Programmazione Logica a Disgiunzione Annotata. M.Sc. in Software Engineering, University of Bologna, 2009. International journals. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . [3] Bragaglia, S. Reasoning on logic programs with annotated disjunctions. Intelligenza Artificiale 6, 1 (2012), 77–96. http://dx.doi.org/10.3233/IA-2012-0029. [4] Bragaglia, S., Chesani, F., Mello, P., Montali, M., and Torroni, P. Reactive event calculus for monitoring global computing applications. In Logic Programs, Norms and Action, A. Artikis, R. Craven, N. Kesim Çiçekli, B. Sadighi, and K. Stathis, Eds., vol. 7360 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012, pp. 123–146. http://dx.doi.org/10.1007/978-3-642-29414-3_8. [5] Bragaglia, S., Luccarini, L., Mello, P., Pulcini, D., and Sottara, D. Optimising the management of sbrs using formal verification and monitoring techniques. Water Research (submitted). International conferences. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . [6] Bragaglia, S., Chesani, F., Ciampolini, A., Mello, P., Montali, M., and Sottara, D. An hybrid architecture integrating forward rules with fuzzy ontological reasoning. In Hybrid Artificial Intelligence Systems, M. Graña Romay, E. Corchado, and M. Garcia Sebastian, Eds., vol. 6076 of Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2010, pp. 438–445. http://dx.doi.org/10.1007/978-3-642-13769-3_53. [7] Bragaglia, S., Chesani, F., Fry, E., Mello, P., Montali, M., and Sottara, D. Event condition expectation (ece-) rules for monitoring observable systems. In Rule - Based Modeling and Computing on the Semantic Web, F. Olken, M. Palmirani, and D. Sottara, Eds., vol. 7018 of Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2011, pp. 267–281. http://dx.doi.org/10.1007/978-3-642-24908-2_28. [8] Bragaglia, S., Chesani, F., Mello, P., Montali, M., and Sottara, D. Fuzzy conformance checking of observed behaviour with expectations. In AI*IA 2011: Artificial Intelligence Around Man and Beyond, R. Pirrone and F. Sorbello, Eds., vol. 6934 of Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2011, pp. 80–91. http://dx.doi.org/10.1007/978-3-642-23954-0_10. [9] Bragaglia, S., Chesani, F., Mello, P., and Sottara, D. A rule-based implementation of fuzzy tableau reasoning. In Semantic Web Rules, M. Dean, J. Hall, A. Rotolo, and S. Tabet, Eds., 4/5
  • 5. vol. 6403 of Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2010, pp. 35–49. http://dx.doi.org/10.1007/978-3-642-16289-3_5. [10] Bragaglia, S., Chesani, F., Mello, P., and Sottara, D. A step toward tight integration of fuzzy ontological reasoning with forward rules. In Web Reasoning and Rule Systems, P. Hitzler and T. Lukasiewicz, Eds., vol. 6333 of Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2010, pp. 227–230. http://dx.doi.org/10.1007/978-3-642-15918-3_20. [11] Bragaglia, S., Chesani, F., Mello, P., and Sottara, D. A rule-based calculus and processing of complex events. In Rules on the Web: Research and Applications, A. Bikakis and A. Giurca, Eds., vol. 7438 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2012, pp. 151–166. http://dx.doi.org/10.1007/978-3-642-32689-9_12. [12] Bragaglia, S., Luccarini, L., Mello, P., Pulcini, D., and Sottara, D. Monitoring the performance of soft sensors used in WWTPs by means of formal verification. In Proceedings of 6th International Congress on Environmental Modelling and Software (2012), iEMSs. http: //www.iemss.org/sites/iemss2012//proceedings/G1_2_0924_Luccarini_et_al.pdf. [13] Bragaglia, S., Luccarini, L., Mello, P., Pulcini, D., and Sottara, D. Ontologies, rules, workflow and predictive models: Knowledge assets for an EDSS. In Proceedings of 6th International Congress on Environmental Modelling and Software (2012), iEMSs. http://www.iemss.org/sites/iemss2012//proceedings/A3_0926_Sottara_et_al.pdf. [14] Bragaglia, S., and Riguzzi, F. Approximate inference for logic programs with annotated disjunctions. In Inductive Logic Programming, P. Frasconi and F. Lisi, Eds., vol. 6489 of Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2011, pp. 30–37. http://dx.doi.org/10.1007/978-3-642-21295-6_7. Others. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . [15] Bragaglia, S. Service oriented architectures and cloud computing: Models and tools based on declarative approaches. In Abstract Booklet of the First AI*IA Doctoral Consortium, F. Chesani, M. Milano, and A. Saetti, Eds., vol. 1. AI*IA, 2010, pp. 11–16. http://aixia10.ing.unibs.it/images/dcaiia2010.pdf. [16] Bragaglia, S., Chesani, F., Mello, P., Montali, M., and Sottara, D. Forward rules and fuzzy ontological reasoning: Heading toward tight integration. In R.i.C.e.R.c.A. 2010: RCRA Incontri E Confronti (2009), M. Gavanelli and T. Mancini, Eds. http://rcra.aixia.it/rcra2010/workshop-programme. [17] Bragaglia, S., Mello, P., and Sottara, D. Towards an interactive personal care system driven by sensor data. In Proceedings of PAI 2012 Workshop and Prize for Celebrating 100th Anniversary of Alan Turing’s Birth (2012), M. Baldoni, F. Chesani, B. Magnini, P. Mello, and M. Montali, Eds., CEUR-WS, pp. 54–59. http://www.ceur-ws.org/Vol-860/paper17.pdf. [18] Bragaglia, S., and Riguzzi, F. Approximate inference for logic programs with annotated disjunctions. In R.i.C.e.R.c.A. 2009: RCRA Incontri E Confronti (2009), M. Gavanelli and T. Mancini, Eds. http://rcra.aixia.it/workshops/ricerca-2009/bragaglia. 5/5

×