Software verifications are subjected to mathematical analysis by Monoidics.
In the heart of London's tech hub, Tech City, lies Monoidics - a software verification provider that's making waves in the industry. Founded by Dr Dino Distefano in 2009, this Old Street-based company has grown organically without any outside investment, thanks to its unique technology rooted in research from Queen Mary, University of London, and Imperial College London.
Dr Distefano, a scientist by trade, has expressed a desire for Monoidics to grow, either organically or through acquisition by a larger company. His ambition is not just limited to business growth; he hopes every engineer and developer will embrace Monoidics' technology.
At the core of Monoidics' technology lies the mathematical analysis of 'pointers' within a program. These are lines of code that refer to data stored in memory. Malfunctioning pointers, when a line of code refers to data that does not exist, cause 90% of program crashes, according to Dr Distefano. Monoidics' software analyzes all the pointers in a program to ensure that they all resolve correctly, making complex software programs less prone to crashes.
Monoidics' technology has been in development for many years, initially only capable of analyzing small programs. However, it has since scaled to handle programs with millions of lines of code. This scalability has attracted big names in the tech industry, with customers including chip designer ARM Holdings, aircraft manufacturer Airbus, and electrical engineering giant Mitsubishi Electric.
However, Monoidics' tech-focus compared to other start-ups in the area can make interactions and finding common ground difficult. To overcome this, Dr Distefano found setting up in the Old Street area beneficial, as it allowed him to learn from other start-ups in the region.
Recently, Monoidics appointed its own managing director, allowing Dr Distefano to focus more on his research. This move comes as the company is currently negotiating two major contracts, which, if secured, would require Monoidics to double its capacity.
The viability of Tech City as a technology start-up hub depends on its ability to access and commercialise technology research conducted in London's universities. With Monoidics' success, it's clear that this symbiotic relationship between academia and business is bearing fruit. As Monoidics continues to grow and innovate, it's shaping up to be a key player in Tech City's future.
Read also:
- Exploring Harry Potter's Lineage: Decoding the Enigma of His Half-Blood Ancestry
- Elon Musk Acquires 26,400 Megawatt Gas Turbines for Powering His AI Project, Overlooks Necessary Permits for Operation!
- U Power's strategic collaborator UNEX EV has inked a Letter of Intent with Didi Mobility to deploy UOTTA(TM) battery-swapping electric vehicles in Mexico.
- Commercial-grade hydrogen enhancement systems manufacturing initiated by H2i Technology
