From fd186c8da3c30c6be6e6b1fc47be948e36b27ee2 Mon Sep 17 00:00:00 2001 From: Martin Lucina Date: Tue, 9 Jan 2018 09:18:37 +0100 Subject: [PATCH] Reorder, add link to my website --- About | 36 ++++++++++++++++++------------------ 1 file changed, 18 insertions(+), 18 deletions(-) diff --git a/About b/About index f1344a6..f3012a1 100644 --- a/About +++ b/About @@ -103,6 +103,24 @@ various projects, including opam signing and [netsem](https://www.cl.cam.ac.uk/~pes20/Netsem/), an executable formal model of TCP/IP which can act as a test validator. +#### Martin + +[Martin](https://lucina.net/) has been programming since before programming was +trendy, eating [Sharp SC61860A](https://en.wikipedia.org/wiki/Sharp_PC-1350) +machine code for breakfast since before it was healthy, and using Linux way +back when it was just Linus Torvalds’ glorified terminal emulator. + +A founding member of Unikernel Systems (later acquired by Docker), Martin has +been involved in a number of library operating system projects since 2014, +including the [rumprun](http://repo.rumpkernel.org/rumprun) unikernel and +[MirageOS](https://mirage.io/). He is a co-author of +[Solo5](https://github.com/Solo5/solo5), a secure execution environment for +unikernels, and joins robur in 2018 to continue his work towards creating +secure software that “just works” and other ambitious projects. + +Martin lives with his family in Bratislava, Slovakia and in his spare time +enjoys hiking, yachting and the arts. + #### Paul Paul is an independent IT consultant located in Copenhagen. @@ -122,21 +140,3 @@ In his spare time he dabbles in research into similar topics and serialization frameworks, in addition to the enjoyable pursuit of tabletop roleplaying and social interactions in smokey pubs - two disciplines that he excels in, but that have somehow not been of particular interest to paying customers (yet). - -#### Martin - -Martin has been programming since before programming was trendy, eating [Sharp -SC61860A](https://en.wikipedia.org/wiki/Sharp_PC-1350) machine code for -breakfast since before it was healthy, and using Linux way back when it was -just Linus Torvalds’ glorified terminal emulator. - -A founding member of Unikernel Systems (later acquired by Docker), Martin has -been involved in a number of library operating system projects since 2014, -including the [rumprun](http://repo.rumpkernel.org/rumprun) unikernel and -[MirageOS](https://mirage.io/). He is a co-author of -[Solo5](https://github.com/Solo5/solo5), a secure execution environment for -unikernels, and joins robur in 2018 to continue his work towards creating -secure software that “just works” and other ambitious projects. - -Martin lives with his family in Bratislava, Slovakia and in his spare time -enjoys hiking, yachting and the arts.