Dr. Astrid Kiehn

Astrid Kiehn
EMail: astrid[at]iitmandi[dot]ac[dot]in
Address: School of Computing and Electrical Engineering
IIT Mandi, Kamand Campus
Mandi - 175001
Himachal Pradesh, India

Research interests

  • Distributed Algorithms
  • Concurrency Theory
  • Formal Verification

Currrent Semester (1st Semester Academic Year 2018/2019)


Teaching
  • CS304 Formal Languages and Automata Theory
Service
  • Library Advisory Council, Chair
  • Advisor, International Relations
  • Faculty Advisor, Art Geeks (students club)
Research
  • Modelling and verification of snapshot and related algorithms
  • Scalable distributed algorithms, inductive proof methods

Education

  • Habilitation, Theoretical Computer Science, Technical University Munich
  • Ph.D., Computer Science, Technical University Munich
  • Diploma, Computer Science, University of Hamburg

Publications

  • A. Kiehn, A. Mittal: Partial snapshotting: checkpoint dissemination and termination, Technical Report TR-IITMANDI-2018-1, 2018.
  • A. Kiehn, D. Aggarwal: A study of mutable checkpointing and related algorithms.
    Science of Computer Programming 160, 2018.
  • RTR
  • D. Aggarwal, A. Kiehn: Analyzing mutable checkpointing via invariants.
    Proceedings of 6th International Conference on Fundamentals of Software Engineering (FSEN 2015), Lecture Notes in Computer Science 9392, 2015.
  • D. Aggarwal, A. Kiehn: Analyzing mutable checkpointing via invariants.
    Technical Report IIITD-TR-2015-008.pdf, Indraprastha Institute of Information Technology Delhi, 2015.
  • A. Kiehn, P. Raj, P. Singh: A causal checkpointing algorithm for mobile computing environments.
    Proceedings of 15th International Conference on Distributed Computing and Networks (ICDCN 2014), Lecture Notes in Computer Science 8314, 2014.
  • A. Kiehn: An operational semantics for shared messaging communication.
    Proceedings of SOS 2007, Electronic Notes in Theoretical Computer Science 16735, 2007.
  • A. Kiehn, S. Arun-Kumar: Amortised bisimulations.
    Proceedings of FORTE 05, Lecture Notes in Computer Science 3731, 2005.
  • H. Gruber, M. Holzer, A. Kiehn, B. Koenig: On timed automata with discrete time -- structural and language theoretical characterization.
    Proceedings of DLT 05, Lecture Notes in Computer Science 3572, 2005.
  • A. Kiehn, M. Hennessy: On the decidability of non-interleaving process equivalences.
    Fundamenta Informaticae 30(1): 18-33, 1997.
  • A. Kiehn: Concurrency in Process Algebras.
    Habilitationsschrift, 1997.
  • A. Kiehn: Observing partial order runs of Petri nets.
    C. Freksa (ed.), Foundations of Computer Science Potential--Theory--Cognition, Lecture Notes in Computer Science 1337, 1997.
  • E. Esparza, A. Kiehn: On the model checking problem for branching time logics and Basic Parallel Processes.
    Proceedings of CAV 95, Lecture Notes in Computer Science 939, 1995.
  • A. Kiehn: Comparing locality and causality based equivalences.
    Acta Informatica, (31): 697-718, 1994.
  • G. Boudol, I. Castellani, M. Hennessy, A. Kiehn: A theory of processes with localities.
    Formal Aspects of Computing 6:165-200, 1994.
  • A. Kiehn, M. Hennessy: On the decidability of non-interleaving process equivalences.
    Proceedings of CONCUR 94, Lecture Notes in Computer Science 636, Springer--Verlag, 1994.
  • G. Boudol, I. Castellani and M. Hennessy, A. Kiehn: Observing localities.
    Theoretical Computer Science 114:31--61, 1993.
  • A. Kiehn: Proof systems for cause based equivalences.
    Proceedings of MFCS 93. Lecture Notes in Computer Science 711 : 547--556, 1993.
  • G. Boudol, I. Castellani, M. Hennessy, A. Kiehn: A theory of processes with localities.
    Proceedings of CONCUR 92, Lecture Notes in Computer Science 630, Springer--Verlag, 1992.
  • E. Best, R. Devillers, A. Kiehn, L. Pomello: Concurrent bisimulations in Petri nets.
    Acta Informatica, (28):231--264, 1991.
  • A. Kiehn: Local and global causes.
    Technical Report TUM--I9132, Technische Universitaet Muenchen, 1991.
  • G. Boudol, I. Castellani, M. Hennessy, A. Kiehn: Observing localities.
    Proceedings of MFCS 91, Lecture Notes in Computer Science 520. Springer--Verlag, 1991.
  • A. Kiehn. Distributed bisimulations for finite CCS.
    Technical Report 7/89, University of Sussex, 1989.
    Abstract in Concurrency and Compositionality extended abstracs of a workshop, TR - 5/90, University of Pisa, 1990.
  • A. Kiehn: Petri net systems and their closure properties.
    In G. Rozenberg, ed., Advances in Petri nets 1989, Lecture Notes in Computer Science 424, pp. 306--328, Springer--Verlag, 1990.
  • A. Kiehn: Infinitary partial Petri net languages and their relationship to other Petri net semantics.
    In G. Rozenberg, ed., Advances in Petri nets 1988, Lecture Notes in Computer Science 340, pp. 227--248, Springer--Verlag, 1989.
  • A. Kiehn: A structuring mechanism for Petri nets.
    Technical Report TUM-I8902, Technische Universitaet Muenchen, 1989.
  • A. Kiehn: On the interrelation between synchronized and non-synchronized behaviour of Petri nets.
    Journal of Information Processing and Cybernetics EIK, 24(1/2):3--18, 1988.
  • A. Kiehn: On the concurrent behaviour of Petri nets.
    Technical Report FBI-HH-B-120/86, Universitaet Hamburg, 1986.

Work Experience


.
Affiliations
  • IIT Mandi, Visiting Associate Professor (since Jan 2016)
  • IIIT-Delhi, Visiting Faculty/Associate Professor (Dec 2008 - Dec 2015)
  • IIT Delhi, Visiting Faculty (Oct 2002 - Mar 2004, Oct 2004 - Mar 2008)
  • IIT Delhi, Short-Time Lecturer (Dec 2001 - April 2002, DAAD Scholarship)
  • University of Augsburg, Visiting Professor (Feb - July 1998)
  • University of Sussex, Research Fellow (Mar 1989 - Dec 1990)
  • TU Munich, Wissenschaftliche Angestellte/Assistentin/Oberassistentin (July 1986 - Feb 1989, Jan 1991 - 1997, Dec 1998 - Nov 2002, Feb 2004 - July 2004)
Service to Institute
  • Library Advisory Council, Chair, IIT Mandi (since Aug 2016)
  • Advisor, International Relations, IIT Mandi (since Aug 2016)
  • Coordinator, Creative Stream, 5WIP, IIT Mandi (2016, 2017)
  • Associate Dean, Academics, IIIT-Delhi (July - December 2015)
  • Undergraduate Committee, Chair, IIIT-Delhi (Jan 2012 - June 2015)
  • Incharge, Academic Affairs, IIIT-Delhi (2009 - June 2013)
  • Disciplinary Action Committee, Chair, IIIT-Delhi (Dec 2008 - Jun 2010)
  • Library Committee, Chair, IIIT-Delhi (Dec 2008 - June 2010)
  • Deputy Women's Representative (Frauenbeauftragte), TU Munich (Oct 1994 - Sep 1996)
  • Member of several other academic and student related commitees.
Projects
  • Academic Research Cooperation: An Algebraic Theory for Distributed Systems
    With University of Sussex (Prof M Hennessy), July 1992 - December 1995, funded by DAAD & British Council
  • Esprit Project BRA 3011: CEDISYS (Compositional Distributed Systems)
    Partners from University of Arhus (Denmark), University of Sussex (GB), Pisa University (Italy) and INRIA in Sophia-Antipolis (France), March 1989 - December 1990, EU project
  • Subproject A3 SEMAFOR (Formalismen for Specification, Design and Analysis)
    Sonderforschungsbereich 0342, CS department TU Munich, January 1990 - December 1999, DFG project
  • Esprit Project 283 FOR-ME-TOO (Formalisms-Methods-Tools: Software development based on and supporting the concept of reusability of components)
    Partner: Siemens Munich, July 1986 - September 1987, EU project