Department of Computer Science University of New Mexico

Stephan Falke

Department of Computer Science
MSC01 1130
1 University of New Mexico
Albuquerque, NM 87131-0001
E-mail: spf@cs.unm.edu
Home page: http://www.cs.unm.edu/~spf/
Research

I am a Ph.D. student at the Department of Computer Science of the University of New Mexico. My fields of interest are:
  • Program Verification
  • Term Rewriting
  • Termination Analysis
As a Masters student I was involved in the AProVE-project of the Research Group Computer Science II in the Department of Computer Science at RWTH Aachen University.

Publications List of publications from the DBLP Bibliography Server

Journals

Conferences

Workshops

Technical Reports

Other Publications

Teaching
mail Stephan Falke Last modified: November 15, 2009 Valid HTML 4.01 Transitional