This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
en:start [2018/05/14 17:23] sivanov [Welcome to my home page!] Remove the exact date of my thesis defence. |
en:start [2018/10/04 10:05] (current) sivanov Say this page goes unmaintained. |
||
---|---|---|---|
Line 1: | Line 1: | ||
~~TRANS~~ | ~~TRANS~~ | ||
+ | |||
+ | ====== This page has moved! ====== | ||
+ | |||
+ | My new home page is now at https://www.ibisc.univ-evry.fr/~sivanov/index.html . | ||
+ | |||
+ | The page you are currently browsing is unmaintained starting with 2018-10-04. | ||
===== Welcome to my home page! ===== | ===== Welcome to my home page! ===== | ||
- | {{ :sivanov.jpg?200}} | + | {{ :sivanov.png?200}} |
I am holding an associate professor ([[https://en.wikipedia.org/wiki/Academic_ranks_in_France#Tenured_positions|maître de conférences]]) position at [[http://www.univ-evry.fr/fr/index.html|Université Évry Val d'Essonne]]. I do my research in the [[https://www.ibisc.univ-evry.fr/start?do=search&id=|IBISC Lab]]. | I am holding an associate professor ([[https://en.wikipedia.org/wiki/Academic_ranks_in_France#Tenured_positions|maître de conférences]]) position at [[http://www.univ-evry.fr/fr/index.html|Université Évry Val d'Essonne]]. I do my research in the [[https://www.ibisc.univ-evry.fr/start?do=search&id=|IBISC Lab]]. | ||
Line 15: | Line 21: | ||
This is my {{:cv-en.pdf|CV}}. | This is my {{:cv-en.pdf|CV}}. | ||
==== Research ==== | ==== Research ==== | ||
- | The research topics I have already worked on can be described by the following keywords. | + | The //research topics// I have already worked on can be described by the following keywords (in no particular order). |
- | ''unconventional computing'' \ \ ''formal languages'' \ \ ''universality'' \ \ ''computational completeness'' \ \ ''spring-mass modelling'' \\ ''software for biomodelling'' \ \ ''insertion-deletion systems'' \ \ ''multiset rewriting'' \ \ ''membrane (P) systems'' \ \ ''biomodelling'' \\ ''networks of evolutionary processors'' \ \ ''register machines'' \ \ ''Petri nets'' \ \ ''reaction systems'' | + | ''unconventional computing'' \ \ ''formal languages'' \ \ ''formal rewriting'' \ \ ''complexity'' \ \ ''biomodelling'' \ \ ''software for biomodelling'' \\ |
- | The research domains on which I would like to work in the nearest future can be described by the following keywords. | ||
- | ''complex systems'' \ \ ''category theory'' \ \ ''functional programming'' \ \ ''theoretical biology'' \ \ ''type theory'' | + | Here are the names of some //formal models// I have worked with (in no particular order). |
+ | |||
+ | ''Petri nets'' \ \ ''membrane (P) systems'' \ \ ''register machines'' \ \ ''reaction systems'' | ||
+ | |||
+ | |||
+ | The research domains on which I would like to work in the //nearest future// can be described by the following keywords (in no particular order). | ||
+ | |||
+ | ''precision medicine'' \ \ ''complex systems'' \ \ ''category theory'' \ \ ''functional programming'' \ \ ''theoretical biology'' \ \ ''traffic dynamics'' | ||
==== Publications ==== | ==== Publications ==== | ||
Line 27: | Line 39: | ||
==== Programming ==== | ==== Programming ==== | ||
- | My main programming languages are C++ and [[https://www.haskell.org/|Haskell]]. I am pretty knowledgeable about Python and Java. I participated in two editions of [[wp>Google Summer of Code]]. [[https://github.com/scolobb|Here]] is my GitHub profile. | + | My main programming language is [[https://www.haskell.org/|Haskell]]. I am pretty knowledgeable about C++, Python, and Java. I participated in two editions of [[wp>Google Summer of Code]]. [[https://github.com/scolobb|Here]] is my GitHub profile. |
==== Teaching ==== | ==== Teaching ==== | ||
- | Here is a list of courses I prepared: [[en:alife-intro|a very quick introduction to artificial life]], [[en:pn-biomodelling|Petri nets for biomodelling]], [[en:cytoscape_intro|introduction to Cytoscape]], [[en:haskell_for_life|Haskell for Life]], [[en:cours_de_systemes_et_reseaux|operating systems and networks]], [[en:cours_de_theorie_des_langages|parsing]], [[en:togitornottogit|To Git or Not to Git]]. | + | Here is a list of courses I prepared: |
+ | |||
+ | * [[en:latex-intro|introduction to LaTeX]] | ||
+ | * [[en:os_ueve|operating systems]] | ||
+ | * [[en:alife-intro|a very quick introduction to artificial life]] | ||
+ | * [[en:pn-biomodelling|Petri nets for biomodelling]] | ||
+ | * [[en:cytoscape_intro|introduction to Cytoscape]] | ||
+ | * [[en:togitornottogit|To Git or Not to Git]] | ||
+ | * [[en:haskell_for_life|Haskell for Life]] | ||
+ | * [[en:cours_de_systemes_et_reseaux|operating systems and networks]] | ||
+ | * [[en:cours_de_theorie_des_langages|basic parsing]] | ||
All course materials are distributed under the [[https://en.wikipedia.org/wiki/Creative_Commons_license|Creative Commons Attribution Alone licence]] {{:ccby.png?60}}, unless specified otherwise. | All course materials are distributed under the [[https://en.wikipedia.org/wiki/Creative_Commons_license|Creative Commons Attribution Alone licence]] {{:ccby.png?60}}, unless specified otherwise. | ||
==== Seminars ==== | ==== Seminars ==== | ||
- | Here is a short list of some of my own seminar subjects I liked most, with slides. These materials are distributed under the [[https://en.wikipedia.org/wiki/Creative_Commons_license|Creative Commons Attribution Alone licence]] {{:ccby.png?60}} | + | Here is a short list of some of the seminars I delivered and liked most, with slides. These materials are distributed under the [[https://en.wikipedia.org/wiki/Creative_Commons_license|Creative Commons Attribution Alone licence]] {{:ccby.png?60}} |
* Theory of Computer Science: Why All That Formal Stuff? {{:cs-theory.pdf|[slides]}} | * Theory of Computer Science: Why All That Formal Stuff? {{:cs-theory.pdf|[slides]}} |