We believe that the culture of software quality and security should be a part of every programmer’s curriculum.
The goal of our Academic Program is to support future programmers in their quest to learn to write better and more secure code. Getting familiar with the use of static analysis as a best practise is an important step in that direction.
We offer students and faculty members the possibility to use JuliaSoft Cloud service in classroom or for student projects.
The use is limited to non-profit use within academic activity only. The use of the Student Accounts is limited to the duration of their course. Faculty members will be granted a long-term Faculty Member Account.
The Academic Accounts don’t include support or maintenance services, however you can always contact us for any inquiry and we’ll do our best to give you assistance.
Interested? To activate the Academic Program, please contact us.

Do you teach software verification?

Interested in participating in our programme?

Contact Us

We're not around right now. But you can send us an email and we'll get back to you, asap.

Start typing and press Enter to search