VERIFY BY JULIA
- Winner of the Digital360Awards Competition for ”IT Architecture Security & Governance”, 2016.
- Winner of the European Commission Seal of Excellence for the project “SAME”, 2016.
- Amongst the top 16 Italian startups chosen to pitch in the “Get In the Ring” event at the Global Entrepreneurship Congress (GEC) in Milan, March 2015.
- Amongst the best Italian startups chosen to be presented to international investors in the event “ItaliaRestartsUp” by Ministry of Economic Development and the Italian Trade Agency, 2014.
- Roberto Giacobazzi, cofounder of JuliaSoft Srl, was awarded a Microsoft Research’s 2013 Software Engineering Innovation Foundation Award, for his highly appreciated work on “Abstract Interpretation of Self-Modifying Code”, 2013.
- Selected to participate in a three-year research project on software verification, funded by DARPA / US Air Force, with the University of Washington, 2012;
- Selected for the Italian Roadshow of “Mind the Bridge Competition” – MtB Foundation, San Francisco, CA, 2012;
- Second prize at UniCredit’s competition “Talento delle Idee”, 2012.
- Amongst the 9 best ICT projects at Telecom Working Capital competition, 2011.
- First prize in the Java Bytecode Recursive Contest -Termination Competition, 2009 and 2010.