FORSYTE - Formal Methods in Systems Engineering

Michael Tauschnig joins Queen Mary, University of London

veith@forsyte.at — Sun, 09 Jun 2013 16:06:58 +0000

After a postdoc in Daniel Kroening’s group, FORSYTE alumnus Michael Tautschnig is joining Queen Mary as a Lecturer. Congratulations!

http://www.eecs.qmul.ac.uk/people/view/33534/dr-michael-tautschnig

Doron Peled visiting May 2013

veith@forsyte.at — Thu, 09 May 2013 16:09:24 +0000

Doron Peled is visiting our group for a month in May 2013.

CAV 2013 in St. Petersburg!

veith@forsyte.at — Wed, 10 Oct 2012 20:08:50 +0000

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.

Florian Zuleger in the Austrian Newspaper “Der Standard”

veith@forsyte.at — Wed, 03 Oct 2012 18:34:45 +0000

Florian gave an interview about his research on bound computation to the Austrian
daily newspaper “Der Standard”.

Joint Workshop between CMACS and RiSE in Washington, DC

veith@forsyte.at — Thu, 27 Sep 2012 20:24:43 +0000

Adjoint to the Austrian science talks in Washington, DC, our group participated in a joint workshop between CMACS and RiSE.

Ten funded PhD and PostDoc positions

Mon, 09 Jul 2012 16:58:37 +0000

The Formal Methods in Systems Engineering Group at Vienna University of Technology offers 10 PhD/PostDoc positions.

We are looking for new colleagues in the areas of Formal Methods, Software Model Checking, Abstract Interpretation, Static Analysis, Automata Theory, …

If you are mathematically inclined and/or a versatile programmer willing to combine theory and practice, one of these research projects might offer the job of your dreams.

Florian Zuleger winning WWTF grant

veith@forsyte.at — Tue, 26 Jun 2012 18:40:56 +0000

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.

http://www.wwtf.at/programmes/ict/#c1934h

Welcome Georg Weissenbacher

veith@forsyte.at — Tue, 26 Jun 2012 18:33:21 +0000

Georg Weissenbacher, leader of a WWTF funded Vienna Research Group, will start his work in our group on July 2. His project “Heisenbugs: From Detection to Explanation” is applying formal methods to identify hard-to-detect errors in computer systems.

See a newspaper article on his work in “Der Standard”.

Austrian Computer Science Day: June 28, 2012

veith@forsyte.at — Sun, 27 May 2012 14:00:28 +0000

http://www.informatiktag.at/

Uni-Finanzierung als Absurdes Theater (Der Standard)

veith@forsyte.at — Wed, 28 Mar 2012 19:22:38 +0000

An sieben Universitäten werden in Österreich Informatik-Studien angeboten, aber mehr als 50 Prozent der Studierenden wählen die TU Wien – über 1000 Studienanfänger jährlich. Der gute Ruf der TU Wien wird zum Fluch für das Studium, denn auf 52 habilitierte Professoren kommen fast 7000 Studierende; ein solches Verhältnis wäre bei anderen international führenden Universitäten undenkbar. Alle wissen, dass Mangelwirtschaft an Universitäten dem Wissenschafts- und Wirtschaftsstandort schadet, die Innovationskraft unserer Gesellschaft untergräbt und den wissenschaftlichen Nachwuchs ins Ausland treibt.

DerStandard