Dr. rer. nat. Christian Pech Curriculum Vitae - Technische Universität ...

Supervisor: R. Pöschel
Advisors: M. Droste, H. Vogler, H. Reichel
08/2003 Defense of Ph.D. Theses “Kleene Type Results for
Weighted Tree Automata.”
Overall eveluation “summa cum laude”
Other Qualifications
Programming skills in C, C++, GAP, Maple.
In particular I write (wrote) software for:
• the COCO II project (development of a share package for GAP dealing
with coherent configurations) (GAP,C,C++),
• the enumeration of graphs having prescribed symmetries (GAP,C,C++),
• the computation of chromatic polynomials of recursive families of graphs
(Maple)
• the computation of fusions of flag algebras of families of incidence structures
(Maple)
• the computation of normalizers of 2-closed permutation groups (GAP, C)
Scholarships
1. PhD Scholarship by the German Research Community (DFG) in frames
of the graduate program ”Specification of Discrete Processes and Systems
of Processes by Operational Models and Logics” at Dresden University of
Technology,
November 2000 – August 2003
2. Post doc scholarship by the German Research Community (DFG) in frames
of the graduate program ”Specification of Discrete Processes and Systems
of Processes by Operational Models and Logics” at Dresden University of
Technology,
September 2003 – August 2005
3. Post doc scholarship at Ben Gurion University of the Negev in Beer Sheva,
Israel,
October 2007 –
Awards
December 8, 2004: Georg Helm Price of the TU Dresden for distinguished
Master- & Ph.D. Theses
2