<Asger Gitz-Johansen/>

click a location to fire a transition

tick 0 · tock 0 · clocks: x = 0.00 · vars: visits = 0

location: initgtz.dk

about

Hi, I'm Asger Gitz-Johansen — a software engineer from Denmark, currently working at GomSpace.

I like formal methods, developer tooling and GNU/Linux. I build model checkers, graph editors, embedded OSes and robots for fun.

projects

aaltitoad — model checker & simulator for networks of tick-tock automata
graphedit-qt — the "vscode" of graph editors
yalibs — yet another collection of small libs
clash — a video game, out on Xbox
graphedit — the java version of graphedit

papers

model-based development, in three parts:

AALTITOAD — the base engine
Tick Tock Automata — the theory
AALTITOAD v1.0.0 — the release

blog

2025-01-11 Neomutt and Outlook
2024-11-27 How to Host a Simple Blog
2019-03-24 AVR Memory Model: The Practical Explanation
2019-03-13 Plotting Circular Bubble Graph in LaTeX
2018-05-10 Computation in Nature

more at blog.gtz.dk · rss

contact

github — sillydan1
linkedin — asgergitz
mastodon — @sillydan
twitter — @AsgerGitz

the guard on the way out is hired — feel free to make it hold.

                              :,                      :xl
                                ;drk.               'dk:        ;x0:
                      lxc.         .ldo'         'oOd.        xNOc.
                        ,d0o.         .cxdcdXKxkWk,         .XK.
                           lK,        .cXMMMMMMMMKdo'       xMo
                            :X'      ,NMMWNMNWNWMMMWO    .cd0:            ..,:clodxdoc,.
      .....                  xMNx;   .kWMNXXNNXXMMNK,  .xWWd.      .'clx0WWXXNWXXWMWXXNNK.
  ;kKXXXNMMWXK0Oxxoc,'.       'd0XKoc;,WMNXXWNXXMMNKcxKXkl.   .:d0KXXNXXNMMMMWWNMWMMNXXNx
 'WWWWMMMWNMMWWWWMMMWWWWX0xl;.    ,ONXXMMWWWMWWWMMMMWWO..,lkKWWMMMMWWWXXNMMMMMMWWMMMWN:
  KMMMMMMMMWWMMMMMMMMMMMMWMMMMMMNKkdoxXWMMMMMMMMMMMMMMMWWMMMMMMMMMMMNMMMMWMMMMMMMMMMMWd.
   xMMMMMMMMMWMMMMMMMMMMMWWWMMMMMMMMMMMMMMHELLOMMMMMMMMMMMMMMMMMMMWMMMMMMMMMMMWMKd.
    .lKNWMMMMMMMMMMMMMMMMMMNNNMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMx:,.
       .:dk0Od0XNWMMMMWNNMMNNNMMWNXNNKkdWWNNNXXWMMWNOlONMMWNXXNWMMNNXNNNWMMKl
              ,0NNMMNXXNNMMNXXMMNKd:..,cNNXXWNXXMMNX0xl.'cx0XXNWMWXXNWXXKx,
                'lONNNXXNMMNXKkc. .'cXXMMNXXWNXXMMWNXNX0kl;',;:oOK0Oxl;.
                    ..;codoc. ,d0NNKllNMMMMMMMMMMMMMMW0 .l0WWWNl
                             oMWOc. .XMMMMMMMMMMMMMMMMMx    ':XM0.
                           .0N,    'NMMMMMMMMMMMMMMMMMMMX:    :WMk
                           kNx    ;WWWMMMMMMMWWMMMMMMWMWWM0.   .oKc.
                        .:Ox.    ;XXcOXMMNXXNXXNMMWNXNXK,NWK.    .l0Oo;.
                     ;dOOo.     .XXo oXNXNXXWNXXMMNXXNNd  o0k'      .,c'
                     .'       .oNK.  .XMMWNNWNNNXNMNNXX.    kXKc
                             .NMO.    lMMMMMMMMMMMMMMM:      :kK;
                            ,0o.       xMMMMMMMMMMMMMc          cKk:.
                          cOx.          oMMMMMMMMMNc,             ;xo
                         .;.             '0WMMWMMWo
                                           'oO0kc.