Company

University Spin-off

We are a software company established in 2010 as a spin-off of the University of Verona, Italy. Our goal is the production of tools for formal software verification of computer programs and the development of high-quality, formally verified software. We reach our goal by using abstract interpretation, a mathematical theory for the static analysis of software. We are born from the enthusiasm of young researchers who wanted to transform their research into an innovative industrial reality. We include professional, experienced managers that guide us into the financial and entrepreneurial world. Currently, our offices are hosted inside the University of Verona, which allows us to stay in strict contact with students. They have a chance to study, perform a stage and even contribute to the development of our software. We hope so to include future resources in our company.

Mission

Our company deals with computer software. Namely, we develop software tools able to analyze third-party code, in a completely automatic way and using a mathematically sound theory. Such analyses discover bugs or simple inefficiencies or bad programming patterns. Bugs and bad patterns are often at the origin of those nasty computer crashes that we experience from time to time. But they lead to erroneous computations or even generate dangerous situations and denial of service in industrial contexts.
An ounce of prevention is worth a pound of cure and this is true also in the computer world. When your software applications go mobile or fly over the cloud, you cannot afford a crash. Quality is at the heart of the success of your software, and here is where Julia proves its strength.

Plus

Our company has strong scientific roots and believes in scientific research and technological development. Our products are the result of more than ten years of scientific research, as proved by a long list of peer-reviewed scientific publications. Our team is well known at the international level, in the area of abstract interpretation and formal verification of software. Our products are unique, they are highly complex and hard to reproduce, they are far from simple syntactical program checks. And we are supported by financial and industrial consultants, so that scientific excellence is guided by financial experience.

Core Business

We interact with all software authors, from freelance software developers to large-scale software companies. Our goal is to improve the quality of their software and to produce new high quality software, by identifying programming bugs and bad patterns as early as possible in the software development cycle. We are currently focused on some programming languages of extensive use, with more to come in the near future:

• Java is our first choice, for its clear semantics and extensive application domains, from desktop to web and mobile serives.
• Android is our next choice, since more and more mobile applications for smartphones are written in that language.
• GWT is our newest choice. We analyze the most modern cloud computing applications written inside this framework by Google.

Our company is close to the local reality, since we want to develop new synergies of high technological level in the area of Verona, such as industrial partnerships and university joint projects. But our horizon is the world, since our products are unique and well recognizable at the international level. Cloud computing is our key to the world: our static analysis tools can also be used on the web, without installing any software on your local machine. Just click on the try online link.

Fausto Spoto – Chairman

Fausto Spoto was born in 1973. He is behind the industrial project of Julia Srl and is the main developer of its software. This was a natural consequence of his research activity: after a PhD in Computer Science from the University of Pisa and a few years spent abroad, as fellow researcher in France and UK, he comes to Verona in 2001 to work at the local university. He is currently associate professor in Verona, where he teaches courses on programming languages and software development. He establishes Julia Srl in November 2010.

For an update list of his scientific publications, see here.

Paolo Fiorini – Chief Executive Officer, Management Board

He is chairman of M&A Partners Srl, company established in 1980. In that company, he is financial advisor for entrepreneurial projects. He took part in many financial operations of mergers and aquisitions, development, turn-around, spin-off and start-up. In this initial phase of development of Julia Srl, his main goal is to look for investors and strategical partners.

Ðurica Nikolić – Researcher, PhD Student

He is a PhD student in computer science at the University of Verona, where he investigates the use of constraints for the definition and implementation of static analyses for Java-like languages, taking into account features such as method calls with side-effects, exceptions and dynamic dispatch. He uses such constraint-based abstract interpretations for the definition of new static analyses for run-time property of dynamically-allocated objects in memory.

Roberto Giacobazzi – Scientific Consultant, Management Board

He holds a PhD in Computer Science from the University of Pisa. He arrives in Verona after a postdoc research period in France, where he worked to the static analysis of computer software, in close interaction with Patrick and Radhia Cousot, the scientific sources of the discipline. Currently, he is full professor in Verona and dean of the Faculty of Science. He is one of the most recognizable scientific leaders in the area of software verification and abstract interpretation.

For an update list of his scientific publications, see here.

Paolo Errico – Industrial Consultant, Management Board

His initial interest is industrial electronics but he is now a professional entrepreneur. His past experience was gathered in technological companies such as Team Srl Sistemi per Comunicare and Xerity Srl. He is the founder of Multilink SpA, now part of Infracom Italia SpA, one of the largest communication companies in Italy. In that company, he had the duty of marketing director and strategical development manager. He is the experienced industrial guide of Julia Srl.