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

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