EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sergey [2019/01/10 18:10]
sergey Birmingham slides
sergey [2019/06/24 21:48] (current)
sergey
Line 10: Line 10:
 </table> </table>
 </html> </html>
 +
 ====== About me ====== ====== About me ======
  
Line 41: Line 42:
  
 ====== News ====== ====== News ======
 +    * [[https://arxiv.org/abs/1902.07684|An Adequate While-Language for Hybrid Computation]] accepted at [[http://ppdp2019.macs.hw.ac.uk/|PPDP 2019]]
 +    * {{:research:papers:guard-elgot.pdf|Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot}} accepted at [[https://www.coalg.org/calco-mfps-2019/calco/calco19-list-of-accepted-papers|CALCO 2019]]
     * //[[https://arxiv.org/abs/1807.11256|A Metalanguage for Guarded Iteration]]// (Sergey Goncharov, Christoph Rauch, Lutz Schröder) wins best paper award at [[https://www.ictac.org.za/|ICTAC 2018]]     * //[[https://arxiv.org/abs/1807.11256|A Metalanguage for Guarded Iteration]]// (Sergey Goncharov, Christoph Rauch, Lutz Schröder) wins best paper award at [[https://www.ictac.org.za/|ICTAC 2018]]
     * //A Semantics for Hybrid Iteration// (Sergey Goncharov, Julian Jakob, Renato Neves) accepted for [[http://lcs.ios.ac.cn/concur2018/|CONCUR 2018]]     * //A Semantics for Hybrid Iteration// (Sergey Goncharov, Julian Jakob, Renato Neves) accepted for [[http://lcs.ios.ac.cn/concur2018/|CONCUR 2018]]
Line 62: Line 65:
 <a title="Sergey Goncharov" href="https://www.researchgate.net/profile/Sergey_Goncharov/"><img align="right" src="https://www.researchgate.net/images/public/profile_share_badge.png" alt="Sergey Goncharov" /></a> <a title="Sergey Goncharov" href="https://www.researchgate.net/profile/Sergey_Goncharov/"><img align="right" src="https://www.researchgate.net/images/public/profile_share_badge.png" alt="Sergey Goncharov" /></a>
 </html> </html>
 +
 ====== Recent Talks ====== ====== Recent Talks ======
 +  * {{:sergey:edinburgh-talk.pdf|Towards Coherence for Guarded Traces}} presented at the [[http://wcms.inf.ed.ac.uk/lfcs/events/lfcs-seminars-1/lfcs-seminars/lfcs-seminar-sergey-goncharov|LFCS Seminar]] in the University of Edinburgh
 +  * {{:sergey:inagural-slides.pdf|Unifying Notions of Feedback}} presented at the [[https://meinstudium.fau.de/termine/tag-der-informatik-2019/|FAU Tag der Informatik 2019]]
 +  * {{:sergey:qapl-adequacy-talk.pdf|An Adequate Semantics for Hybrid While}} presented at the [[https://conf.researchr.org/track/etaps-2019/qapl-2019-papers|16th Workshop on Quantitative Aspects of Programming Languages and Systems]]
 +  * {{:sergey:gtrace-reykjavik-slides.pdf|Guarded traced categories for recursion and iteration}} presented at the [[https://www.ru.is/haskolinn/vidburdir-hr/allir-vidburdir/ice-tcs-sergey-goncharov-friedrich-alexander-universitat-erlangen-nurnberg|Icelandic Centre of Excellence TCS Seminar]]
   * {{:sergey:birmingham-gtrace-slides.pdf|Towards Coherence for Guarded Traces}} presented at the [[http://talks.bham.ac.uk/show/index/86|Birmingham School of Computer Science Theory Seminar]]   * {{:sergey:birmingham-gtrace-slides.pdf|Towards Coherence for Guarded Traces}} presented at the [[http://talks.bham.ac.uk/show/index/86|Birmingham School of Computer Science Theory Seminar]]
   * {{:ws18:ober:goncharov-talk.pdf|From Delay Monad to Duration Monad: An Excursion into Non-Inductive Semantics}} presented at the [[https://www8.cs.fau.de/ws18:ober|Chair Seminar]]   * {{:ws18:ober:goncharov-talk.pdf|From Delay Monad to Duration Monad: An Excursion into Non-Inductive Semantics}} presented at the [[https://www8.cs.fau.de/ws18:ober|Chair Seminar]]
Line 94: Line 102:
  
 ====== Teaching ====== ====== Teaching ======
 +  * Summer 2019 [[:ss19:mbp|Monad-based Programming]] ([[:course:mbp|course description]]).
   * Summer 2017 [[ss17:hott|Homotopy Type Theory]] Seminar (jointly with [[https://www8.cs.fau.de/staff/litak/|Tadeusz Litak]]).   * Summer 2017 [[ss17:hott|Homotopy Type Theory]] Seminar (jointly with [[https://www8.cs.fau.de/staff/litak/|Tadeusz Litak]]).
   * Winter 2016 [[:ws16:cpp|Communication and Parallel Processes]] ([[:course:mbp|course description]], [[https://cal8.cs.fau.de/redmine/projects/commproc/files|lecture script]]).   * Winter 2016 [[:ws16:cpp|Communication and Parallel Processes]] ([[:course:mbp|course description]], [[https://cal8.cs.fau.de/redmine/projects/commproc/files|lecture script]]).