Univrmagazine
giovedì, 26 Marzo 2026
verona
  • Attualità

    Univr in crescita nei rankings QS 2026

    Grande successo per la terza edizione di Università Svelate

    Cooperazione internazionale, Univr traccia il bilancio e guarda al futuro

    Photo credits: @Erika - AdobeStock

    Addio ad Anna Pedron Fasol

  • Ricerca

    Presentazione dei laboratori del nuovo Hub “Comportamenti e tecnologie per le scelte di salute”

    “Intelligenze (artificiali e lingue) impossibili” – Digital spritz con Andrea Moro

    Sclerosi multipla, la cladribina agisce anche sull’infiammazione “nascosta”

    Photo credits: @Julia - Adobe creator.
Da sinistra: Gabriele Pesarini (Pa), Flavio Ribichini (Po) e Roberto Scarsini (Rtdb) della sezione di Cardiologia del dipartimento di Medicina di UniVr

    Cuore e valvole, lo studio Faitavi apre una nuova strada nel trattamento dei pazienti con stenosi aortica

  • Dai dipartimenti
    Photo credits: @Comune di Mantova

    Il dipartimento di Management guida il primo Bilancio di impatto del Comune di Mantova

    Photo credits: @ Cna Veneto Ovest

    Asteasier vince la semifinale nordest del premio Cambiamenti e vola alla finale nazionale

    Photo credits: @Anzhela - Adobe stock

    Un nuovo kit contro l’emergenza Pfas

    Innovazione e sostenibilità per le imprese venete

  • Verona città universitaria

    La voce della poesia incontra l’università

    Photo credits: @MartinaCerpelloni

    La materia della fantascienza: mondi, risorse e visioni all’Extra Sci-Fi Festival di Verona

    Photo credits: progetto Il Sesto Cerchio
produzione esecutiva Associazione Culturale ZEBRA Impresa Sociale
foto di Nicola Massella

    Tracce vive, un dialogo per ripensare l’accessibilità attraverso l’arte

    Tornano le Università svelate: tre giorni di eventi all’ateneo di Verona, con ospite Samantha Cristoforetti

  • Redazione
    • Opinioni
No Result
View All Result
Univrmagazine
  • Attualità

    Univr in crescita nei rankings QS 2026

    Grande successo per la terza edizione di Università Svelate

    Cooperazione internazionale, Univr traccia il bilancio e guarda al futuro

    Photo credits: @Erika - AdobeStock

    Addio ad Anna Pedron Fasol

  • Ricerca

    Presentazione dei laboratori del nuovo Hub “Comportamenti e tecnologie per le scelte di salute”

    “Intelligenze (artificiali e lingue) impossibili” – Digital spritz con Andrea Moro

    Sclerosi multipla, la cladribina agisce anche sull’infiammazione “nascosta”

    Photo credits: @Julia - Adobe creator.
Da sinistra: Gabriele Pesarini (Pa), Flavio Ribichini (Po) e Roberto Scarsini (Rtdb) della sezione di Cardiologia del dipartimento di Medicina di UniVr

    Cuore e valvole, lo studio Faitavi apre una nuova strada nel trattamento dei pazienti con stenosi aortica

  • Dai dipartimenti
    Photo credits: @Comune di Mantova

    Il dipartimento di Management guida il primo Bilancio di impatto del Comune di Mantova

    Photo credits: @ Cna Veneto Ovest

    Asteasier vince la semifinale nordest del premio Cambiamenti e vola alla finale nazionale

    Photo credits: @Anzhela - Adobe stock

    Un nuovo kit contro l’emergenza Pfas

    Innovazione e sostenibilità per le imprese venete

  • Verona città universitaria

    La voce della poesia incontra l’università

    Photo credits: @MartinaCerpelloni

    La materia della fantascienza: mondi, risorse e visioni all’Extra Sci-Fi Festival di Verona

    Photo credits: progetto Il Sesto Cerchio
produzione esecutiva Associazione Culturale ZEBRA Impresa Sociale
foto di Nicola Massella

    Tracce vive, un dialogo per ripensare l’accessibilità attraverso l’arte

    Tornano le Università svelate: tre giorni di eventi all’ateneo di Verona, con ospite Samantha Cristoforetti

  • Redazione
    • Opinioni
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

Verona città universitaria

La voce della poesia incontra l’università

di Martina Bianchi
26 Marzo 2026
Ricerca e innovazione

Presentazione dei laboratori del nuovo Hub “Comportamenti e tecnologie per le scelte di salute”

di Martina Bianchi
26 Marzo 2026
Attualità

Univr in crescita nei rankings QS 2026

di Sara Mauroner
25 Marzo 2026
Ricerca e innovazione

“Intelligenze (artificiali e lingue) impossibili” – Digital spritz con Andrea Moro

di Elena Melis
25 Marzo 2026
La Divina Commedia per Bambini, illustrazioni di Fabiano Fiorin
Video

Il diavolo e la trombetta. Sul finale del canto XXI dell’Inferno

di Elisa Innocenti
25 Marzo 2026

Ultimi articoli

Verona città universitaria

La voce della poesia incontra l’università

26 Marzo 2026
Ricerca e innovazione

Presentazione dei laboratori del nuovo Hub “Comportamenti e tecnologie per le scelte di salute”

26 Marzo 2026
Attualità

Univr in crescita nei rankings QS 2026

25 Marzo 2026
Ricerca e innovazione

“Intelligenze (artificiali e lingue) impossibili” – Digital spritz con Andrea Moro

25 Marzo 2026
La Divina Commedia per Bambini, illustrazioni di Fabiano Fiorin
Video

Il diavolo e la trombetta. Sul finale del canto XXI dell’Inferno

25 Marzo 2026
Photo credits: @Comune di Mantova
Dai dipartimenti

Il dipartimento di Management guida il primo Bilancio di impatto del Comune di Mantova

24 Marzo 2026
Attualità

Grande successo per la terza edizione di Università Svelate

24 Marzo 2026
Photo credits: @ Cna Veneto Ovest
Dai dipartimenti

Asteasier vince la semifinale nordest del premio Cambiamenti e vola alla finale nazionale

24 Marzo 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