Things I am proud of

 

In these times of pandemic, I (and I believe everyone else too) get depressed about what I have (not) been doing with my life: all the ways that I could be a socially more useful person and I am not. all the infinite hours that I spent fighting bugs in programs or bugs in my understanding of things, that I could and should have spent fighting the bad guys in the actual world.

So as I way to cheer myself up I thought I'd write a bit about stuff I have been doing that I think is cool, that, to put it the Marie-Kondo way, gives me joy. Funnily enough, these things are hard to put in resumes or curriculum vitae. But since this is "candy for the soul" and too much candy does make you sick, I think I will do it in small doses, in several posts, with a decent amount of time between them.

Because I was looking for something else, I found the message from 2002 when Bob Rosebrugh invited me to be an editor of TAC (Theory and Applications of Categories). TAC was one of the cleverest things that category theorists did very early on (together with managing to keep a mailing list going). We've had one of the first open-source journals in Mathematics,  since 1995. And I was lucky enough to be invited to its Editorial Board in 2002. Maybe it was the allure of "industrial mathematics", I was in Xerox PARC then. Who knows? 

When I joined  TAC's Editorial Board there was only one woman there, Susan Niefield. She had been the only woman there since 1995.  Now there are six of us, better. TAC has published around 770 articles in its entire career, so far. More recently, having been active in NLP where a single conference, EMNLP 2020 has had the following data:

After receiving 3677 submissions, 3359 of these went through review, of which 754 were accepted to EMNLP and 520 were accepted to Findings of EMNLP. This gives an acceptance rate of 22.4% for EMNLP and a further 15.5% for Findings.

I found out the extent to which the numbers can be different. very different indeed. 

Calling a `citation' the minimum unit of measurement of productivity in Academia is very misleading too. Everyone knows this! But as we are always reminded (e.g. Dunne's short summary) people measure what they can, or "You get what you measure".  But more than individual researchers' gaming the system and/or groups of scientists or publishers ganging up in 'citation farms' (which Dunne discusses), there are also the societal prejudices and old structures conspiring against women, black or brown researchers, gender non-conforming researchers, researchers not from the Global North, etc that change the landscape of academic fields. And keeping working at pointing out these things, in the long run, can be extremely tiring. Deadlines always coincide (Murphy's Law), disease and small (and big disasters) always occur, and constructing things (even simple, small ones like a workshop) is always much more work and time spent than you could possibly estimate.

So, to begin with, a list of things I'm proud of, and I might (or not) discuss these in future blog posts, as time permits:

1. Editorial Boards of TAC, Logical Methods in Computer Science, Logica Universalis, Compositionality.

2. Industry Advisory Board of the Masters in NLP program of UC Santa Cruz.

3. Scientific Advisory Board of the Institute of Logic, Language and Computation (ILLC), University of Amsterdam.

4. Council of the Division of Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology, 2020-2023.

5. Ambassador for Logic, Vienna Centre for Logic and Algorithms. 

Special mention to the ``Encontro Brasileiro de Mulheres Matematicas" at IMPA in 2019, where I talked about how Applied Category Theory is the way I want to connect algebra, programming, and logic, but especially why I think we need to pay attention to gender gaps in maths, computer science, and logic.