henningkerstan.org
Teaching – Henning Kerstan
http://henningkerstan.org/teaching
Here is a list of all my teaching activities at the University of Duisburg-Essen. Exercise Class Computability and Complexity. Exercise Class Computability and Complexity. Exercise Class and Tutorial Mathematische Strukturen. Exercise Class Berechenbarkeit und Komplexität. Exercise Class and Tutorial Mathematische Strukturen. Exercise Class Berechenbarkeit und Komplexität. BeKo) (Computability and Complexity). Exercise Class Modellierung nebenläufiger Systeme. Modeling of Concurrent Systems). May 15, 2016.
henningkerstan.org
Conferences – Henning Kerstan
http://henningkerstan.org/conferences
This is a list of conferences, workshops, summer schools etc. where I have been (or plan to be in the near future). March 2016, Saarbrücken, Germany. Attendee) & CALCO 2015. June 2015, Nijmegen, The Netherlands. May 2015, Leipzig, Germany. March 2015, Kerkrade, The Netherlands. Speaker) and INFINITY 2014. December 2014, New Delhi, India. September 2014, Nijmegen, The Netherlands. Speaker) and ETAPS 2014. April 2014, Grenoble, France. Bellairs Workshop on Probabilistic Systems 2014. May 15, 2016.
henningkerstan.org
Henning Kerstan
http://henningkerstan.org/about-me
Welcome to my personal website! Since May 2016 I work as a technology consultant for PwC. From November 2011 to May 2016 I was a PhD student/junior researcher in the theoretical computer science group. At the University of Duisburg-Essen. And successfully defended my PhD thesis. On April 20, 2016. Before that I studied mathematics at the University of Duisburg-Essen and graduated in 2011 with a German Diplom (comparable to both a Bachelor’s and Master’s degree in one). May 15, 2016. April 21, 2016.
henningkerstan.org
Talks – Henning Kerstan
http://henningkerstan.org/talks
Here is a list of talks I’ve given or will give. Coalgebraic Behavior Analysis From Qualitative To Quantitative Analyses. April 2016, Universität Duisburg-Essen, Germany. For more information on my thesis (including a link to download the thesis and the slides of the defense talk) visit http:/ henningkerstan.org/thesis. Towards Trace Metrics via Functor Lifting. June 2015, CALCO 2015. Nijmegen, The Netherlands. Behavioral Metrics via Functor Lifting. March 2015, D-CON 2015. Kerkrade, The Netherlands.
henningkerstan.org
Publications – Henning Kerstan
http://henningkerstan.org/publications
Coalgebraic Behavior Analysis From Qualitative To Quantitative Analyses. Title = {Coalgebraic Behavior Analysis From Qualitative To Quantitative Analyses},. Author = {Henning Kerstan},. Url = {http:/ nbn-resolving.org/urn:nbn:de:hbz:464-20160509-140627-6, urn:nbn:de:hbz:464-20160509-140627-6 },. Year = {2016},. Date = {2016-05-09},. School = {Universität Duisburg-Essen},. This thesis investigates how to improve and build upon existing results to explore the expressive power of category theory and in part...
sandgetriebe.net
Kontakt | Sandgetriebe
http://sandgetriebe.net/kontakt
Zum sekundären Inhalt wechseln. Artists management and booking agency. Mobil 0173/648 31 91. Natürlich erreicht man uns auch über Facebook. Oder unsere Künstlerseite bei Timezone Records. Proudly powered by WordPress.