About us

Founding companies

As of today, the following companies have joined Advanced Erlang Initiative.


Quviq is the company behind QuickCheck, a tool for automatic test case generation.

Quviq offers smart testing solutions for Erlang and Elixir, but also for other languages and API's such as C, iOS, Simulink or RESTful web service APIs.

With Quviq's QuickCheck one automatically generates test cases from specified properties. These tests are run against the software under test and when an error is detected, the tests are automatically minimized to find short failing test cases that are easy to debug.

Quviq is expert in creating QuickCheck properties and has done so for applications in the domains of telecommunication, automotive, banking and internet applications.

Homepage: quviq.com


ProcessOne is a leading provider in messaging platforms made for scale and robustness. ProcessOne developed ejabberd, an ubiquitous XMPP server that has been deployed to power some of the largest messaging platform in the world. Used for chat, social network, gaming, machine to machine, the platform is versatile, feature complete and highly customizable.

Developed and supported by a team of experts with 15 years of experience in messaging and highly robust and scalable system, ProcessOne platform is available as a Service, as the most reliable way and cost effective solution to deploy a XMPP based service.

ProcessOne has developed in-house expertise on iOS and Android since 2008 to be able to produce platforms and services optimized for mobile usages. Beyond XMPP we expanded our reach to push notification and websockets, making our platform usable for a very broad scope in the field of realtime in-app messaging.

Scalability, robustness and mobile optimizations make our platform the safest choice today for reaching the largest and more demanding user bases.

Homepage: process-one.net


Basho Technologies, Inc. is a distributed systems company dedicated to developing disruptive technologies that simplify enterprises’ most critical data management challenges. Basho has attracted one of the most talented groups of engineers and technical experts ever assembled devoted exclusively to solving some of the most complex issues presented by scaling distributed systems and enjoys a large and growing following among influential programmers, architects and academics.

Basho’s distributed database, Riak KV, the industry leading distributed NoSQL database, and Basho’s cloud storage software, Riak S2, are used by fast-growing Web businesses and by one-third of the Fortune 50 to power their critical Web, mobile and social applications, and their public and private cloud platforms. The Basho Data Platform was recently introduced to help enterprises control and simplify distributed Big Data. Basho is the organizer of RICON – a distributed systems conference.

Homepage: basho.com

Nine Nines

Nine Nines is an Erlang company focusing on building web oriented Open Source products. They have developed a highly scalable reference HTTP server Cowboy, supporting a whole range of up to date web protocols like Websocket, SPDY and HTTP/2. Nine Nines provides a suit of tools that empowers startups and let them build highly scalable services.

The company provides a product that is now a critical components in the stack of Nine Nines customers like Sameroom.io, RabbitMQ/Pivotal, Shigureido. However, their greatest achievement is to have made Cowboy a component that is at the core of a vast majority of HTTP Erlang (and Elixir)-based applications.

Homepage: ninenines.eu


Thomas Arts

Thomas Arts

CTO at Quviq

Thomas was a researcher at Ericsson, and then a professor at Chalmers University, before co-founding Quviq. As a researcher in Ericsson’s Computer Science Laboratory he worked on software verification tools for Erlang.

In his academic career his research focussed on the application of state-of-the-art research results in an industrial setting. As the CTO of Quviq, Thomas continues to explore cool technical solutions for innovative products.

Mickaël Rémond

Mickaël Rémond

CEO at ProcessOne

Mickaël Rémond has been developing and promoting Erlang software since 1998. Since that time he explores the development of highly scalable and highly available systems.

He is the author of one of the first Erlang book (in French), and Erlang User of the Year in 2004. Mickaël Rémond is one of the lead ejabberd developer and founder of ProcessOne, one of the most prominent Erlang-oriented company.

Loïc Hoguin

Loïc Hoguin

Founder at Nine Nines

Loïc built Cowboy, the reference Erlang web server. With version 2.0, Loïc is crafting a leading HTTP server product, aiming at being one of the first servers to support HTTP/2.

Cowboy is in itself a full Web application server. It is embedded as a building brick in other projects of the Erlang VM community, like ChicagoBoss or Phoenix Web Framework.

Additionally, Loïc works on other tools like Erlang.mk Erlang software build tool. He was Erlang User of the Year in 2013.

Bryan Hunt

Bryan Hunt

Solutions Architect at Basho

Bryan Hunt is a solution architect at Basho and an expert in running Riak deployments. Bryan has been working with web and network services for many years and has run the gamut of a broad range of programming languages and protocols.

Bryan loves open-source. He’s happily settled with Erlang but has secret plans to spend the cold winter months warming up to Elixir.

John Hughes

John Hughes

CEO at Quviq

John is a well-known researcher in functional programming, the author of the classic paper Why Functional Programming Matters, and a contributor to the design of Haskell.

He has been a Professor since 1985, at the University of Glasgow and Chalmers University in Gothenburg. He is one of the inventors of QuickCheck.

Alexey Shchepin

Alexey Shchepin

Software Engineer at ProcessOne

Alexey is the founder of the ejabberd project in 2002 and was Erlang User of the Year in 2006. He is a functional programmer, both expert in Erlang and OCaml and a multiple winner of the ICFP Programming Contest lightning round.

He is pushing ProcessOne and Erlang to the next level since 10 years.