Department of Computer Science |
Armin Biere | NewsJSAT, a new Journal on Satisfiability, Boolean Modeling and Computation is probably the best place to publish an article on SAT. In October 2004 I took over the head of the Institute for Systems Theorie and Simulation from Prof. Franz Pichler at the Johannes Kepler University in Linz, Austria under the new name Institute for Formal Models and Verification. First public binary release of our QBF solver QUANTOR and first public source release of our SAT solver COMPSAT. Last July we continued our successful workshop on bounded model checking as BMC'04. We also will have a new incarnation next year as BMC'05 affiliated to CAV'05. Last year I served on the PC for the following events: CAV'04, RV'04, IJCAR'04, SAT'04, FTfJP'04, FMICS'04. Future PC work includes SAT'05 and CHARME'05. Student ProjectsCurrently we do not offer any master, diploma or semester projects. There is however a page on completed projects. TeachingLast summer we gave an introduction to digital design for all students in the fourth semester of the Diplom program and all students of the second semester of the Bachelor program. Some notes regarding our guest lecture in the 1st semester introduction to logic reside on a separate page. ResearchWe are interested in the application and improvement of Formal Methods. Our main research topic is Model Checking, which particularly in industry is used for Hardware Verification. We have also successfully been working on applying similar ideas to the verification of software. |
Last change |