Congratulations to Mr. Grzegorz Kunicki, co-owner of FormalFoundry.ai, who teaches in the MBA program at the Faculty of Economics and Finance of the University of Rzeszów, sharing his practical expertise in AI and cybersecurity.

 

FormalFoundry.ai, a company founded by residents of Stalowa Wola, has won the main award in the category “Cybersecurity and Artificial Intelligence” at the prestigious Milipol trade fair in Paris. Milipol is one of the world’s most important events focused on national security, featuring over 1,100 exhibitors from 57 countries.

 

FormalFoundry.ai develops technologies that make artificial intelligence safe, predictable, and mathematically verifiable. The company brings standards known from nuclear energy and military aviation into modern computer science. Its research and development work is carried out in Stalowa Wola in cooperation with partners from the United States.

 

Importantly, FormalFoundry.ai was the only Polish company nominated and likely the first in history to receive this distinction.