site.btaUPDATED Amazon Web Services Donates USD 1 Mln to INSAIT Institute for Research Development

Amazon Web Services is donating USD 1 million to the Institute for Computer Science, Artificial Intelligence and Technology (INSAIT) at Sofia University, the press centre of the Education Ministry said on Thursday.

The funds are being made available for demonstrated excellence and growth potential, and are to be used for research in formal methods. The funds will also support salaries for researchers and scholarships for PhD students and students at the institute. Alongside this, a strategic partnership between INSAIT researchers and engineers and Amazon Web Services is also starting.

"We are delighted to support INSAIT with a 1M gift for establishing a professorship in automated reasoning, an area of tremendous importance for AWS. INSAIT is an exciting initiative and we are looking forward to establishing closer research and collaboration ties with students and faculty at the institute," Amazon Web Services Vice President Byron Cook says, quoted by INSAIT.

“Automated reasoning is not only a foundational area of computer science with a storied history but one of increasing practical importance across a wide range of domains, including security, trustworthy AI, robotics, and many more. It is the only known mathematical method able to provide full certification guarantees while scaling to real-world systems. We are tremendously excited to receive this fantastic support from AWS and to announce that INSAIT is now expanding its reach into this space.” Prof. Martin Vechev, Founder and Scientific Director of INSAIT, says.