Univr Magazine: ricerca, storie, persone
mercoledì, 9 Settembre 2026
verona
  • Attualità
    Photo credits: @NDABCREATIVITY - Adobestock

    Riprendere l’attività fisica dopo l’estate

    Torna a Verona la Notte europea della ricerca

    Foto di Andrea Brugnoli

    Francesco e Domenico in Dante, la Lectura Dantis a Santa Anastasia

    Quando l’arte diventa uno spazio di cura

  • Ricerca
    Photo credits: @Benjaporn - Adobestock

    Invecchiare in salute comincia a tavola

    Photo credits: @Laura - Adobestock

    Diabete di tipo 2, quattro profili immunitari aiutano a leggere il rischio clinico

    Intelligenza artificiale al servizio della raccolta rifiuti

    Nocovis: nuove tecnologie ottiche per l’industria del futuro

  • Dai dipartimenti

    Stefano Troiano doctor honoris causa all’Universidad de Buenos Aires

    Immagine creata con l'utilizzo dell'ia

    Decarbonizzazione: siamo davvero sulla strada giusta?

    Photo credits: @nameera_j_h_ - Adobestock

    Nuove tecnologie di sequenziamento del Dna promettono diagnosi più affidabili e complete delle malattie genetiche

    Foto tratta dalla Divina Commedia per bambini, di Paolo Pellegrini, illustrazione di Fabiano Fiorin, edizioni Hachette

    Dante Pop, sì, ma con serietà

  • Verona città universitaria
    Photo credits: @jarrod - Adobestock

    In scena Alcesti di Euripide al Teatro Romano

    La didattica protagonista a Verona dal 2 al 4 settembre

    Si è concluso il World Shakespeare Congress 2026

    Santa Marta vetrina della cultura italiana nel mondo

  • Redazione
No Result
View All Result
Univrmagazine
  • Attualità
    Photo credits: @NDABCREATIVITY - Adobestock

    Riprendere l’attività fisica dopo l’estate

    Torna a Verona la Notte europea della ricerca

    Foto di Andrea Brugnoli

    Francesco e Domenico in Dante, la Lectura Dantis a Santa Anastasia

    Quando l’arte diventa uno spazio di cura

  • Ricerca
    Photo credits: @Benjaporn - Adobestock

    Invecchiare in salute comincia a tavola

    Photo credits: @Laura - Adobestock

    Diabete di tipo 2, quattro profili immunitari aiutano a leggere il rischio clinico

    Intelligenza artificiale al servizio della raccolta rifiuti

    Nocovis: nuove tecnologie ottiche per l’industria del futuro

  • Dai dipartimenti

    Stefano Troiano doctor honoris causa all’Universidad de Buenos Aires

    Immagine creata con l'utilizzo dell'ia

    Decarbonizzazione: siamo davvero sulla strada giusta?

    Photo credits: @nameera_j_h_ - Adobestock

    Nuove tecnologie di sequenziamento del Dna promettono diagnosi più affidabili e complete delle malattie genetiche

    Foto tratta dalla Divina Commedia per bambini, di Paolo Pellegrini, illustrazione di Fabiano Fiorin, edizioni Hachette

    Dante Pop, sì, ma con serietà

  • Verona città universitaria
    Photo credits: @jarrod - Adobestock

    In scena Alcesti di Euripide al Teatro Romano

    La didattica protagonista a Verona dal 2 al 4 settembre

    Si è concluso il World Shakespeare Congress 2026

    Santa Marta vetrina della cultura italiana nel mondo

  • 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

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

Articolo successivo

JOB&Orienta 2015

Ti potrebbe piacere anche

Photo credits: @jarrod - Adobestock
Verona città universitaria

In scena Alcesti di Euripide al Teatro Romano

di Elena Melis
9 Settembre 2026
Photo credits: @Benjaporn - Adobestock
Ricerca e innovazione

Invecchiare in salute comincia a tavola

di Elena Melis
9 Settembre 2026
Photo credits: @Laura - Adobestock
Ricerca e innovazione

Diabete di tipo 2, quattro profili immunitari aiutano a leggere il rischio clinico

di Elena Melis
8 Settembre 2026
Dai dipartimenti

Stefano Troiano doctor honoris causa all’Universidad de Buenos Aires

di Elena Melis
8 Settembre 2026
Ricerca e innovazione

Intelligenza artificiale al servizio della raccolta rifiuti

di Sara Castrini
7 Settembre 2026

Ultimi articoli

Photo credits: @jarrod - Adobestock
Verona città universitaria

In scena Alcesti di Euripide al Teatro Romano

9 Settembre 2026
Photo credits: @Benjaporn - Adobestock
Ricerca e innovazione

Invecchiare in salute comincia a tavola

9 Settembre 2026
Photo credits: @Laura - Adobestock
Ricerca e innovazione

Diabete di tipo 2, quattro profili immunitari aiutano a leggere il rischio clinico

8 Settembre 2026
Dai dipartimenti

Stefano Troiano doctor honoris causa all’Universidad de Buenos Aires

8 Settembre 2026
Ricerca e innovazione

Intelligenza artificiale al servizio della raccolta rifiuti

7 Settembre 2026
Ricerca e innovazione

Nocovis: nuove tecnologie ottiche per l’industria del futuro

7 Settembre 2026
Immagine creata con l'utilizzo dell'ia
Dai dipartimenti

Decarbonizzazione: siamo davvero sulla strada giusta?

5 Settembre 2026
Photo credits: @Dr_Microbe - Adobestock
Ricerca e innovazione

mRna, dalla ricerca sui vaccini alle nuove frontiere della medicina personalizzata

4 Settembre 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