homepage-data/About

68 lines
2.9 KiB
Text
Raw Normal View History

2017-09-15 21:21:26 +00:00
---
2017-09-16 15:46:56 +00:00
title: The concept and team
2017-09-15 21:21:26 +00:00
author: someone
abstract: some abstract
---
2017-09-16 15:52:03 +00:00
## Mission
2017-09-15 21:21:26 +00:00
2017-09-16 15:46:56 +00:00
The goal of robur is to develop robust digital infrastructure. This goal is
achieved by continuous maintainence of permissively licensed (MIT/ISC/BSD) open
source libraries, which are used by various partners and supporters.
Robur is a non-profit endeavour, the ultimate goal is not to earn as much as
possible, but instead to enable more people to run their own digital
infrastructure. Minimising the executable size of services and cutting down
complexity is crucial to help people to understand the technology.
Rewards (in terms of shirts, money, stickers, retreat attendance) will be given
to contributors from the open source community.
Experience in developing and deploying the technology itself will be reflected
on in academic papers, and talks at workshops and conferences.
Transparency is another goal of robur, the annual balance will be accessible to
the public.
2017-09-16 15:52:03 +00:00
## Non-profit company
2017-09-16 15:46:56 +00:00
Supporters can make charitable donations to robur, which will be used for
further development and maintainence of software and community infrastructure.
Partners can contract robur to develop prototypes (see example
[projects](/Projects)). Developed libraries will be open sourced, and are
reusable by other interested parties. The application code itself will be
exclusively copyrighted by the partner. Some terms are negotiable, e.g.
whether the library code will be exclusively licensed to the partner for some
time (maximum 6 months), influence on the development roadmap, service level
agreements (on-call debugging, running infrastructure).
2017-09-16 15:52:03 +00:00
## Team
2017-09-16 15:46:56 +00:00
2017-09-16 15:52:03 +00:00
### Alfred
2017-09-16 15:46:56 +00:00
Alfred is a hacker. He enjoys to write code since more than 15 years, but also
travelling and repairing his recumbent bicycle, and being a barista.
In 2013, Alfred did his PhD in computer science about formal verification of
imperative code (using a higher-order separation logic and the theorem prover
Coq). At the moment he is busy with reanimating an executable formal model of
TCP/IP which can act as a test validator.
Alfred co-authored a TLS implementation from the grounds up in OCaml.
2017-09-16 16:38:59 +00:00
2017-09-16 17:25:10 +00:00
### Eva
Eva is an infrastructure software engineer and a researcher.
She studied Applied Computer Science in the Natural Sciences, and developed a typechecker for a compiler of a language for optimization problems. In her PhD project she developed metrics to compare forest data structures, with an application in molecular structure comparison. Working as a postdoc in cancer research on molecular structure prediction, she found her way to Brooklyn and Berlin.
In the US tech industry, she works on infrastucture problems with distributed systems on a large scale with millions of users, developing API infrastructure and search infrastructure, with a focus on stateless systems.
Her Erdős number is 4.
2017-09-16 16:38:59 +00:00
## Contact
If you want to get in contact with us, write an email to us AT robur DOT io.
2017-09-16 17:25:10 +00:00