Authors and contact - Githubissues

goblint / GobWeb

Website for the Static Analyzer Goblint

https://goblint.in.tum.de

3 stars 0 forks source link

Authors and contact #5

Closed ivanazuzic closed 10 months ago

ivanazuzic commented 3 years ago

Authors are currently placed at the bottom of the overview page. Should they get their own page? Do we want to give some contact email? It used to say that people should contact Vesal regarding Goblint, but I'm unsure if that's the way to go.

michael-schwarz commented 3 years ago

Maybe a people page. There we could also list all students who worked on it in the (recent) past and provide photos of main developers

ivanazuzic commented 3 years ago

I'll make a page for "People" if we decide that we want to add such a list.

vesalvojdani commented 3 years ago

So I think we can try this idea of having the key people with their picture and a bullshit title. Here's the preliminary list of "key" people:

Helmut Seidl, Chief Fixpoint Officer.
Kalmer Apinis, General Manager of Global Widening.
Julian Erhard, Principal Soundness Officer.
Simmo Saan, Director of Witness Protection.
Martin Schwarz, Chairman of OSEK compliance.
Michael Schwarz, President of Accessibility and Privacy.
Varmo Vene, Side-Effecting Cofounder.
Ralf Vogler, Executive Manager of Static Analysis Engineering.
Vesal Vojdani, Secretary General of Race Detection and Diversity.
Ivana Zuzic, Head of Public Relational Domains.
Wettlaufweltmeister, Organization Mascot.

I think this is an exhaustive list of key/active contributors.

ivanazuzic commented 3 years ago

The final decision about the categories of members we want to show.

Current core team (active on Slack, GobCon or commits)
Past contributors and associates: phd, master, bachelor

vesalvojdani commented 3 years ago

Okay, so we have the "Current Team Members" and I wanted to simplify the titles.

Helmut Seidl, Chief Fixpoint Officer.
Kalmer Apinis, Chief Widening Officer.
Julian Erhard, Chief Soundness Officer.
Simmo Saan, Chief Witness Officer.
Michael Schwarz, Chief Accessibility Officer.
Ralf Vogler, Chief Top-Down Officer. [I need some help here... maybe Top-Down Engineering Officer, or no, let's cut the crap, it's Chief Top-Down Solving Officer, or just, Chief Solving Officer, although we already have a CSO, hmm.]
Vesal Vojdani, Chief Race and Diversity Officer.
Ivana Zuzic, Chief Public Relational Domains Officer.
Wettlaufweltmeister, Organization Mascot.

So, chief accessibility and diversity officers are actually real jobs, it seems. Maybe we go with "chief array accessibility officer" to avoid people e-mailing Michael that Goblint lacks text-to-speech functionality.

vesalvojdani commented 3 years ago

OMG, how could I have missed it... now it hit me out of nowhere: Ralf is obviously The Chief Executability Officer! (I mean Docker cloud... such a CEO thing to do.) So here's the updated list:

Helmut Seidl, Chief Fixpoint Officer.
Kalmer Apinis, Chief Widening Officer.
Julian Erhard, Chief Soundness Officer.
Simmo Saan, Chief Witness Officer.
Michael Schwarz, Chief Array Accessibility Officer.
Ralf Vogler, Chief Executability Officer.
Vesal Vojdani, Chief Race and Diversity Officer.
Ivana Zuzic, Chief Public Relational Domains Officer.
Wettlaufweltmeister, Chief Organization Mascot.

michael-schwarz commented 2 years ago

Do we still want to follow-up on this? Or should we close the issue?