Formal Methods Members

Leader

Dr. Franz Lichtenberger

A.Univ.-Prof. DI Dr. Wolfgang Schreiner

All Members

Name	Position	Phone 1	Phone 2	Mobile	Office	Working area
Baumgartner Alexander, Dr. (on leave)	external	none			none	Symbolic Computation Techniques for Unranked Terms (SToUT project)