Univrmagazine
mercoledì, 13 Maggio 2026
verona
  • Attualità

    Verona Èuropa 2026, al via la quarta edizione del festival europeo

    Teoderico da Verona a 1500 anni dalla morte

    Photo credits: @Adobestock - di Thananatt

    L’ateneo consolida la sua rete globale con nuovi accordi internazionali

    L’artista Adelita Husni Bey ospite in ateneo

  • Ricerca

    EU-Gift Sport Week: a Verona

    Da sx: Andrea Dalbeni, Marco Vicardi, David Sacerdoti, Michele Milella, Alessandra Auriemma, Martina Faccini, Michele Bevilacqua, Filippo Cattazzo.

    Tumore al fegato, ambulatori integrati allungano la sopravvivenza e migliorano i risultati delle cure

    Trasferimento tecnologico e innovazione

    Robot per il prelievo venoso al via lo studio clinico

  • Dai dipartimenti

    Editori e bibliotecari tra AI e metadati

    Photo credits: @Elev8to9 - Adobestock

    Gaza, dalla ricerca su Lancet un intervento psicologico efficace e replicabile

    Arte māori e interconnessione del mondo

    Photocredits: Date 2026

    Organizzazione, studenti e ricerca al centro dell’innovazione

  • Verona città universitaria
    Da sx: Molteni, Bianchera, Palermo

    Il museo d’arte contemporanea in divenire: collezioni, comunità, relazioni

    “Lea e le Eumenidi” teatro civile contro mafie e violenza

    In ricordo di Giulio Regeni a 10 anni dalla sua scomparsa

    Carlo Rovelli e la filosofia della meccanica quantistica

  • Redazione
No Result
View All Result
Univrmagazine
  • Attualità

    Verona Èuropa 2026, al via la quarta edizione del festival europeo

    Teoderico da Verona a 1500 anni dalla morte

    Photo credits: @Adobestock - di Thananatt

    L’ateneo consolida la sua rete globale con nuovi accordi internazionali

    L’artista Adelita Husni Bey ospite in ateneo

  • Ricerca

    EU-Gift Sport Week: a Verona

    Da sx: Andrea Dalbeni, Marco Vicardi, David Sacerdoti, Michele Milella, Alessandra Auriemma, Martina Faccini, Michele Bevilacqua, Filippo Cattazzo.

    Tumore al fegato, ambulatori integrati allungano la sopravvivenza e migliorano i risultati delle cure

    Trasferimento tecnologico e innovazione

    Robot per il prelievo venoso al via lo studio clinico

  • Dai dipartimenti

    Editori e bibliotecari tra AI e metadati

    Photo credits: @Elev8to9 - Adobestock

    Gaza, dalla ricerca su Lancet un intervento psicologico efficace e replicabile

    Arte māori e interconnessione del mondo

    Photocredits: Date 2026

    Organizzazione, studenti e ricerca al centro dell’innovazione

  • Verona città universitaria
    Da sx: Molteni, Bianchera, Palermo

    Il museo d’arte contemporanea in divenire: collezioni, comunità, relazioni

    “Lea e le Eumenidi” teatro civile contro mafie e violenza

    In ricordo di Giulio Regeni a 10 anni dalla sua scomparsa

    Carlo Rovelli e la filosofia della meccanica quantistica

  • Redazione
No Result
View All Result
Univrmagazine
No Result
View All Result

Julia, il cacciatore di bug che ha convinto l’Air Force americana

Lo spin off d’Ateneo acquisito da Corvallis, unica soluzione al mondo per individuare errori in programmi Java e Android

di univr
13 Novembre 2015
in Attualità

Storia di Julia, spin off di Ateno acquisita da Corvallis, un modello di trasferimento tecnologico da imitare. Questo il percorso di successo presentato giovedì 12 novembre nella Sala Barbieri di Palazzo Giuliari.

Si chiama Julia ed è la prima soluzione informatica in grado di individuare automaticamente e con un’accuratezza assoluta i bug di programmi scritti in linguaggio Java e Android. Per i programmatori significa in sostanza liberarsi dall’incubo di default e attacchi informatici. Per le imprese un rimedio al rischio di danni economici e di immagine legati al cattivo funzionamento di software e applicazioni.

Il livello di precisione di Julia è talmente elevato da aver già conquistato l’interesse dell’Air Force degli Stati Uniti. Julia collabora da tre anni con il Dipartimento di Difesa Usa per la prevenzione dei bug nel sistema informatico e cloud. La start up veronese ha fornito inoltre consulenza sulle attività di programmazione informatica per evitare rischi di cybercrime. Julia ha aperto recentemente un dialogo con Airbus, primo costruttore di aeromobili in Europa, e lavora con le principali compagnie bancarie, assicurative e aziende di servizi italiane, per le quali interviene nella prevenzione del rischio di blocchi di sistema in gestionali, applicazioni e internet banking, sempre più diffusi nel settore finance.

Julia è uno dei sei spin off cresciuti al Computer Science Park dell’Università di Verona. Il primo a uscire, lo scorso giugno, dall’incubatore universitario. Dopo dieci anni di studi e di ricerche sviluppate da un team di docenti e ricercatori italiani, Fausto Spoto e Roberto Giacobazzi insieme al francese Frédéric Mesnard, Julia è stata acquisita da Corvallis, gruppo padovano tra i principali operatori italiani nel settore informatico, che ne detiene il 65% delle quote.

Il settore di riferimento, quello dei Software Code Analyzer, Sca, è giovane ma destinato ad avere un rapido sviluppo. Oggi si contano pochi competitor al mondo. La maggior parte fa uso della tecnica di pattern-matching, che presenta un livello di accuratezza incompleto in quanto basata su una ricerca “meccanica” di errori nei file sorgente. Julia è invece l’unica a utilizzare le più moderne e riconosciute tecniche di interpretazione astratta, che consentono un’analisi del software in modalità statica e semantica. Semplificando molto, si tratta di un metodo che consente di astrarre in maniera automatica tutte le variabili possibili del programma in ogni percorso di esecuzione e di trovare tutti i bug del tipo indagato, eliminando con precisione assoluta il rischio di errore.

L’impiego di questo cacciatore di bug può abbracciare qualsiasi mercato nel quale sia presente un software: dall’industria all’elettronica, dalle telecomunicazione alle finanza, dalla difesa alla sanità. La verifica dei software è un’esigenza sempre più sentita dalle aziende e rappresenta un mercato destinato a crescere in modo esponenziale nei prossimi anni.

“Quella di Julia  – spiega Nicola Sartor, rettore dell’università di Verona – è una grande storia di successo ed emblematica per raccontare un percorso che parte con  la ricerca di base, condotta cioè senza vincoli, a suo tempo nata dai docenti  del nostro dipartimento di Informatica  Fausto Spoto e Roberto Giacobazzi.  Successivamente è stato attuato un progetto di ricerca applicata attraverso i nostri bandi Joint Project che cofinanziano, per il 50% dell’importo totale, ricerche con partner non universitari. Alla fine di questo percorso si è anche convalidata la commerciabilità di questa idea che ha trasformato il software Julia in una spin off  universitaria. Oggi Julia, che è stata rilevata in larga misura da Corvallis, leader italiana nei servizi IT,  è pronta ad avere un grande successo come dimostra l’interesse di  molti soggetti di rilevanza internazionale che stanno già utilizzando questo prodotto”. 

“Abbiamo investito in una start up altamente innovativa – spiega Antonio Santocono, presidente di Corvallis Spa – perché crediamo nel futuro della tecnologia e nella ricerca applicata. L’impiego crescente di software gestionali, applicazioni, servizi basati su internet, espone un numero sempre più alto di settori economici alle conseguenze di malfunzionamenti e blocchi informatici, o addirittura di attacchi dall’esterno. La sicurezza è un valore aggiunto che coltiviamo tanto per le imprese quanto per i consumatori”.

 “Julia – commenta Gianni Zucchini, amministratore delegato – può catturare l’interesse di grandi gruppi aziendali in tutti i settori di mercato, come sta già avvenendo. Le strategie di sviluppo proseguiranno con una forte azione commerciale e con l’evoluzione delle funzionalità in termini di facilità d'uso, sicurezza, reporting, integrazione con altri strumenti collegati. Punteremo infine anche sul supporto di nuovi linguaggi avanzati, in aggiunta a Java e Android”.

Ascolta la presentazione di Julia da parte del Rettore Nicola Sartor durante la Conferenza Stampa, qui invece le interviste, ad opera della redazione FAN, ai protagosti dell’acquisizione.


Da Adskronos Nord Est – Ufficio Stampa Corvallis

13.11.2015

Articolo precedente

JOB&Orienta 2015

Articolo successivo

L’attività di vigilanza e la tutela penale nel mercato dei capitali

Ti potrebbe piacere anche

Dai dipartimenti

Editori e bibliotecari tra AI e metadati

di Elena Melis
12 Maggio 2026
Da sx: Molteni, Bianchera, Palermo
Verona città universitaria

Il museo d’arte contemporanea in divenire: collezioni, comunità, relazioni

di Elena Melis
12 Maggio 2026
Photo credits: @Elev8to9 - Adobestock
Dai dipartimenti

Gaza, dalla ricerca su Lancet un intervento psicologico efficace e replicabile

di Elena Melis
12 Maggio 2026
Verona città universitaria

“Lea e le Eumenidi” teatro civile contro mafie e violenza

di Elisa Innocenti
11 Maggio 2026
Ricerca e innovazione

EU-Gift Sport Week: a Verona

di Martina Bianchi
11 Maggio 2026

Ultimi articoli

Dai dipartimenti

Editori e bibliotecari tra AI e metadati

12 Maggio 2026
Da sx: Molteni, Bianchera, Palermo
Verona città universitaria

Il museo d’arte contemporanea in divenire: collezioni, comunità, relazioni

12 Maggio 2026
Photo credits: @Elev8to9 - Adobestock
Dai dipartimenti

Gaza, dalla ricerca su Lancet un intervento psicologico efficace e replicabile

12 Maggio 2026
Verona città universitaria

“Lea e le Eumenidi” teatro civile contro mafie e violenza

11 Maggio 2026
Ricerca e innovazione

EU-Gift Sport Week: a Verona

11 Maggio 2026
Verona città universitaria

In ricordo di Giulio Regeni a 10 anni dalla sua scomparsa

11 Maggio 2026
Verona città universitaria

Carlo Rovelli e la filosofia della meccanica quantistica

11 Maggio 2026
Da sx: Andrea Dalbeni, Marco Vicardi, David Sacerdoti, Michele Milella, Alessandra Auriemma, Martina Faccini, Michele Bevilacqua, Filippo Cattazzo.
Ricerca e innovazione

Tumore al fegato, ambulatori integrati allungano la sopravvivenza e migliorano i risultati delle cure

8 Maggio 2026
Univrmagazine

il giornale dell’Università degli Studi di Verona

Direttore editoriale: Ivan Russo
Direttrice responsabile: Roberta Dini

Registrazione presso il Tribunale di Verona
Numero di registrazione testata N.1820 del 18.11.2008

Copyright ©
Area VaDiS - Valorizzazione e Divulgazione dei Saperi
Università degli Studi di Verona

Iscriviti alla newsletter

Inviami una mail per confermare l’iscrizione al servizio di newsletter e così esprimere il mio consenso al trattamento dei dati personali

Controlla la tua casella di posta o la cartella spam per confermare la tua iscrizione

  • Privacy Policy
  • Cookie Policy
Utilizziamo i cookie sul nostro sito Web per offrirti l'esperienza più pertinente ricordando le tue preferenze e ripetendo le visite. Facendo clic su "Accetta tutto", acconsenti all'uso di TUTTI i cookie. Tuttavia, puoi visitare "Impostazioni cookie" per fornire un consenso controllato.
Preferenze cookieAccetta tutti
Manage consent

Informativa breve cookies

Il Titolare utilizza i cookie per ottimizzare la fruizione del sito e per velocizzare le esperienze ed attività degli utenti. Il sito consente anche l’invio di cookie di “terze parti” per compilare statistiche anonime aggregate.
Necessari
Sempre abilitato
I cookie necessari per l’utilizzo del sito Web sono essenziali per il funzionamento del sito web, bloccarli non ne permette il funzionamento. Questa categoria include cookie che consentono di facilitare la navigazione e il servizio reso all’utente. Per la loro installazione non è necessario il tuo consenso.
CookieDurataDescrizione
cookielawinfo-checkbox-analytics11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-functional11 monthsThe cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-others11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-performance11 monthsThis cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
viewed_cookie_policy11 monthsThe cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.
Non necessari
Cookie Analitici di Terze Parti I cookie statistici aiutano il titolare a capire come i visitatori interagiscono con il sito, trasmettendo informazioni in forma anonima. Alcuni di questi cookie sono gestiti per noi da terzi (Google Analytics, Matomo) sempre in forma anonima e non consentiamo loro di utilizzarli per altre finalità.
ACCETTA E SALVA
Powered by CookieYes Logo
No Result
View All Result
  • Attualità
  • Ricerca e innovazione
  • Dai dipartimenti
  • Verona città universitaria
  • Redazione