Yvan SRAKA <firstname.lastname@example.org>
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 site-graph patterns equations resolution
 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:
- What’s in my cell phone?
- YeAST: Yet Another Shell Trick
- How to create a Super Mastermind AI
- Attempt to manage Swap less stupidly
- Vingt-cinqs (25 x 2)
- Hello, World!