Skip to main content

2024 Moderator Election

nomination began
Apr 9 at 20:00
election began
Apr 23 at 20:00
election cancelled
Apr 23 at 20:01

On Stack Exchange, we believe the core moderators should come from the community, and be elected by the community itself through popular vote. We hold regular elections to determine who these community moderators will be.

Community moderators are accorded the highest level of privilege on our community, and should themselves be exemplars of positive behavior and leaders within the community.

Our general criteria for moderators is as follows:

  • patient and fair
  • leads by example
  • shows respect for their fellow community members in their actions and words
  • open to some light but firm moderation to keep the community on track and resolve (hopefully) uncommon disputes and exceptions

Full elections have three phases and an optional fourth phase (Primary):

  1. Question Collection
  2. Nomination
  3. Primary
  4. Election

Please participate in the moderator elections by voting, and perhaps even by nominating yourself to be a community moderator!

Additional Links

Meven Lennon-Bertrand

  • Post-doc in Cambridge
  • Playing with proof assistants (primarily Coq) since 2016

I have been around this place since the beta, mostly answering Coq or type theory questions. I quite like it – I feel this is one of the rare places online where people from different proof assistants get together. So I'd like to keep it alive and well.

Luckily, we have not needed too much policing around here until now, let us hope it stays this way. Still, it is good to have people around that are ready to handle that if needed. I hope my involvement around here speak for itself to the fact that I can do that, if/when necessary, and that I am involved enough to serve as a good moderator.


I'm a graduate student at Carnegie Mellon University,
I like programming languages and dependent type theory.

  • I've been using Stack Exchange for quite a while; I fairly understand the style of moderation needed on the website. If I become a moderator, I will listen to people's thoughts and suggestions.

  • I have experience working with proof assistants, mainly Agda and Arend, but I've also used Lean and Coq. I am trying to learn more about these systems. My GitHub handle is ice1000.

  • I check this proof assistant stack exchange website frequently. I highly value this website as the best place to talk about one of my favorite type of software, and I will do my best to help improve both the site and the community.


This election is over.