1/14 UPDATED TO Curriculum Vitæ PERSONAL INFORMATION in /in/stefanobragaglia

i! +39 349 190.90.60 stefano.bragaglia@gmail.com Via 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 -6 past

-1 -5 -2 -3 -4 -7 -6 past

This diagram is inspired to the original design for the Tube map conceived in 1931 by Harry Beck

2013

2011

2009 2007 past years

2006 2008

2010

2012

2010

2010

2012 2011

2007

past years

2006

2008

2009

2011 2011

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

A A

B

C

D

E

F

B

C

D

E

F

Stefano Bragaglia | PhDAI, MScSEVia Rimembranze n. 6/a – 40068 San Lazzaro di Savena – Bologna (Italy)

H +39 (349) 190 90 60 • T +39 (51) 46 59 97B stefano.bragaglia@gmail.com • stefano-bragaglia • Sbreighs

EmploymentDISI, University of Bologna Bologna, ITAResearch 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, ITAHolder 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 DroolsMunicipality of San Lazzaro di Savena San Lazzaro di Savena, ITAInstructor of computer courses held by the Municipal Library September–December 2008Municipality of San Lazzaro di Savena San Lazzaro di Savena, ITAEmployee 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 MatteiMunicipality of San Lazzaro di Savena San Lazzaro di Savena, ITACivilian service in the Municipal O�ce for Youth Policy September 2002–August 2003{ Provided assistance to young people with social problems

EducationUniversity of Bologna Bologna, ITAPhD, Artificial Intelligence April 2013“Monitoring Complex Processes to Verify System Conformance – A Declarative Rule-based Framework”University of Surrey Guildford, UKVisiting research student February–May 2012NICTA Queensland research laboratory Brisbane, QLD AUSVisiting research student February–May 2011University of Bologna Bologna, ITAMSc, 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, ITAMaturità 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

Technical ExperienceVocational. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

FARSEEING – FP7-ICT-2011-5-4 Project no 288940 Bologna, ITAExternal contributor September 2012–ongoingCoordinated 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, JavaePolicy – FP7-ICT-7-5.6 Project no 288147 Bologna, ITAMember of WP8 on Integration October 2011–ongoingContributed to the coding, documentation and dissemination.{ Technologies: service-oriented architecture, constraint programming{ Languages: Java, JSP Servlets, JavaScript, PrologMade in Italy – National MIUR Project no 20077WWCR8 Bologna, ITAMember of the Computer Science unit September 2009–June 2010Developed an ontology and a rule-based procedure to exploit it.{ Technologies: knowledge representation, semantic web, production rules{ Languages: OWL, Java, Drools

Miscellaneous. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Remote Physiotherapy RehabilitationLead architect, coordinator and contributor January 2013–ongoingDesigned, contributed and coordinated 5 people to create a framework for remote physiotherapyrehabilitation.{ 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 UnitsJolie + PaaSSOA + ChorConsultant and contributor September 2011–ongoingMain referent for production rules and monitoring tasks in a framework for scripting services andchoreographies.{ Technologies: production rules, service oriented architecture, conformance & compliance check{ Languages: Drools, Java, Jolie, ChorProbabilistic forward-chained reasoning on graphsArchitect and contributor January 2010–ongoingDesigned and contributing to the development of an application to compute the probability of goals.{ Technologies: statistical relational learning, graph theory, approximated reasoning{ Languages: Drools, JavaDrools “Chance” + “Semantic”Contributor September 2009–ongoingHelped 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

Stefano Bragaglia | PhDAI, MScSEVia Rimembranze n. 6/a – 40068 San Lazzaro di Savena – Bologna (Italy)

H +39 (349) 190 90 60 • T +39 (51) 46 59 97B stefano.bragaglia@gmail.com • stefano-bragaglia • Sbreighs

PublicationsPh.D. thesis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

[1] Bragaglia, S. Monitoring Complex Processes to Verify System Conformance – A DeclarativeRule-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. inSoftware Engineering, University of Bologna, 2009.International journals. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

[3] Bragaglia, S. Reasoning on logic programs with annotated disjunctions. Intelligenza Artificiale6, 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 formonitoring 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 inComputer 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 managementof 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 hybridarchitecture integrating forward rules with fuzzy ontological reasoning. In Hybrid ArtificialIntelligence Systems, M. Graña Romay, E. Corchado, and M. Garcia Sebastian, Eds., vol. 6076 ofLecture 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 conditionexpectation (ece-) rules for monitoring observable systems. In Rule - Based Modeling andComputing on the Semantic Web, F. Olken, M. Palmirani, and D. Sottara, Eds., vol. 7018 ofLecture 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 checkingof observed behaviour with expectations. In AI*IA 2011: Artificial Intelligence Around Man andBeyond, R. Pirrone and F. Sorbello, Eds., vol. 6934 of Lecture Notes in Computer Science. SpringerBerlin / 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 fuzzytableau reasoning. In Semantic Web Rules, M. Dean, J. Hall, A. Rotolo, and S. Tabet, Eds.,

4/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 fuzzyontological reasoning with forward rules. In Web Reasoning and Rule Systems, P. Hitzler andT. 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 ofcomplex 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 performanceof soft sensors used in WWTPs by means of formal verification. In Proceedings of 6th InternationalCongress 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, workflowand predictive models: Knowledge assets for an EDSS. In Proceedings of 6th InternationalCongress 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 annotateddisjunctions. In Inductive Logic Programming, P. Frasconi and F. Lisi, Eds., vol. 6489 of LectureNotes 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 ondeclarative 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 fuzzyontological reasoning: Heading toward tight integration. In R.i.C.e.R.c.A. 2010: RCRA Incontri EConfronti (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 bysensor data. In Proceedings of PAI 2012 Workshop and Prize for Celebrating 100th Anniversary ofAlan 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 annotateddisjunctions. In R.i.C.e.R.c.A. 2009: RCRA Incontri E Confronti (2009), M. Gavanelli andT. Mancini, Eds. http://rcra.aixia.it/workshops/ricerca-2009/bragaglia.

5/5