robur/homepage-data
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

whitespace cleanup, single long lines

Browse source
This commit is contained in:
Hannes Mehnert 2022-11-10 16:00:48 +01:00
parent 4082cbc3f4
commit f7c5acacc8
1 changed files with 6 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
About Us/Team
View file

@ -12,25 +12,21 @@ Hannes enjoys living in Berlin, Germany. Until end of 2017, he used to be a rese
Hannes did his PhD in computer science about formal verification of imperative code (using a higher-order separation logic and the theorem prover Coq). Hannes co-authored not-quite-so-broken TLS, a TLS implementation from the ground up in OCaml, and contributes to the MirageOS project as a core team member. He is working on various projects, including opam signing and [netsem](https://github.com/rems-project/netsem), an executable formal model of TCP/IP which can act as a test validator. Hannes did his PhD in computer science about formal verification of imperative code (using a higher-order separation logic and the theorem prover Coq). Hannes co-authored not-quite-so-broken TLS, a TLS implementation from the ground up in OCaml, and contributes to the MirageOS project as a core team member. He is working on various projects, including opam signing and [netsem](https://github.com/rems-project/netsem), an executable formal model of TCP/IP which can act as a test validator.
His blog is at [https://hannes.robur.coop](https://hannes.robur.coop).
### Reynir ### Reynir
here some text is missing here some text is missing
### rand ### rand
rand fell in love with OCaml and functional programming since university, where he studied rand fell in love with OCaml and functional programming since university, where he studied philosophy and computer science on a humanistic/technological BSc. He especially likes solving problems in elegant and interesting new ways. Been part of the Functional Copenhageners meetup for a range of years - where he's also held several talks.
philosophy and computer science on a humanistic/technological Bsc.
He especially likes solving problems in elegant and interesting new ways. Been part of the
`functional copenhageners` meetup for a range of years - where he's also held several talks.
He's worked fullstack with with OCaml and Scala since university - working on a varied set He's worked fullstack with with OCaml and Scala since university - working on a varied set of things like entity clustering, entity merging, custom data visualizations, service oriented architecture, PostgreSQL, Elasticsearch, natural language parsing, Linux, server management.
of things like entity clustering, entity merging, custom data visualizations, service oriented
architecture, PostgreSQL, Elasticsearch, natural language parsing, Linux, server management.
Spends much of his time with his daughter and doing experimental art with his video synthesizer `niseq`, Spends much of his time with his daughter and doing experimental art with his video synthesizer `niseq`, of course written using pure FRP in OCaml (:
of course written using pure FRP in OCaml (:
Can be found at https://r7p5.earth/ Can be found at [https://r7p5.earth/](https://r7p5.earth/).
## Former members ## Former members