Jesper Louis Andersen bridges the gap between theory and practice. He has a curiosity for programming language theory, math, and logic, but dabbles in many other fields of computer science as well. His main interest is to move state-of-the-art computer science research into real world use whenever possible. His dayjob involves functional programming for a danish startup.
URLs for Jesper Louis Andersen
No URLs found.
Events for Jesper Louis Andersen
Distributed Hash Tables are used as name-lookups in large decentralized distributed systems such as peer-to-peer networks and loosely connected machine clusters. Correctness is complicated by their distributed nature. This talk presents an implementation of one such DHT, written in Erlang, based on the Kademlia data structure. Its unique feature is that it comes equipped with a full QuickCheck specification, which semi-formally verifies its correct behaviour through random test generation.Read more
Schedule:
- Thursday, Sep 1st, 2016, 17:00 (CEST) - Thursday, Sep 1st, 2016, 18:00 (CEST)
GraphQL is a query-language for data, intended for the modern internet clients on the web and inside mobile phones, invented inside Facebook around 2012, it is currently in a draft specification phase with several open source implementations of the underlying ideas.
The main feature of GraphQL is a shift away from RESTful services where all of the query declaration is on the server side, to one where the client is in control of declaring what it wants. The result is a system which is … Read more
Schedule:
- Tuesday, Aug 30th, 2016, 11:00 (CEST) - Tuesday, Aug 30th, 2016, 12:00 (CEST)