Skip to main content

Georg Weissenbacher

Personal photo - Georg Weissenbacher

Georg Weissenbacher

Research Assistant

Leaving date: 30th June 2012

Themes:

Completed Projects:

See Also:

Interests

Automated software verification, model checking, decision procedures, logic.

news

I've graduated in September 2010 and joined Prof. Sharad Malik's group at Princeton University as a postdoctoral research associate.

featured publication

 

 

Digitaltechnik

Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger

Selected Publications

View AllManage publications

Activities

Completed Projects

Supervisor