diff --git a/data/industrial_users/en/aesthetic-integration.md b/data/industrial_users/en/aesthetic-integration.md
index f54324804..3cfd8ca16 100644
--- a/data/industrial_users/en/aesthetic-integration.md
+++ b/data/industrial_users/en/aesthetic-integration.md
@@ -6,6 +6,7 @@ image: users/aesthetic-integration.png
 site: "http://www.aestheticintegration.com"
 locations: 
   - United Kingdom
+consortium: true
 ---
 
 Aesthetic Integration (AI) is a financial technology startup based in the City of London. AI's patent-pending formal verification technology is revolutionising the safety, stability and transparency of global financial markets.
diff --git a/data/industrial_users/en/ahrefs.md b/data/industrial_users/en/ahrefs.md
index eabeecf1d..a72574a56 100644
--- a/data/industrial_users/en/ahrefs.md
+++ b/data/industrial_users/en/ahrefs.md
@@ -7,6 +7,7 @@ image: users/ahrefs.png
 locations: 
   - Singapore
   - United States
+consortium: true
 ---
 
 Ahrefs develops custom distributed petabyte-scale storage and runs an internet-wide crawler to collect the index of the whole Web. On top of that the company is building various analytical services for end-users. OCaml is the main language of the Ahrefs backend, which is currently processing up to 6 billion pages a day. Ahrefs is a multinational team with roots from Ukraine and offices in Singapore and San Francisco.
diff --git a/data/industrial_users/en/american-museum-of-natural-history.md b/data/industrial_users/en/american-museum-of-natural-history.md
index be9a3fb63..63eab83e4 100644
--- a/data/industrial_users/en/american-museum-of-natural-history.md
+++ b/data/industrial_users/en/american-museum-of-natural-history.md
@@ -6,6 +6,7 @@ site: "https://www.amnh.org/our-research/computational-sciences"
 image: users/amnh.png
 locations: 
   - United States
+consortium: false
 ---
 
 The Computational Sciences Department at the AMNH has been using OCaml for almost a decade in their software package [POY](https://github.com/amnh/poy5) for phylogenetic inference. See [AMNH's GitHub page](https://github.com/AMNH) for more projects.
diff --git a/data/industrial_users/en/anssi.md b/data/industrial_users/en/anssi.md
index 916d2b054..dc6f960f1 100644
--- a/data/industrial_users/en/anssi.md
+++ b/data/industrial_users/en/anssi.md
@@ -6,6 +6,7 @@ site: "https://www.ssi.gouv.fr/"
 image: users/anssi.png
 locations: 
   - France
+consortium: false
 ---
 
 The ANSSI core missions are: to detect and react to cyber attacks, to prevent threats, to provide advice and support to governmental entities and operators of critical infrastructure, and to keep companies and the general public informed about information security threats. See [ANSII's GitHub page](https://github.com/anssi-fr) for some of its OCaml software.
diff --git a/data/industrial_users/en/arena.md b/data/industrial_users/en/arena.md
index 45872d548..a9894c0bf 100644
--- a/data/industrial_users/en/arena.md
+++ b/data/industrial_users/en/arena.md
@@ -6,6 +6,7 @@ site: "http://www.arena.io"
 image: users/arena.jpg
 locations: 
   - United States
+consortium: false
 ---
 
 Arena helps organizations hire the right people. We do that by applying big data and predictive analytics to the hiring process. This results in less turnover for our clients and less discrimination for individuals. We use OCaml for all of our backend development.
\ No newline at end of file
diff --git a/data/industrial_users/en/be-sport.md b/data/industrial_users/en/be-sport.md
index 0a67b0542..0843e469a 100644
--- a/data/industrial_users/en/be-sport.md
+++ b/data/industrial_users/en/be-sport.md
@@ -6,6 +6,7 @@ site: "https://besport.com/"
 image: users/besport.png
 locations: 
   - France
+consortium: true
 ---
 
 Be Sport's mission is to enhance the value that sport brings to our lives with appropriate use of digital and social media innovations.
diff --git a/data/industrial_users/en/bloomberg.md b/data/industrial_users/en/bloomberg.md
index efbd515df..dbeeb8f56 100644
--- a/data/industrial_users/en/bloomberg.md
+++ b/data/industrial_users/en/bloomberg.md
@@ -6,6 +6,7 @@ image: users/bloomberg.jpg
 site: "http://www.bloomberg.com"
 locations: 
   - United States
+consortium: true
 ---
 
 Bloomberg, the global business and financial information and news leader, gives influential decision makers a critical edge by connecting them to a dynamic network of information, people and ideas. Bloomberg employs OCaml in an advanced financial derivatives risk management application delivered through its Bloomberg Professional service.
\ No newline at end of file
diff --git a/data/industrial_users/en/cacaoweb.md b/data/industrial_users/en/cacaoweb.md
index 8a659e69e..e4dd77f5d 100644
--- a/data/industrial_users/en/cacaoweb.md
+++ b/data/industrial_users/en/cacaoweb.md
@@ -7,6 +7,7 @@ image: users/cacaoweb.png
 locations: 
   - United Kingdom
   - Hong Kong
+consortium: false
 ---
 
 Cacaoweb is developing an application platform of a new kind. It runs on top of our peer-to-peer network, which happens to be one of the largest in the world. The capabilities of the platform are diverse and range from multimedia streaming to social communication, offline storage or data synchronisation. We design and implement massively distributed data stores, programming languages, runtime systems and parallel computation frameworks.
diff --git a/data/industrial_users/en/cea.md b/data/industrial_users/en/cea.md
index 80b522e72..6ded2f139 100644
--- a/data/industrial_users/en/cea.md
+++ b/data/industrial_users/en/cea.md
@@ -6,6 +6,7 @@ site: "http://cea.fr/"
 image: users/cea.png
 locations: 
   - France
+consortium: true
 ---
 
 CEA is a French state company, member of the OCaml Consortium. It uses OCaml mainly to develop a platform dedicated to source-code analysis of C software, called [Frama-C](http://frama-c.com).
diff --git a/data/industrial_users/en/citrix.md b/data/industrial_users/en/citrix.md
index cd7c98812..e3783f518 100644
--- a/data/industrial_users/en/citrix.md
+++ b/data/industrial_users/en/citrix.md
@@ -6,6 +6,7 @@ image: users/citrix.png
 site: "http://www.citrix.com"
 locations: 
   - United Kingdom
+consortium: true
 ---
 
 Citrix uses OCaml in XenServer, a world-class server virtualization system. Most components of XenServer are released as open source. The open-source XenServer toolstack components implemented in OCaml are bundled in the [XS-opam](https://github.com/xapi-project/xs-opam) repository on GitHub.
diff --git a/data/industrial_users/en/coherent-graphics.md b/data/industrial_users/en/coherent-graphics.md
index b1f6d85f1..648879567 100644
--- a/data/industrial_users/en/coherent-graphics.md
+++ b/data/industrial_users/en/coherent-graphics.md
@@ -6,6 +6,7 @@ site: "http://www.coherentpdf.com/"
 image: users/coherent.png
 locations: 
   - United Kingdom
+consortium: false
 ---
 
 Coherent Graphics is a developer of both server tools and desktop software for the processing of PDF documents. We use OCaml as a general-purpose high level language, chosen for its expressiveness and speed.
diff --git a/data/industrial_users/en/cryptosense.md b/data/industrial_users/en/cryptosense.md
index 8261d7914..2d27dc2bf 100644
--- a/data/industrial_users/en/cryptosense.md
+++ b/data/industrial_users/en/cryptosense.md
@@ -6,6 +6,7 @@ site: "http://www.cryptosense.com/"
 image: users/cryptosense.png
 locations: 
   - France
+consortium: false
 ---
 
 Based in Paris, France, Cryptosense creates security analysis software with a particular focus on cryptographic systems. A spin-off of the institute for computer science research (Inria), Cryptosense’s founders combine more than 40 years experience in research and industry. Cryptosense provides its solutions to an international clientèle in particular in the financial, industrial and government sectors.
diff --git a/data/industrial_users/en/dassault.md b/data/industrial_users/en/dassault.md
index 473ba9bbc..f1f4c7ff1 100644
--- a/data/industrial_users/en/dassault.md
+++ b/data/industrial_users/en/dassault.md
@@ -6,6 +6,7 @@ site: "http://www.3ds.com/fr/"
 image: users/dassault.png
 locations: 
   - France
+consortium: false
 ---
 
 Dassault Systèmes, the 3DEXPERIENCE Company, provides businesses and people with virtual universes to imagine sustainable innovations.
diff --git a/data/industrial_users/en/dernier-cri.md b/data/industrial_users/en/dernier-cri.md
index 931530d93..0aa556fb4 100644
--- a/data/industrial_users/en/dernier-cri.md
+++ b/data/industrial_users/en/dernier-cri.md
@@ -6,6 +6,7 @@ site: "https://derniercri.io"
 image: users/derniercri.png
 locations: 
   - France
+consortium: false
 ---
 
 Dernier Cri is a French company based in Lille and Paris using functional programming to develop web and mobile applications. OCaml is principally used to develop internal tools.
diff --git a/data/industrial_users/en/digirati-dba-hostnet.md b/data/industrial_users/en/digirati-dba-hostnet.md
index 49be8d47e..56a8ae8d2 100644
--- a/data/industrial_users/en/digirati-dba-hostnet.md
+++ b/data/industrial_users/en/digirati-dba-hostnet.md
@@ -6,6 +6,7 @@ site: "http://www.hostnet.com.br/"
 image: users/hostnet.gif
 locations: 
   - Brazil
+consortium: false
 ---
 
 Digirati dba Hostnet is a web hosting company. We use OCaml mostly for internal systems programming and infrastructure services. We have also contributed to the community by releasing a few open source [OCaml libraries](https://github.com/andrenth).
diff --git a/data/industrial_users/en/docker.md b/data/industrial_users/en/docker.md
index 1c44ad2fe..d986957a0 100644
--- a/data/industrial_users/en/docker.md
+++ b/data/industrial_users/en/docker.md
@@ -6,6 +6,7 @@ image: users/docker.png
 site: "http://www.docker.com"
 locations: 
   - United States
+consortium: true
 ---
 
 Docker provides an integrated technology suite that enables development and IT operations teams to build, ship, and run distributed applications anywhere. Their native [applications for Mac and Windows](https://blog.docker.com/2016/03/docker-for-mac-windows-beta/), use OCaml code taken from the [MirageOS](https://mirage.io) library operating system project. 
\ No newline at end of file
diff --git a/data/industrial_users/en/esterel-technologies.md b/data/industrial_users/en/esterel-technologies.md
index ebcef66fb..f6ee10c91 100644
--- a/data/industrial_users/en/esterel-technologies.md
+++ b/data/industrial_users/en/esterel-technologies.md
@@ -6,6 +6,7 @@ site: "http://www.esterel-technologies.com/"
 image: users/esterel.jpg
 locations: 
   - France
+consortium: true
 ---
 
 Esterel Technologies is a leading provider of critical systems and software development solutions for the aerospace, defense, rail transportation, nuclear, and industrial and automotive domains.
diff --git a/data/industrial_users/en/facebook.md b/data/industrial_users/en/facebook.md
index ffed2b542..87838e345 100644
--- a/data/industrial_users/en/facebook.md
+++ b/data/industrial_users/en/facebook.md
@@ -5,6 +5,7 @@ image: users/facebook.png
 site: "https://www.facebook.com/"
 locations: 
   - United States
+consortium: true
 ---
 
 Facebook has built a number of major development tools using OCaml. [Hack](http://hacklang.org) is a compiler for a variant of PHP that aims to reconcile the fast development cycle of PHP with the discipline provided by static typing. [Flow](http://flowtype.org) is a similar project that provides static type checking for Javascript.  Both systems are highly responsive, parallel programs that can incorporate source code changes in real time. [Pfff](https://github.com/facebook/pfff/wiki/Main) is a set of tools for code analysis, visualizations, and style-preserving source transformations, written in OCaml, but supporting many languages.
\ No newline at end of file
diff --git a/data/industrial_users/en/fasoo.md b/data/industrial_users/en/fasoo.md
index fb710a484..8c898dade 100644
--- a/data/industrial_users/en/fasoo.md
+++ b/data/industrial_users/en/fasoo.md
@@ -6,6 +6,7 @@ site: "http://www.fasoo.com"
 image: users/fasoo.png
 locations: 
   - Korea
+consortium: false
 ---
 
 Fasoo uses OCaml to develop a static analysis tool.
diff --git a/data/industrial_users/en/flying-frog-consultancy.md b/data/industrial_users/en/flying-frog-consultancy.md
index 9dbb6c5d9..db9a9e651 100644
--- a/data/industrial_users/en/flying-frog-consultancy.md
+++ b/data/industrial_users/en/flying-frog-consultancy.md
@@ -6,6 +6,7 @@ site: "http://www.ffconsultancy.com"
 image: users/flying-frog.png
 locations: 
   - United Kingdom
+consortium: false
 ---
 
 Flying Frog Consultancy Ltd. consult and write books and software on the use of OCaml in the context of scientific computing. OCaml excels in the niche of intrinsically complicated programs between large-scale, array-based programs written in languages such as HPF and small-scale, graphical programs written in languages such as Mathematica.
diff --git a/data/industrial_users/en/forallsecure.md b/data/industrial_users/en/forallsecure.md
index 81cfd4a00..6b1b8bd18 100644
--- a/data/industrial_users/en/forallsecure.md
+++ b/data/industrial_users/en/forallsecure.md
@@ -6,6 +6,7 @@ site: "http://forallsecure.com"
 image: users/forallsecure.svg
 locations: 
   - United States
+consortium: false
 ---
 
 ForAllSecure's mission is to test the world's software and provide actionable information to our customers. We have started with Linux. Our mission with Linux is to test all programs in current distributions, such as Debian, Ubuntu, and Red Hat. With time, we will cover other platforms, such as Mac, Windows, and mobile. In the meantime, we promise to do one thing well.
diff --git a/data/industrial_users/en/framtidsforum.md b/data/industrial_users/en/framtidsforum.md
index 1c70d6d46..9306358db 100644
--- a/data/industrial_users/en/framtidsforum.md
+++ b/data/industrial_users/en/framtidsforum.md
@@ -5,6 +5,7 @@ description: >
 site: "http://www.exceleverywhere.com"
 locations: 
   - Sweden
+consortium: false
 ---
 
 Framtidsforum I&M sells ExcelEverywhere, which creates web pages that look and function the same as your MS Excel spreadsheet. JavaScript is used for calculation. Supports 140 Excel-functions. Typically used for expense report, survey, order forms, reservation forms, employment application, financial advisor, ROI. There are also versions that generate ASP, ASP.NET and JSP/Java code. The compiler is written using OCaml.
diff --git a/data/industrial_users/en/galois.md b/data/industrial_users/en/galois.md
index 02b1fe87e..a0cebe64d 100644
--- a/data/industrial_users/en/galois.md
+++ b/data/industrial_users/en/galois.md
@@ -6,6 +6,7 @@ site: "http://www.galois.com"
 image: users/galois.png
 locations: 
   - United States
+consortium: false
 ---
 
 Galois has developed a domain specific declarative language for cryptographic algorithms. One of our research compilers is written in OCaml and makes very extensive use of camlp4.
diff --git a/data/industrial_users/en/incubaid.md b/data/industrial_users/en/incubaid.md
index 6e02711ef..8548ac180 100644
--- a/data/industrial_users/en/incubaid.md
+++ b/data/industrial_users/en/incubaid.md
@@ -6,6 +6,7 @@ site: "http://incubaid.com"
 image: users/Incubaid.png
 locations: 
   - Belgium
+consortium: false
 ---
 
 Incubaid has developed <a href="https://github.com/Incubaid/arakoon">Arakoon</a>, a distributed key-value store that guarantees consistency above anything else. We created Arakoon due to a lack of existing solutions fitting our requirements, and is available as Open Source software.
diff --git a/data/industrial_users/en/issuu.md b/data/industrial_users/en/issuu.md
index 2d76c3ab1..6cb9d2d38 100644
--- a/data/industrial_users/en/issuu.md
+++ b/data/industrial_users/en/issuu.md
@@ -6,6 +6,7 @@ site: "http://issuu.com"
 image: users/issuu.gif
 locations: 
   - Denmark
+consortium: false
 ---
 
 Issuu is a digital publishing platform delivering exceptional reading experiences of magazines, catalogues, and newspapers. Each month Issuu serves over 6 billion page views and 60 million users through their worldwide network. OCaml is used as part of the server-side systems, platforms, and web applications. The backend team is relatively small and the simplicity and scalability of both systems and processes are of vital importance.
diff --git a/data/industrial_users/en/jane-street.md b/data/industrial_users/en/jane-street.md
index 568c6b543..972a9b366 100644
--- a/data/industrial_users/en/jane-street.md
+++ b/data/industrial_users/en/jane-street.md
@@ -8,6 +8,7 @@ locations:
   - United States
   - United Kingdom
   - Hong Kong
+consortium: true
 ---
 
 Jane Street is a quantitative trading firm that operates around the clock and around the globe. They bring a deep understanding of markets, a scientific approach, and innovative technology to bear on the problem of trading profitably in the world's highly competitive financial markets. They're the largest commercial user of OCaml, using it for everything from research tools to trading systems to systems infrastructure to accounting systems. Jane Street has over 400 OCaml programmers and over 15 million lines of OCaml, powering a technology platform that trades billions of dollars every day. Half a million lines of their code are released [open source](http://opensource.janestreet.com), and they've created key parts of the open-source OCaml ecosystem, like [Dune](http://dune.build). You can learn more by checking out their [tech blog](http://blog.janestreet.com).
diff --git a/data/industrial_users/en/kernelize.md b/data/industrial_users/en/kernelize.md
new file mode 100644
index 000000000..41e4341b9
--- /dev/null
+++ b/data/industrial_users/en/kernelize.md
@@ -0,0 +1,17 @@
+---
+name: Kernelize
+description: > 
+  Kernelyze has developed a novel approximation of two-variable functions
+  that achieves the smallest possible worst-case error among all rank-n
+  approximations.
+site: "https://kernelyze.com/"
+image: users/kernelyze-llc-logo.png
+locations: 
+  - United States
+consortium: true
+---
+
+
+Kernelyze has developed a novel approximation of two-variable functions
+that achieves the smallest possible worst-case error among all rank-n
+approximations.
\ No newline at end of file
diff --git a/data/industrial_users/en/kong.md b/data/industrial_users/en/kong.md
index 997844ef9..b837082b8 100644
--- a/data/industrial_users/en/kong.md
+++ b/data/industrial_users/en/kong.md
@@ -6,6 +6,7 @@ site: "http://www.konghq.com"
 image: users/mashape.png
 locations: 
   - United States
+consortium: false
 ---
 
 Kong makes it easy to distribute, monetize, manage and consume cloud APIs. Mashape is building a world-class marketplace for cloud APIs driven by a passionate community of developers from all over the world as well as enterprise API management and analytics products. We use OCaml in our [APIAnalytics](http://apianalytics.com) product — as part of a mission-critical, lightweight HTTP proxy.
diff --git a/data/industrial_users/en/lexifi.md b/data/industrial_users/en/lexifi.md
index 98bcde11e..9651f474b 100644
--- a/data/industrial_users/en/lexifi.md
+++ b/data/industrial_users/en/lexifi.md
@@ -6,6 +6,7 @@ site: "http://www.janestreet.com"
 image: users/lexifi.png
 locations: 
   - France
+consortium: true
 ---
 
 LexiFi is an innovative provider of software applications and infrastructure technology for the capital markets industry. LexiFi Apropos is powered by an original formalism for describing financial contracts, the result of a long-term research and development effort.
\ No newline at end of file
diff --git a/data/industrial_users/en/matrix-lead.md b/data/industrial_users/en/matrix-lead.md
index 9158f1321..c9b7e724b 100644
--- a/data/industrial_users/en/matrix-lead.md
+++ b/data/industrial_users/en/matrix-lead.md
@@ -7,6 +7,7 @@ image: users/matrixlead.png
 locations: 
   - France
   - China
+consortium: false
 ---
 
 Matrix Lead provides professionals and companies with leading technologies and solutions for spreadsheets. We create a range of software to help users better build, verify, optimize and manage their spreadsheets. Our flagship product [10 Studio](https://www.10studio.tech) is a Microsoft Excel add-in that combines our several advanced tools, such as formula editor and spreadsheet verificator. The kernel of our tools is an analyzer that analyzes different properties of spreadsheets (including formulas and VBA macros) especially by abstract interpretation-based static analysis. It was initially developed in the Antiques team of Inria and written in OCaml. Then, we wrap web or .NET languages around the analyzer to make ready-to-use tools.
diff --git a/data/industrial_users/en/medit.md b/data/industrial_users/en/medit.md
index 044c5d655..c4836795f 100644
--- a/data/industrial_users/en/medit.md
+++ b/data/industrial_users/en/medit.md
@@ -6,6 +6,7 @@ site: "http://www.medit-pharma.com/"
 image: users/medit.jpg
 locations: 
   - France
+consortium: false
 ---
 
 MEDIT develops [SuMo, an advanced bioinformatic system]("http://mjambon.com/") for the analysis of protein 3D structures and the identification of drug-design targets. SuMo is written entirely in OCaml and provides interfaces to several commercial molecular-modeling packages.
diff --git a/data/industrial_users/en/microsoft.md b/data/industrial_users/en/microsoft.md
new file mode 100644
index 000000000..9b8385e0b
--- /dev/null
+++ b/data/industrial_users/en/microsoft.md
@@ -0,0 +1,11 @@
+---
+name: Microsoft
+description: > 
+  Facebook has built a number of major development tools using OCaml
+site: "http://www.microsoft.com"
+image: users/microsoft.png
+locations: 
+  - United States
+consortium: true
+---
+
diff --git a/data/industrial_users/en/mount-sinai.md b/data/industrial_users/en/mount-sinai.md
index 182203745..0331f1675 100644
--- a/data/industrial_users/en/mount-sinai.md
+++ b/data/industrial_users/en/mount-sinai.md
@@ -6,6 +6,7 @@ site: "http://www.mountsinai.org"
 image: users/mount-sinai.png
 locations: 
   - United States
+consortium: false
 ---
 
 The [Hammer Lab]("http://www.hammerlab.org") at Mount Sinai develops and uses [Ketrew]("https://github.com/hammerlab/ketrew") for managing complex bioinformatics workflows. Ketrew includes an embedded domain-specific language to simplify the specification of workflows and an engine for the execution of workflows. Ketrew can be run as a command-line application or as a service.
diff --git a/data/industrial_users/en/mr-number.md b/data/industrial_users/en/mr-number.md
index afbc91f42..b7442092a 100644
--- a/data/industrial_users/en/mr-number.md
+++ b/data/industrial_users/en/mr-number.md
@@ -6,6 +6,7 @@ site: "http://mrnumber.com/"
 image: users/mrnumber.jpg
 locations: 
   - United States
+consortium: false
 ---
 
 Mr. Number started as a Silicon Valley startup and developed the Mr. Number app for call blocking, later [acquired by WhitePages](http://allthingsd.com/20130601/whitepages-scoops-up-mr-number-an-android-app-for-blocking-unwanted-calls/). OCaml is used on the server-side as the glue between the various third-party components and services.</p>
diff --git a/data/industrial_users/en/mylife.md b/data/industrial_users/en/mylife.md
index d63ec9844..aee961ae0 100644
--- a/data/industrial_users/en/mylife.md
+++ b/data/industrial_users/en/mylife.md
@@ -6,6 +6,7 @@ site: "http://www.mylife.com/"
 image: users/mylife.jpg
 locations: 
   - United States
+consortium: false
 ---
 
 MyLife has developed a powerful people search tool that will empower those in need to find anyone, regardless of years past and the life that was built in between.
\ No newline at end of file
diff --git a/data/industrial_users/en/narrow-gate-logic.md b/data/industrial_users/en/narrow-gate-logic.md
index f3fea3d76..d1ad33875 100644
--- a/data/industrial_users/en/narrow-gate-logic.md
+++ b/data/industrial_users/en/narrow-gate-logic.md
@@ -6,6 +6,7 @@ site: "http://nglogic.com"
 image: users/nglogic.png
 locations: 
   - Poland
+consortium: false
 ---
 
 Narrow Gate Logic is a company using the OCaml language in business and non-business applications.
diff --git a/data/industrial_users/en/nomadic-labs.md b/data/industrial_users/en/nomadic-labs.md
index 38ce94630..e6eafa88e 100644
--- a/data/industrial_users/en/nomadic-labs.md
+++ b/data/industrial_users/en/nomadic-labs.md
@@ -8,6 +8,7 @@ site: "http://www.nomadic-labs.com"
 image: users/nomadic-labs.png
 locations: 
   - "Paris, France"
+consortium: false
 ---
 
 Nomadic Labs houses a team focused on Research and Development. Our
diff --git a/data/industrial_users/en/ocamlpro.md b/data/industrial_users/en/ocamlpro.md
index 2c0683f84..db7e6c6bb 100644
--- a/data/industrial_users/en/ocamlpro.md
+++ b/data/industrial_users/en/ocamlpro.md
@@ -6,6 +6,7 @@ site: "http://www.ocamlpro.com"
 image: users/ocamlpro.png
 locations: 
   - France
+consortium: true
 ---
 
 OCamlPro develops and maintains a development environment for the OCaml language. They provide services for companies deciding to use OCaml. Among these services: trainings, necessary expertise, tools and libraries long-term support, and specific developments to their applicative domains.
\ No newline at end of file
diff --git a/data/industrial_users/en/prudent.md b/data/industrial_users/en/prudent.md
index babacf763..319b17b75 100644
--- a/data/industrial_users/en/prudent.md
+++ b/data/industrial_users/en/prudent.md
@@ -6,6 +6,7 @@ site: "http://www.prudentconsulting.com"
 image: users/prudent.jpg
 locations: 
   - United States
+consortium: false
 ---
 
 Prudent Consulting offers IT solutions to large and mid-sized organizations by combining industry experience and technology expertise to help our customers achieve business goals with speed, agility, and great impact.
diff --git a/data/industrial_users/en/psellos.md b/data/industrial_users/en/psellos.md
index 917c6e923..f275ba57a 100644
--- a/data/industrial_users/en/psellos.md
+++ b/data/industrial_users/en/psellos.md
@@ -6,6 +6,7 @@ site: "http://www.psellos.com"
 image: users/psellos.png
 locations: 
   - United States
+consortium: false
 ---
 
 Psellos is a small group of computer scientists who became intrigued by the idea of coding iOS apps in OCaml. It has worked out better than we expected (you can buy our apps in the iTunes App Store), and at least one other company sells apps built with our tools. Our most recent iOS cross compiler is derived from OCaml 4.00.0.
\ No newline at end of file
diff --git a/data/industrial_users/en/sakhalin.md b/data/industrial_users/en/sakhalin.md
index e94f3a14e..8f94f4e3e 100644
--- a/data/industrial_users/en/sakhalin.md
+++ b/data/industrial_users/en/sakhalin.md
@@ -5,6 +5,7 @@ description: >
 site: "http://www.seaiq.com"
 locations: 
   - United States
+consortium: false
 ---
 
 Sakhalin develops marine charting apps for Apple iPads and iPhones. The full-featured apps display marine charts, GPS and onboard sensor data, Automatic Identification System, weather data, anchor monitoring, etc. The apps have a wide range of users, from occasional recreational boaters to professional river/harbor pilots that board large freighters. They are free to download and try (with a paid upgrade to enable all features). They are written almost entirely in Ocaml with a minor amount of glue to interface with IOS APIs. Ocaml was chosen because it
diff --git a/data/industrial_users/en/shiro-games.md b/data/industrial_users/en/shiro-games.md
index 1a958cd6f..d10997182 100644
--- a/data/industrial_users/en/shiro-games.md
+++ b/data/industrial_users/en/shiro-games.md
@@ -6,6 +6,7 @@ site: "http://www.shirogames.com"
 image: users/shirogames.png
 locations: 
   - France
+consortium: false
 ---
 
 Shiro Games is developing games using [Haxe](http://haxe.org/), a language built with a compiler written in OCaml.
\ No newline at end of file
diff --git a/data/industrial_users/en/simcorp.md b/data/industrial_users/en/simcorp.md
new file mode 100644
index 000000000..0b73b3cc5
--- /dev/null
+++ b/data/industrial_users/en/simcorp.md
@@ -0,0 +1,12 @@
+---
+name: SimCorp
+description: > 
+  Multi-asset platform to support investment decision-making and innovation.
+site: "http://www.simcorp.com/"
+image: users/simcorp.png
+locations: 
+  - United States
+consortium: true
+---
+
+Multi-asset platform to support investment decision-making and innovation.
diff --git a/data/industrial_users/en/sleekersoft.md b/data/industrial_users/en/sleekersoft.md
index 441762ae7..7b86df486 100644
--- a/data/industrial_users/en/sleekersoft.md
+++ b/data/industrial_users/en/sleekersoft.md
@@ -6,6 +6,7 @@ site: "http://www.sleekersoft.com"
 image: users/sleekersoft.png
 locations: 
   - Australia
+consortium: false
 ---
 
 Shiro Games is developing games using [Haxe](http://haxe.org/), a language built with a compiler written in OCaml.
\ No newline at end of file
diff --git a/data/industrial_users/en/solvuu.md b/data/industrial_users/en/solvuu.md
index 1da57ed9e..97c16e602 100644
--- a/data/industrial_users/en/solvuu.md
+++ b/data/industrial_users/en/solvuu.md
@@ -6,6 +6,7 @@ site: "http://www.solvuu.com"
 image: users/solvuu.jpg
 locations: 
   - United States
+consortium: false
 ---
 
 Solvuu's software allows users to store big and small data sets, share the data with collaborators, execute computationally intensive algorithms and workflows, and visualize results. Its initial focus is on genomics data, which has important implications for healthcare, agriculture, and fundamental research. Virtually all of Solvuu's software stack is implemented in OCaml.
diff --git a/data/industrial_users/en/studio-associato-4sigma.md b/data/industrial_users/en/studio-associato-4sigma.md
index b056cb77e..0d09c0cfd 100644
--- a/data/industrial_users/en/studio-associato-4sigma.md
+++ b/data/industrial_users/en/studio-associato-4sigma.md
@@ -6,6 +6,7 @@ site: "http://www.4sigma.it"
 image: users/4sigma.png
 locations: 
   - Italy
+consortium: false
 ---
 
 4Sigma is a small firm making websites and some interesting web applications. OCaml is not the main language used but it is used here and there, particularly in a small server that is a key component of a service we offer our customers.
\ No newline at end of file
diff --git a/data/industrial_users/en/tarides.md b/data/industrial_users/en/tarides.md
index 16e7a1e18..d0261b139 100644
--- a/data/industrial_users/en/tarides.md
+++ b/data/industrial_users/en/tarides.md
@@ -6,6 +6,7 @@ site: "http://www.tarides.com"
 image: users/tarides.png
 locations: 
   - France
+consortium: false
 ---
 
 We are building and maintaining open-source infrastructure tools in OCaml:
diff --git a/data/industrial_users/en/trustinsoft.md b/data/industrial_users/en/trustinsoft.md
index 4d6247b05..9360cfb94 100644
--- a/data/industrial_users/en/trustinsoft.md
+++ b/data/industrial_users/en/trustinsoft.md
@@ -6,6 +6,7 @@ site: "http://trust-in-soft.com"
 image: users/trustinsoft.png
 locations: 
   - France
+consortium: false
 ---
 
 TrustInSoft is a company that changes the rules in cybersecurity. TrustInSoft is the software publisher of the software analysis [Frama-C](http://frama-c.com) platform. Our motto is simple: make the formal methods accessible to the majority of software developers.
\ No newline at end of file
diff --git a/data/industrial_users/en/wolfram-mathcore.md b/data/industrial_users/en/wolfram-mathcore.md
index 140bdeae6..582215477 100644
--- a/data/industrial_users/en/wolfram-mathcore.md
+++ b/data/industrial_users/en/wolfram-mathcore.md
@@ -6,6 +6,7 @@ site: "http://www.wolframmathcore.com"
 image: users/wolfram-mathcore.gif
 locations: 
   - Sweden
+consortium: false
 ---
 
 Wolfram MathCore uses OCaml to implement its SystemModeler kernel. The kernel's main function is to translate models defined in the Modelica language into executable simulation code. This involves parsing and transforming Modelica code, mathematical processing of equations, code generation of C/C++ simulation code, and numerical runtime computations.
diff --git a/data/industrial_users/en/zeo-agency.md b/data/industrial_users/en/zeo-agency.md
index 1ec34e33b..1d60f47bc 100644
--- a/data/industrial_users/en/zeo-agency.md
+++ b/data/industrial_users/en/zeo-agency.md
@@ -5,6 +5,7 @@ description: >
 site: "http://www.zeo.org"
 locations: 
   - "London, United Kingdom"
+consortium: false
 ---
 
 Zeo is a digital marketing company focused on helping companies to do better in SEO. Due to the nature of our business, we manage billions of lines in our database & create insights by using this data. To utilize our needs effectively, we use OCaml in our data crawling & processing part.
diff --git a/data/media/users/kernelyze-llc-logo.png b/data/media/users/kernelyze-llc-logo.png
new file mode 100644
index 000000000..9bebfb4ad
Binary files /dev/null and b/data/media/users/kernelyze-llc-logo.png differ
diff --git a/src/ood-preview/asset/main.css b/src/ood-preview/asset/main.css
index 178a9519e..a5428be68 100644
--- a/src/ood-preview/asset/main.css
+++ b/src/ood-preview/asset/main.css
@@ -1,4 +1,4 @@
-/*! tailwindcss v2.1.4 | MIT License | https://tailwindcss.com *//*! modern-normalize v1.1.0 | MIT License | https://github.com/sindresorhus/modern-normalize */
+/*! tailwindcss v2.1.2 | MIT License | https://tailwindcss.com *//*! modern-normalize v1.1.0 | MIT License | https://github.com/sindresorhus/modern-normalize */
 
 /*
 Document
diff --git a/src/ood-preview/lib/ood_preview/industrial_user.ml b/src/ood-preview/lib/ood_preview/industrial_user.ml
index 891191230..0f7717b0f 100644
--- a/src/ood-preview/lib/ood_preview/industrial_user.ml
+++ b/src/ood-preview/lib/ood_preview/industrial_user.ml
@@ -4,6 +4,7 @@ type metadata = Ood.Industrial_user.t =
   ; image : string option
   ; site : string
   ; locations : string list
+  ; consortium : bool
   }
 [@@deriving yaml]
 
@@ -13,6 +14,7 @@ type t =
   ; image : string option
   ; site : string
   ; locations : string list
+  ; consortium : bool
   ; body : string
   }
 
@@ -26,11 +28,14 @@ let all () =
       ; description = metadata.description
       ; image = metadata.image
       ; site = metadata.site
+      ; consortium = metadata.consortium
       ; locations = metadata.locations
       ; body
       })
     "industrial_users/en"
 
+let get_consortium () = List.filter (fun (x : t) -> x.consortium) (all ())
+
 let slug (t : t) = Utils.slugify t.name
 
 let get_by_slug id =
diff --git a/src/ood-preview/lib/ood_preview_web/handlers/page_handler.ml b/src/ood-preview/lib/ood_preview_web/handlers/page_handler.ml
index efde96f63..411eedee6 100644
--- a/src/ood-preview/lib/ood_preview_web/handlers/page_handler.ml
+++ b/src/ood-preview/lib/ood_preview_web/handlers/page_handler.ml
@@ -21,6 +21,13 @@ let industrial_users _req =
     (Industrial_users_template.render industrial_users)
   |> Dream.html
 
+let consortium _req =
+  let consortium = Ood_preview.Industrial_user.get_consortium () in
+  Layout_template.render
+    ~title:"Consortium"
+    (Industrial_users_template.render consortium)
+  |> Dream.html
+
 let books _req =
   let books = Ood_preview.Book.all () in
   Layout_template.render ~title:"Books" (Books_template.render books)
diff --git a/src/ood-preview/lib/ood_preview_web/navigation.ml b/src/ood-preview/lib/ood_preview_web/navigation.ml
index 30ee05051..acea25022 100644
--- a/src/ood-preview/lib/ood_preview_web/navigation.ml
+++ b/src/ood-preview/lib/ood_preview_web/navigation.ml
@@ -26,6 +26,7 @@ let t =
           ; icon = ""
           ; text = ""
           }
+        ; { label = "Consortium"; url = "/consortium"; icon = ""; text = "" }
         ; { label = "Books"; url = "/books"; icon = ""; text = "" }
         ; { label = "Events"; url = "/events"; icon = ""; text = "" }
         ; { label = "Videos"; url = "/videos"; icon = ""; text = "" }
diff --git a/src/ood-preview/lib/ood_preview_web/router.ml b/src/ood-preview/lib/ood_preview_web/router.ml
index 42115947c..c00f11281 100644
--- a/src/ood-preview/lib/ood_preview_web/router.ml
+++ b/src/ood-preview/lib/ood_preview_web/router.ml
@@ -17,6 +17,7 @@ let routes =
   ; Dream.get "/papers" Page_handler.papers
   ; Dream.get "/success-stories" Page_handler.success_stories
   ; Dream.get "/industrial-users" Page_handler.industrial_users
+  ; Dream.get "/consortium" Page_handler.consortium
   ; Dream.get "/books" Page_handler.books
   ; Dream.get "/events" Page_handler.events
   ; Dream.get "/videos" Page_handler.videos
diff --git a/src/ood/industrial_user.ml b/src/ood/industrial_user.ml
index b3488e3a5..8e5effc13 100644
--- a/src/ood/industrial_user.ml
+++ b/src/ood/industrial_user.ml
@@ -4,4 +4,5 @@ type t = {
   image : string option;
   site : string;
   locations : string list;
+  consortium : bool;
 }