Yvan SRAKA <moc.em@akars.navy>

Public keys: GPG (EF691DE6) - SSH (yvan@X230)

GitHub / StackOverflow / Twitter / LinkedIn


This is my personal homepage, you can browse through my:

I’m currently working at ENS Ulm in INRIA Team Antique “Abstraction” under the supervision of Jérôme FERET on a topic of static analysis by abstract interpretation: Kappa[1] site-graph patterns equations resolution

[1] Kappa is a rule-based language for modeling molecular biology systems


I try to monthly write about technical and artistic experiments, ideas or tricks and share my personal opinions on various topics:

About this page

This page is written in Markdown, hosted by GitHub Page, automatically converted to HTML by Jekyll and looks like the authentic Markdown through a fork of Hack CSS, you can find the sources here.