User:Yoric

From Wikipedia, the free encyclopedia

Contents

[edit] Business card

PhD This user has a Doctor of Philosophy degree in Computer Science .


[edit] Brief history

  • Born on July 16th, 1978 in Toulouse, France.
  • Childhood and teen years spent in Paris, France.
  • Study of science in Classe Préparatoire Charlemagne, Paris, then in [École Normale Supérieure de Lyon], Lyon, France.
  • PhD of fundamental computer science in Laboratoire d'Informatique et du Parallélisme, Lyon, France, obtained in 2004.

[edit] Position

This user is an academic.

Template:User scientist

I am lecturer in Université d'Orléans (University of Orléans, France), teaching

  • Java
  • OCaml
  • Database Management Systems
  • Mathematics for Computer Scientists
  • Compilers

I am also a researcher in Laboratoire d'Informatique Fondamentale d'Orléans, team Security and Distribution of Systems, where I work on

  • static analysis of resource-safety of network/web services
  • interaction between formal semantics and Linux systems programming
  • design of a provably safe, dynamically monitored, distributed virtual machine.


[edit] Previous position: University of Sussex

I have been research fellow in University of Sussex, UK, teaching

At the time, I was performing research on programming languages for distributed, dynamic, sensor networks.

[edit] Previous position: École Normale Supérieure de Lyon / Université Lyon II

I have been PhD student in École Normale Supérieure de Lyon, performing research on static and dynamic analysis of resource-safety in process algebras.

At the time, I was teaching assistant in Université Lyon II, teaching

[edit] Skills

C-3 This user is an advanced C user.
bas This user can program in BASIC.
C++ This user can program in C++.
hs This user can program in Haskell.
Java This user can program in Java.
OCaml This user is an OCaml programmer.
pas This user can program in Pascal.
bash This user is a bash scripter.
batch-1 This user is an occasional Batch programmer.
.css This user can write Cascading Style Sheets.
<html> This user can write HTML.
js This user can program in JavaScript.
re This user is a regular expression programmer.
ST This user can program in Smalltalk.
TEX This Wikipedian is a TEX user.
{{Wiki}} This user can write in the MediaWiki language
xml This user can write XML.
xhtml This user can write XHTML.
XUL This user can code in XUL.
W3C This user believes in compliance with W3C standards.


Despite the abundance of symbols, I am quite litterate, albeit perhaps not in English.

[edit] Links