chi siamo

I fondatori^* di BUGSENG lavorano insieme da circa 15 anni; il sorprendente e variegato insieme di competenze e attitudini che portano in dote a BUGSENG è la chiave di un gioco di squadra molto efficace. Essi hanno dato importanti contributi alla teoria e alla pratica della verifica dei programmi, in accordo al loro fermo rifiuto dell’abusato luogo comune della inconciliabilità tra teoria e pratica; un sistema veramente affidabile e funzionale sa come basarsi sulla più avanzata e rigorosa ricerca teorica:

nessuna scorciatoia, nessuna rinuncia, nessuna scusa

^*

• Roberto Bagnara è professore ordinario di informatica presso il Dipartimento di Matematica dell’Università di Parma. È riconosciuto a livello internazionale come un autorevole esperto di linguaggi di programmazione e della manipolazione dei programmi basata sull’analisi semantica. È coautore di oltre 35 lavori pubblicati su riviste e su atti di conference internazionali. In parallelo, è stato il principale architetto di vari progetti software in cui una rigorosa investigazione teorica è stata accoppiata alle migliori pratiche di ingegneria del software. È un visionario inarrestabile e non concede nulla alla paura dell’insuccesso; è anche un ottimo cuoco ed il CEO/CTO di BUGSENG.
• Patricia Hill, già Senior Research Fellow alla School of Computing della University of Leeds, è ora Visiting Researcher presso lo stesso dipartimento. È un’esperta di linguaggi di programmazione e della loro analisi, membro del College of Peer Reviewers dell’EPSRC, l’agenzia inglese per il finanziamento della ricerca accademica in ingegneria e nelle scienze fisiche; ha partecipato a numerosi comitati di programma per eventi internazionali (per alcuni in qualità di presidente). È coautrice di un libro su un nuovo linguaggio di programmazione e di oltre 60 lavori apparsi come capitoli di libri o articoli su pubblicazioni internazionali. Ama (quasi) tutto ciò che è italiano ed è fortemente impegnata al conseguimento dell’eccellenza professionale.
• Enea Zaffanella è professore associato di informatica al Dipartimento di Matematica dell’Università di Parma. I suoi interessi di ricerca sono nell’area dell’analisi semantica dei programmi, con una forte enfasi sul progetto e sullo sviluppo di strumenti software in grado di trasferire i risultati teorici rilevanti ai contesti applicativi. La sua ricerca ha portato alla pubblicazione di oltre 30 lavori su riviste ed atti di conferenze internazionali. Segue il rugby (quasi) nonviolentemente e ha il dono di vedere il lato oscuro delle cose, quell’invisible difetto nascosto che, se non individuato, costerà milioni.
• Abramo Bagnara si occupa di informatica da sempre. Ha una lunga esperienza professionale come consulente, analista, project manager e IT architect per aziende e organizzazioni nazionali ed internazionali. Ha lavorato, tra gli altri, per SuSE GmbH e INRIA. I suoi contributi all’open source sono innumerevoli. Programma di tutto e ama il debugging. Non guida l’auto, detesta le scarpe chiuse e ingegnerizza i prodotti BUGSENG.