summaryrefslogtreecommitdiff
path: root/user/jkoenig.mdwn
blob: d135e0e5d9b1b8beeed090007e81b94542c4e747 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]]

[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
id="license" text="Permission is granted to copy, distribute and/or modify this
document under the terms of the GNU Free Documentation License, Version 1.2 or
any later version published by the Free Software Foundation; with no Invariant
Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
is included in the section entitled [[GNU Free Documentation
License|/fdl]]."]]"""]]

## Jérémie Koenig

Homepage: [[http://jk.fr.eu.org/]]<br/>
E-mail: [jk@jk.fr.eu.org](mailto:jk@jk.fr.eu.org)

I am a Hurd enthusiast and occasional contributor,
currently a M.Sc. student at University of Strasbourg.
Among other things I am interested in formal methods,
languages and operating system design.
(Shameless plug:
I'll be looking for an internship in a research lab from January to June 2012
and for a position as a Ph.D. student afterwards.)

Contributions include:

  * Help [[port debian-installer|d-i]],
    as a GSoC student for the Debian project during the summer of 2010.
  * Rewrite the procfs translator
    ([bug-hurd](http://lists.gnu.org/archive/html/bug-hurd/2010-08/msg00165.html)
     [thread](http://lists.gnu.org/archive/html/bug-hurd/2010-09/msg00001.html)).

I am working as a GSoC student this summer again,
for the GNU project,
on [[Java for Hurd|java]].