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/11 22:30] (current)
sergey Edinburgh slides
Line 10: Line 10:
 </table> </table>
 </html> </html>
 +
 ====== About me ====== ====== About me ======
  
Line 62: Line 63:
 <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 100:
  
 ====== 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]]).