Institute of Science and Technology (IST) Austria professor Krishnendu Chatterjee recently was awarded grants from the European Research Council and Microsoft to support his efforts to develop more complex but efficient IT systems.
"As I and my team do theoretical research we don't need much special, costly equipment," as the main need is in qualified research staff, says IST Austria professor Krishnendu Chatterjee. The researchers currently are working on quantitative graph games and their application to the synthesis of correct systems. "Our goal is to develop automated tools that help in the development of software systems," Chatterjee says. They are working to develop new methods for verifying reactive systems such as operating systems.
The researchers will collaborate with Microsoft researchers, staying within the guidelines of the fellowship. "As Microsoft develops operating systems, our work has a close relation to their work," Chatterjee says.
From Network World
View Full Article
Abstracts Copyright © 2011 Information Inc., Bethesda, Maryland, USA
No entries found