Bernhard Gramlich, 1959–2014

On June 3 our colleague and friend Bernhard Gramlich passed away.

After studying computer science in Karlsruhe and Kaiserslautern, Bernhard spent several years as post-doc at INRIA Lorraine (Nancy). In 1998 he joined our university and became Associate Professor in 2000. His interests in research and teaching centered around term rewrite systems and automated equational reasoning. His career was interrupted one year ago when he was diagnosed with MSA, an aggressive incurable nerve disease.

We have lost an enthusiastic scientist, an engaged teacher and one of the most amiable persons we have ever met.

---

Bernhard Gramlich

Associate Professor

---

• Address
• Position
• Sprechstunden (office hours): Nach Vereinbarung
• Lehre (Teaching/Courses) SS 2013 [search for courses of our institute (E185) / the faculty]:
  • Computational Equational Logic, VU 3.0/2.0, SS 2013 [Informatik-Masterstud. (Comp. Int., SW Eng. & Internet Comp.), European Masters Program in Computational Logic]
  • Formale Modellierung, VU 3.0/2.0, SS 2013 [Informatik-Bachelorstudien]
  • Theoretische Informatik und Logik, VU 6.0/4.0, SS 2013 [Informatik-Bachelorstudien]
  • Project in Computational Logic, PR 12.0/8.0, SS 2013 [European Masters Program in Computational Logic]
  • Seminars, Praktical work, Masters thesis (Masterarbeit), PhD thesis (Dissertation), SS 2013
• Research Interests
• Publications (bibtex, abstracts / citations: DBLP, ZMATH, CiteSeer Documents, CiteSeer Citations, CSB, ACM, Google / Google Scholar / most cited authors in comp.sci.)
• Current Professional Activities:
  • VSL'14 - Vienna Summer of Logic,
    Vienna, Austria, July 9-24, 2014
  • FroCoS'13 - 9th International Symposium of Combining Systems,
    Nancy, France, September 18-20, 2013
    submission deadline: April 15, 2013 (abstracts) / April 22, 2013 (papers)
  • CADE - International Conference on Automated Deduction
    
• Interesting Conferences & Workshops, Summer Schools, Journals, Special Issues of Journals
• Some local links

---

Address

Snail:  Bernhard Gramlich
        Technische Universität Wien          |  Vienna University of Technology
        Fakultät für Informatik              |  Faculty of Informatics
        AG Theoretische Informatik und Logik |  Theory and Logic Group        
        Favoritenstr. 9, E185/2
        A-1040 Wien, Austria
E-mail: gramlich@logic.at
WWW:    http://www.logic.at/staff/gramlich
Phone:  +43-1-58801-18544
Fax:    +43-1-58801-18597

Zugang: am besten über Stiege 1, 3. Stock, rechts (Gebäudeplan)

---

Research Interests

• Term Rewriting and Equational Reasoning / Rewriting Logic
• Automated Termination proofs for Rewrite Systems, e.g. in VMTL
• Declarative / Equational / Functional / Logic / Functional Logic Programming
• Formal Methods / Algebraic Development Techniques
• Specification, Transformation and Verification of Programs
• Automated Reasoning / Automated Deduction / Inductive Theorem Proving
• Strategies in Rewriting and Programming (see e.g. here: WRS workshop series / WRS homepage),
  as well as in Deduction and Proof Engineering

---

Some local links

Intern | AG 185/2 | Inst. 185 | WWW-Server | Faculty | Coll. | TU | TISS | TUWEL | TUWIS++

LVAs 185/2 | LVAs (TU Wien) | Informatik-Studienpläne | ULV

---

Last modified: Mon Jun 24 18:54:47 CEST 2013

---

Bernhard Gramlich

---