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

Dr. rer. nat. Christian Pech
Curriculum Vitae
Personal data
Name: Dr. Christian Pech
Date of birth: November 22, 1973
Place of birth: Dresden, Germany
Sex: male
Marital status: married
Citizenship: Germany
Languages
Mother tongue: German
Active knowledge: English, Serbian
Education
09/1980 – 08/1990 Primary and secondary school at 70. Polytechnische
Oberschule Dresden
09/1990 – 08/1991 Preparation for the matriculation at a university
of technology (Fachgebundene Hochschulreife) at
Pädagogische Hochschule Dresden
09/1991 – 04/1998 Studies of mathematics at Dresden University of
Technology, Specialization: Algebra
08/1995 – 07/1996 Study visit at the Ben Gurion University of the
Negev in Beer Sheva Israel, Specialization: Algebraic
Combinatorics, Supervisor: Prof. M.Klin
02/1997 – 07/1997 Study visit at the Ben Gurion University of the
Negev in Beer Sheva Israel, Specialization: Algebraic
Combinatorics, Supervisor: Prof. M.Klin
11/2000 – 08/2003 Ph.D. studies in the postgraduate program ”Specification
of Discrete Processes and Systems of Processes
by Operational Models and Logics” at Dresden
University of Technology
1

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

Scientific interests
Algebraic Combinatorics (coherent configurations, strongly regular graphs, incidence
structures, algorithmic methods), Theoretical Computer Science (formal
power-series, formal tree-series, weighted automata, weighted tree-automata,
co-algebras, categorical methods), Universal Algebra (theory of functional and
relational algebras)
List of publications
Preprints:
1. A. Betten, M. Klin, R. Laue, C. Pech. A computer approach to the
enumeration of block designs which are invariant with respect
to a prescribed permutation group. Preprint MATH-AL-13-1997,
TU-Dresden, 1997.
2. M. Klin, Ch. Pech, P.-H. Zieschang. Flag algebras of block designs.
Preprint MATH-AL-10-1998, TU-Dresden, 1998.
Refereed articles:
1. F. Fiedler, M. Klin, Ch. Pech. Directed strongly regular graphs as
elements of coherent algebras. in: K. Denecke, H.-J. Vogel (Eds.).
General Algebra and Discrete Mathematics. Proceedings of the ”Conference
on General Algebra and Discrete Mathematics, Potsdam 1998”,
Shaker Verlag, Aachen 1999, 69-88.
2. Ch. Pech. Kleene’s Theorem for Weighted Tree-Automata. in:
A. Lingas, B.J. Nilsson (Eds.). Fundamentals of Computation Theory.
Proceedings of the 14th International Symposium, FCT 2003, Malmö,
Sweeden 2003, LNCS 2751, 2003, 387-399.
3. M. Droste, Ch. Pech, H. Vogler. A Kleene Theorem for Weighted
Tree Automata. Theory of Computing Systems, 38(1), 2004, 1-38.
4. L. Kwuida, Ch. Pech, H. Reppe. Generalizations of Boolean algebras.
An attribute exploration. Math. Slovaca, 56(2), 2006, 145–165.
5. M. Klin, M. Muzychuk, Ch. Pech, A. Woldar and P.-H. Zieschang, Association
schemes on 28 points as fusions of a half-homogeneous
coherent configuration. European Journal of Combinatorics 28(7),
2007, 1994–2025.
Theses:
3

1. Incidence structures and cellular algebras. Diplomarbeit, Technische
Universität Dresden, 1998.
2. Kleene-Type Results for Weighted Tree-Automata. Dissertation,
Technische Universität Dresden, 2003.
Submitted manuscripts:
1. Coherent Algebras. accepted for publication in: M. Klin, A. Woldar
eds., Coherent algebras, association schemes, Schur rings and symmetry
of graphs. A collection of scientific papers.
2. Chromatic polynomials and association schemes. (with M. Klin),
submitted to: M. Klin, A. Woldar eds., Coherent algebras, association
schemes, Schur rings and symmetry of graphs. A collection of scientific
papers.
3. Enumerating Set Orbits. (with S. Reichard), submitted to the proceedings
of Workshop D1: Gröbner Bases in Cryptography, Coding Theory,
and Algebraic Combinatorics in Linz, May 2006.
Invited talks
January 7, 2002 “Constructive enumeration of graphs with given automorphismgroup.”
TU-Braunschweig, invited by Prof. B. Eick.
June 11, 2002 “Partial homomorphisms for coalgebras.” TU-Braunschweig, invited
by Prof. J. Adamek.
May 5, 2006 “Coherent configurations and Association Schemes (The Galois
correspondence between coherent configurations and permutation
groups).” Workshop D1 on Gröbner-bases in cryptography,
coding-theory, and algebraic combinatorics”, Linz, invited
by Prof. M. Klin.
Participation in Conferences
1. Workshop “Groups in Action” in Thurnau, Germany (October 20–24,1996),
2. Workshop in General Algebra (AAA60) in Dresden, Germany (June 22–
25, 2000),
3. STACS’01 in Dresden, Germany (February 5–9, 2001),
4. Workshop “Knowledge-representation” in Dresden, Germany (April 26–
27, 2001),
5. Workshop “A course in tame congruence theory” in Budapest, Hungary
(July 2–13,2001),
4

6. Workshop “Weighted Automata: Theory and Applications” (WATA’02)
in Dresden (March 4–8, 2002),
7. Workshop in General Algebra (AAA65) in Potsdam, Germany (March
20–23, 2003),
8. Workshop “Algebra, Logic, and Discrete Mathematics” in Dresden (May
13–15, 2003),
9. Workshop in General Algebra (AAA66) in Klagenfurt, Austria (June 19–
22, 2003),
10. Fundamentals of Computation Theory (FCT’03) in Malmö, Sweden (August
13–15, 2003),
11. Novi Sad Algebraic Conference (NSAC’03) in Novi Sad, Serbia & Montenegro
(August 25–28, 2003)
12. Workshop “Weighted Automata: Theory and Applications” (WATA’04)
in Dresden (June 1–5, 2004),
13. Workshop in General Algebra (AAA68) in Dresden, Germany (June 10–
13, 2004),
14. Workshop “Algebraic Combinatorics and Applications” (ALCOMA’05) in
Thurnau, Germany (April 3–10),
15. Workshop in General Algebra (AAA70) in Vienna, Austria (May 26–29,
2005)
16. Novi Sad Algebraic Conference (NSAC’05) in Novi Sad, Serbia & Montenegro
(July 11–15, 2005)
17. Workshop D1 “Gröbner Bases in Cryptography, Coding Theory, and Algebraic
Combinatorics” in Linz, Austria (May 1–6,2006),
18. Conference on Lattice Theory (AAA72) in Budapest, Hungary (June 6–9,
2006)
Professional experience
2000 –2006 Teaching Assistent at the institute for Algebra of
TU-Dresden
Teaching experience:
Lectures held:
5

2004 / 2005 Computer Algebra, (for students of the international
Master-Program in Computational Logics at TU-
Dresden)
2005 / 2006 Computer Algebra, (for students of the international
Master-Program in Computational Logics at TU-
Dresden)
Teaching Assistent in lectures for students of I. and II. year:
2005 / 2006 Algebraic Structures
2005 / 2006 Linear Algebra and Analytical Geometry
Teaching Assistent in lectures for students of III. and IV. year:
2000 / 2001 Functional and Relational Algebras
2001 / 2002 Logics and Model-Theory
2001 / 2002 Universal Algebra
2002 / 2003 Functional and Relational Algebras
2002 / 2003 Order-Structures
2002 / 2003 Universal Algebra
2003 / 2004 Category-Theory
2003 / 2004 Functional and Relational Algebras
2003 / 2004 Universal Algebra
2003 / 2004 Logics and Model-Theory
2003 / 2004 Category-Theory
2004 / 2005 Functional and Relational Algebras
2004 / 2005 Universal Algebra
2005 / 2006 Universal Algebra
Teaching Assistent in lectures for master-students:
2004 / 2005 Syntax-directed Semantics
6