Brigitte Pientka

Department of Computer Science
Cornell University
Ithaca, NY 14853-7501
USA
Office:
Phone:
Fax:
Email:
4132 Upson Hall

++ 1 (607) 255 1179
++ 1 (607) 275 4276
pientka@cs.cornell.edu

Research Interests

  • Automatic Reasoning
    Induction Theorem Proving
    Proof Planning
  • Software Engineering
    Formal Specification
    Program Synthesis
  • Logical and Functional Programming Languages


    Special Interest:

    Currently I am a visiting research scholar at Cornell University. I am especially interested in questions like the following: how do we prove theorems, how reliable is a computer-based proof, how can we use automatic theorem provers in teaching, how can ideas from a pedagogical/ philosophical point of view improve heuristics and strategies used in automatic theorem proving, how could a proof explanation system look like. At Cornell University I will work on automating constructive inductive proofs within the Nuprl System.

    If you want to know more about me ...

  • Resume (postscript)
  • Résumé

    Academic Publications

    A Heuristic for Case Analysis, Department of Artificial Intelligence, University of Edinburgh, Technical Paper No 37, 1995

    How to prove it, in Proceeding of the 6th IFIP-International Conference on Women, Work and Computerization, Bonn, Germany, 1997 (to appear)

    Structured Incremental Proof Planning, co-authored with Stefan Gerberding, Proceedings of the 21th German Annual Conference on Artificial Intelligence, Freiburg, Germany, Springer,1997

    Finding substitutions for meta-variables in specification proofs,Department of Computer Science, Cornell University paper in progress

    Publications on Women and Computer Science

    Augusta Ada Byron - Countess of Lovelace - A computer pioneer, in Mathilde - Womens magazine for Darmstadt and Region, May/June 1996 (in German)

    Grace Murray Hopper - Eine Computerpionierin, Fachschaftszeitung des FB Informatik, Inforz

    Rosza Peter - the mother of recursive functions,private notes

    Wie männlich ist die Informatik? -- Erfahrungen, Eindrücke und Forderungen, in A. Paul-Kohlhoff, C. Walter (Hg.): Eine Frau, die Maschinenbau studiert ist kein Wesen vom Mars ... - Studentinnen motivieren Schülerinnen, Darmstädter Beiträge zur Berufspädagogik, Band 17, 1996 (unfortunately not available via WWW)

    Essay on my experience of attending th Grace Hopper Celebration 1997 of Women in Computing

    Some interesting Links

    Ciao!