Wikipédia

Albgr03

Inscrit depuis le 12 avril 2013

Titre correct : « Albgr03 ».

En raison de limitations techniques, la typographie souhaitable du titre n’a pu être restituée correctement.

Informations Babel sur l’utilisateur
fr-N Cet utilisateur a pour langue maternelle le français.
en-3 This user has advanced knowledge of English.
de-1 Dieser Benutzer beherrscht Deutsch auf grundlegendem Niveau.
Utilisateurs par langue
{{{img-alt}}}
∇
Docteur
Je suis titulaire d’un doctorat.
{{{img-alt}}}
∇
Université Toulouse 3
J'étudie ou ai étudié à l'université Toulouse-III-Paul-Sabatier.
{{{img-alt}}}
∇
OCaml
Je programme en OCaml.
{{{img-alt}}}
∇
always @ (posedge rxclk) (
Je parle couramment le Verilog.
{{{img-alt}}}
∇
la    t0, deadcow
addi  t0,t0,42
Je parle le langage assembleur RISC-V.
{{{img-alt}}}
Proof. auto. Qed.
J'utilise l'assistant de preuve Rocq.
{{{img-alt}}}
∇
bépo
Je pianote en bépo !
{{{img-alt}}}
∇
Wikidata
Je contribue également sur Wikidata.
{{{img-alt}}}
∇
Wikimedia Commons
Je contribue également sur Wikimedia Commons.
{{{img-alt}}}
∇
Montagne
Je participe au projet Montagne.

Chercheur en informatique.

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Utilisateur:Albgr03&oldid=239373846 ».