Company Profile Julia

DALLA RICERCA
ALLE IMPRESE
RICONOSCIMENTI
Julia ha ottenuto numerosi premi e riconoscimenti a livello nazionale ed internazionale, tra i quali:
• 1° classificata sia nel Java Bytecode Recursive Contest che nel Java Bytecode Non-Recursive Contest della
Termination Competition ed. 2010 (U:S:A);
Rilanciare l’economia in chiave digitale, come delineato dalle lineeguida dei programmi strategici di Europa 2020 e dell’Agenzia Digitale
Europea, costituisce un pilastro portante per la futura evoluzione e
crescita economica ed occupazionale, nonché una grande sfida per
tutti i Paesi europei e in particolare per l’Italia.
• 1° classificata – Java Bytecode Recursive Contest - Termination Competition ed. 2009;
• Classificata tra i Top10 Progetti Innovativi nell’area ICT (tra 2.139 Progetti Partecipanti) nella competizione “Working
Capital” ed. 2011 - organizzata da Telecom Italia in collaborazione con Società di Venture Capital;
Ancora oggi il nostro Paese manifesta uno spread tecnologico rispetto
alla media europea che, secondo una recente ricerca del Censis,
se fosse azzerato attraverso opportuni interventi, consentirebbe di
recuperare 3,6 miliardi di euro l’anno, che si renderebbero disponibili per
ulteriori investimenti in Ricerca e Sviluppo, tecnologie, infrastrutture e
servizi ICT innovativi.
• Selezionata - tra centinaia di aziende - nella short list delle migliori start-up italiane del 2014 dalla Commissione di
Italia Restarts Up, evento organizzato dal Ministero dello Sviluppo Economico e dalla agenzia governativa ICE per
promuovere l’internazionalizzazione delle imprese italiane.
È opinione diffusa che tale gap sia incolmabile, anche perché in
Italia è molto difficile fare ricerca. Vorremmo smentire quest’ultima
affermazione, attraverso l’esperienza di Julia.
• 2° classificata nella competizione “Il Talento delle Idee” ed. 2012 – indetta da Unicredit per premiare le start-up più
innovative;
Julia è un’azienda IT nata dall’entusiasmo di giovani ricercatori
che hanno voluto trasformare la loro ricerca in realtà industriale
innovativa, sostenuti dall’esperienza di imprenditori e manager del
territorio.
CONTATTI
JULIA S.r.l.
Attività di direzione e coordinamento Corvallis Holding S.p.A.
Via Flavio Gioia 39 - 37135 Verona
Tel. +39 045 2081901 - 045 4770433
Capitale Sociale 55.000 € i.v. - REA di VR n° 382135
Codice Fiscale/Partita IVA 03985930233
JULIA è un esempio concreto e reale di azienda simbolo di un’Italia
nuova, giovane, positiva, ricca di talento, idee e passione, consapevole
delle proprie capacità e padrona delle proprie competenze. Un’Italia in
grado di fare seriamente Ricerca e Sviluppo e di proporre innovazione
pura.
[email protected]
www.juliasoft.com
JULIA
JULIA
LA VERIFICA DEL SOFTWARE DIVENTA SEMPLICE
LA VERIFICA DEL SOFTWARE DIVENTA SEMPLICE
CHI SIAMO
A CHI CI RIVOLGIAMO
Nata come Spin-off dell’Università degli Studi di Verona, dinamico Ateneo recentemente qualificatosi al primo posto tra
le Università Italiane nella “Classifica di Qualità 2015” stilata annualmente dal Sole24ore, Julia è una start-up espressione
di oltre 10 anni di ricerca e progetti sviluppati direttamente o in collaborazione con Docenti ed Università internazionali.
Culla di Julia - che annovera tra i propri Soci Fondatori autorevoli Leader scientifici ed Accademici - è stato il Computer
Science Park (CSP), nuovo cuore pulsante dell’innovazione in ambito informatico dell’Università di Verona ed incubatore
per spin-off universitari, aziende e start-up.
Da giugno 2015 Julia è entrata a far parte del Gruppo Corvallis, uno tra i primi operatori IT del mercato italiano con oltre
venticinque anni di esperienza e una profonda conoscenza dei processi produttivi di riferimento.
Grazie a questi asset , il Gruppo Corvallis oggi è presente nei principali gruppi bancari e assicurativi, società finanziarie,
imprese società di servizi e pubbliche amministrazioni.
In tale contesto, Julia si presenta oggi al mercato con una proposta all’avanguardia tecnologica per l’ottimizzazione
della qualità del software, affiancandosi alle aziende nazionali ed internazionali dei diversi settori con soluzioni e servizi,
flessibili e personalizzabili, rispondenti alle loro reali esigenze in tale ambito, e in grado di abilitare nuove opportunità di
innovazione, efficienza, produttività ed immagine.
MISSION
La missione di Julia è affiancare il Cliente, dei diversi settori, nelle attività di:
•
•
•
•
•
Prevenzione e risoluzione di problematiche originate dagli errori del software;
Verifica e certificazione della qualità delle applicazioni;
Ottimizzazione dei processi di sviluppo software;
Analisi delle performance applicative;
Sviluppo di applicazioni avanzate e verificate.
Attraverso le proprie competenze e l’utilizzo di un’innovativa, consolidata e veramente unica piattaforma
di strumenti e servizi, Julia è in grado di effettuare una verifica rigorosa ed automatica del SW applicativo,
proprietario e/o di terze parti, sviluppato con i più recenti linguaggi di programmazione, quali Java e Android.
L’obiettivo fondamentale della verifica è garantire l’assenza di errori di
programma, ed evitare così eventi
operativi disastrosi, particolarmente
pericolosi in alcuni settori per i
gravissimi rischi correlati in termini di
costi ed immagine.
Quali sono i rischi connessi ai crash informatici e ai default applicativi dovuti a bug?
E quanto possono costare alle aziende?
Il ventaglio di possibili risposte è molto variabile: dalla semplice inefficienza o perdita di produttività, al danno economico
di entità più o meno grave, fino al disastro vero e proprio che, nei casi più drammatici, può comportare la perdita di vite
umane.
In una realtà in cui molti settori (Banche, Assicurazioni, Sanità, Trasporti, Industria, Difesa, ...) sono particolarmente sensibili
al tema della vulnerabilità e qualità del Software - per il potenziale impatto negativo che ne può conseguire - Julia
rappresenta una risposta assolutamente innovativa ed efficace al problema.
Ci rivolgiamo quindi ad Aziende ed Enti di ogni settore e dimensione, che utilizzano o sviluppano applicazioni software,
per i quali il tema della qualità e sicurezza del Software applicativo è particolarmente importante se non vitale: dalle
grandi Banche ed Assicurazioni alle Multinazionali industriali e della Distribuzione, dall’Industria dei Trasporti a quella
Aerospaziale, dal settore della Sanità a quello della Difesa, dai Vendor Tecnologici ai System Integrator, dalle grandi
Software House al singolo Sviluppatore Software Freelance.
SOLUZIONI E SERVIZI
Le basi scientifiche della soluzione JULIA (Java UniversaL Interpretation and Abstraction) si fondano sulle più moderne
tecniche di analisi statica del software derivate dalla teoria matematica dell’interpretazione astratta del codice.
Partendo dai risultati teorici di studi decennali, il Team di Ricerca e Sviluppo di Julia, strettamente interconnesso
all’Università, ha messo a punto una serie di soluzioni all’avanguardia, concrete e funzionanti, e servizi basati su strumenti
“core” che, per caratteristiche di unicità, innovazione e complessità, non hanno praticamente rivali sul mercato.
• IL CUORE DI JULIA: L’ANALIZZATORE STATICO
Cuore della soluzione e strumento principe, l’analizzatore Julia, un tool di interpretazione semantica e non solo
sintattica, che consente la verifica formale e automatica delle applicazioni sviluppate nei linguaggi avanzati Java
e Android, identificando errori e bug, inefficienze o cattive pratiche di programmazione. Per le classi analizzate da
Julia, la garanzia di efficacia è pari al 100%.;
• SERVIZI DI VERIFICA DEL SOFTWARE
La sinergia tra l’utilizzo dei nostri prodotti di analisi e la profonda esperienza maturata si traducono in servizi di analisi
e verifica del software efficienti ed altamente professionali, erogabili in diverse modalità;
• ANALISI STATICHE PERSONALIZZATE
• SVILUPPO DI SOFTWARE VERIFICATO
JULIA
JULIA
LA VERIFICA DEL SOFTWARE DIVENTA SEMPLICE
LA VERIFICA DEL SOFTWARE DIVENTA SEMPLICE