Florian Zuleger winning WWTF grant
June 26, 2012No Comments
Florian Zuleger was awarded a grant by WWTF for his research project ”Automated Program Analysis for Bounds on Resource Consumption”. Florian’s project will develop new methods to extract bounds for loops, memory and bandwidth from imperative programs.
Latest News
CAV 2013 in St. Petersburg!
October 10, 2012
Our group is co-organizing CAV 2013, the leading conference in computer-aided verification. The conference will take place July 13-19, 2013, during the famous White Nights in beautiful St. Petersburg.
[Read More...]Florian Zuleger in the Austrian Newspaper “Der Standard”
October 3, 2012
Florian gave an interview about his research on bound computation to the Austrian daily newspaper “Der Standard”.
[Read More...]Joint Workshop between CMACS and RiSE in Washington, DC
September 27, 2012
Adjoint to the Austrian science talks in Washington, DC, our group participated in a joint workshop between CMACS and RiSE.
[Read More...]Full news archive
See all news.
Comments are closed.