As part of my PhD, I have written an article with two co-authors that has just been published as part of the proceedings of Logic in Computer Science (LICS) 2022. LICS is the flagship conference in type theory and the general use of mathematical logic to describe programming languages.
Are you responsible for the operations of your company’s IT infrastructure? Then you probably have experienced what it’s like to deal with an overabundance of system information. In this article we highlight how a monitoring service can be the solution to the problem.
The year is coming to an end. Novataris can look back on a 2021 where we celebrated winning the Børsen Gazelle award, being recognised as Success Company 2021 by BDO and Spar Nord and being nominated for EY Entrepreneur of The Year 2021.