{% extends "zerver/portico.html" %} {% set entrypoint = "landing-page" %} {% set OPEN_GRAPH_TITLE = 'Zulip for research' %} {% set OPEN_GRAPH_DESCRIPTION = 'Chat for your project, research group, department or scientific field' %} {% block title %} Zulip for research: Chat for your project, research group, department or scientific field {% endblock %} {% block customhead %} {% endblock %} {% block portico_content %} {% include 'zerver/landing_nav.html' %}

Zulip for research

Chat for your project, research group, department or scientific field.
Zulip Cloud Standard is free for academic research!

Learn how the Lean theorem prover community is using Zulip.

Make Zulip the communication hub for your research community.

Zulip is the only modern team chat app that is ideal for both live and asynchronous conversations. Coordinate with collaborators, post questions and ideas, and learn from others in your field.

Use topics to organize the discussion

  • Zulip topics create a separate space for each discussion.
  • Find active conversations, or see what happened while you were away, with the Recent Topics view.
  • Keep discussions orderly by moving or splitting topics when conversations digress.
  • Check out Zulip for communities to learn how Zulip empowers welcoming communities by making it easy to participate on your own time.
The Lean community switched from Gitter to Zulip in early 2018, and never looked back. Zulip’s stream/topic model has been essential for organising research work and simultaneously onboarding newcomers as our community scaled. My experience with both the app and the website is extremely positive!
Kevin Buzzard, Professor of Pure Mathematics at Imperial College London
How the Lean prover community uses Zulip ↗

Lasting knowledge repository

Powerful formatting

Interactive messaging

For more than a year, Zulip has been the cornerstone of our online Category Theory community. We greatly appreciate the seamless integration of Latex in every message as well as being able to get sidetracked (which, let's face it, happens a lot with mathematicians) without compromising an entire conversation: we can simply create a new topic for every tangent! Moreover, the flexible streams-and-topics system greatly helps us navigate through the constant influx of messages, as it is simple to tell if a message is relevant to one's interests.

All in all, Zulip enabled us to create an unprecedentedly extensive, active and vibrant community for all category theory enthusiasts out there.
— Stelios Tsampas, PhD in Theoretical Computer Science

Flexible administration and moderation

When and how you want it

Make the move today

I have to use Slack for some other research groups I collaborate with, but my own graduate students voted to switch to Zulip a few years ago and it's just vastly better.
Keith Winstein, Assistant Professor of Computer Science at Stanford University
{% endblock %}