Lehr- und Forschungsgebiet Informatik II

Department of Computer Science

Research

I am a research assistent and PhD student at Lehr- und Forschungsgebiet Informatik II. My fields of interest are:

• Termination (AProVE tool)
• Verification

Publications

Conferences

• J. Giesl, S. Swiderski, P. Schneider-Kamp, and R. Thiemann
  Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages
  In Proceedings of the 17th International Conference on Rewriting Techniques and Applications (RTA-06), Seattle, USA, Lecture Notes in Computer Science, 2006. To appear.©Springer-Verlag
  

Stephan Swiderski

Last modified: Wed Jun 14 08:38:08 CEST 2006