Research in game theory tackles IT complexity

IST Austria's Krishnendu Chatterjee wins an award for his work on systems design

As IT systems are getting more complex, designing them correctly is getting more difficult, too, says computer scientist Krishnendu Chatterjee. For his work on game theoretic models for the synthesis of correct systems he has now won both a €1.2 million (approximately US$1.7 million) grant from the European Research Council and a US$200,000 Microsoft Research Faculty Fellowship.

Both awards aim to support up-and-coming researchers. Chatterjee is an assistant professor at the Institute of Science and Technology (IST) Austria in Klosterneuburg near Vienna. His research group deals with computer-aided verification and game theory.

Chatterjee says he will mainly spend the money to add researchers to his team. "As I and my team do theoretical research we don't need much special, costly equipment. What we need is research staff," he said. So far Chatterjee is planning to hire one more postdoc researcher and three Ph.D. students.

Currently Chatterjee is 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," he said. The researcher aims to advance the methods of verification for reactive systems such as operating systems. These systems are usually modeled as a graph. To verify such a system, games are played on the graphs. Chatterjee's work focuses on mathematical theory to find new ways to deal with large graph games.

"An intuitive description of graph games is the game of chess: Vertices of the graph represent configurations of the chess board, and players make moves in turns from one vertex to another," said Chatterjee. Transferred to system analysis, this means the system and the environment are the players and every vertex represents a state of the system resulting from their opposing actions. "The goal is to ensure the system behaves correctly against all environment behaviors," Chatterjee added.

"As Microsoft develops operating systems, our work has a close relation to their work," Chatterjee said. Relevance to the aims of Microsoft research is one of the criteria for the software company when selecting the research faculty fellows. Chatterjee said that in the context of the fellowship he will collaborate with Microsoft researchers in Redmond and India.

Chatterjee has been working with IST Austria since June 2009. The institute, inaugurated in 2009, is dedicated to basic research and graduate education in the natural and mathematical sciences. Thus far 20 professors have joined IST Austria.

Chatterjee earned his Ph.D. in computer science at the University of California, Berkeley, where his thesis about so-called "omega-regular games" won the David J. Sakrison award for outstanding research. In addition the European Association for Computer Science Logic decorated him with their Ackermann award, named after the mathematician Wilhelm Ackermann.

Join the newsletter!

Or

Sign up to gain exclusive access to email subscriptions, event invitations, competitions, giveaways, and much more.

Membership is free, and your security and privacy remain protected. View our privacy policy before signing up.

Error: Please check your email address.

Tags Microsoftpopular science

Keep up with the latest tech news, reviews and previews by subscribing to the Good Gear Guide newsletter.

Nicolas Zeitler

IDG News Service
Show Comments

Brand Post

PC World Evaluation Team Review - MSI GT75 TITAN

"I need power and lots of it. As a Front End Web developer anything less just won’t cut it which is why the MSI GT75 is an outstanding laptop for me. It’s a sleek and futuristic looking, high quality, beast that has a touch of sci-fi flare about it."

Most Popular Reviews

Latest Articles

Resources

PCW Evaluation Team

Luke Hill

MSI GT75 TITAN

I need power and lots of it. As a Front End Web developer anything less just won’t cut it which is why the MSI GT75 is an outstanding laptop for me. It’s a sleek and futuristic looking, high quality, beast that has a touch of sci-fi flare about it.

Emily Tyson

MSI GE63 Raider

If you’re looking to invest in your next work horse laptop for work or home use, you can’t go wrong with the MSI GE63.

Laura Johnston

MSI GS65 Stealth Thin

If you can afford the price tag, it is well worth the money. It out performs any other laptop I have tried for gaming, and the transportable design and incredible display also make it ideal for work.

Andrew Teoh

Brother MFC-L9570CDW Multifunction Printer

Touch screen visibility and operation was great and easy to navigate. Each menu and sub-menu was in an understandable order and category

Louise Coady

Brother MFC-L9570CDW Multifunction Printer

The printer was convenient, produced clear and vibrant images and was very easy to use

Edwina Hargreaves

WD My Cloud Home

I would recommend this device for families and small businesses who want one safe place to store all their important digital content and a way to easily share it with friends, family, business partners, or customers.

Featured Content

Latest Jobs

Don’t have an account? Sign up here

Don't have an account? Sign up now

Forgot password?