IRG1: Static Analysis

Untitled Document

People

Who is Who? - Secretaries, Researchers, Student Assistance, Master's Students and Former Staff Members

What we work on. Who works in which area?

Positions, Long Term Visits, Postdoc Positions, Ph.D. Applications, Internships and other Offers

Lectures, Seminars, FoPras, Diploma Theses

Seminar program, Advanced Mini Courses

PhD Theses, Diploma Theses, Publications of Group Members

Software Projects, Downloadable Packages

Collection of useful Links to Internet Sites