Stefan Schupp
AboutNews archiveProjectsPublications

News archive

  • 2021-12-14 Best tool-paper award @SEFM'21
  • 2021-12-03 New website online
  • 2021-09-25 Paper @SEFM'21: TACoS
  • Stefan Schupp
  • github
  • linkedIn
  • google-scholar
  • orcid

Stefan Schupp's personal homepage - here you can find information about me, news and projects I am working on.