RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
description  |  members  |  activities  |  seminar  |  publications  |  software
  
search:
  

Formal Methods Members

Leader

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

All Members

Name Position Phone Office Working area
Ahmad Bashar, M.Sc.Ph.D. StudentnonenoneFormal Methods
Baumgartner Alexander, Dr. (on leave)externalnonenoneSymbolic Computation Techniques for Unranked Terms (SToUT project)
Cerna David, DrPostDoc+43 732 2468 99391.7-6Formal Methods, Proof Theory
Kutsia Teimuraz, Priv.-Doz. Dipl.-Math. Dr.Faculty+43 732 2468 9982-2.14-1Unification, automated reasoning, rule-based programming
Lichtenberger Franz, Dr. (external consultant)FacultynonenoneFormal Methods, Mathematics Education
Pau Ioana-Cleopatra, DIPh.D. Student+43 732 2468 9973-2.10-3Generalization Algorithms and Applications
Schreiner Wolfgang, A.Univ.-Prof. DI Dr.Faculty+43 732 2468 99631.3-1Formal Methods, Parallel and Distributed Computing