You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
John Baez (Feb 07 2021 at 02:07):I don't know if this is the right place to talk about it when people in category theory get jobs. If not someone please move this post of mine. But I think it's a good thing to talk about, both to congratulate people and let people know where the jobs are.
Maru Sarazola works on K-theory but also applied category theory: she was a student at the first ACT school in 2018. She wrote a paper with Brendan Fong on black-boxing open systems, and more recently she's written about model structures on the category of double categories and the stable version of homotopy hypothesis.
I just heard she's gotten a postdoc working with Emily Riehl at Johns Hopkins starting this fall! :tada:
Daniele Palombi (Feb 07 2021 at 10:18):That's great!
I recently cited her work (w/ Moser, Ozornova, Paoli & Verdugo) on the stable homotopy hypothesis in the Tamsamani model as "a recent piece of maths that i've found particularly exciting" in my ACT school application. Happy to know she's going places! :tada:
John Baez (Feb 08 2021 at 03:08):@Mike Stay started his PhD work at U. C. Riverside but wound up needing to make some extra money, so he took a job at Google in 2007 and got a Ph.D in computer science at the University of Auckland 2015. That's where he had previously gotten his masters degree in computer science under Cristian Calude. Calude and I served as his co-advisors for his Ph.D. Apart from a paper connecting thermodynamics to algorithmic entropy, Mike and I worked on applications of symmetric monoidal categories and compact closed bicategories to computation. He has continued developing these ideas ever since, most recently working with my student @Christian Williams on a paper about type theory, making extensive use of ideas from topos theory.
In 2016 he began a startup called Pyrofex. That ran into headwinds, but now for some good news:
Mike has just now accepted a job from IOHK as Technical Architect of a new blockchain they'll be building. Their last blockchain project, Cardano, has a $22B market cap and their smart contract language is based on Haskell.
Fabrizio Genovese (Feb 09 2021 at 10:22):Yeah, cardano is doing really well on the markets at the moment! :smile:
John Baez (Feb 09 2021 at 16:57):@Mike Stay's job is to think about the overall architecture of the new blockchain and make sure there are no inconsistencies or global problems not easily spotted by people working on the different parts.
John Baez (Feb 20 2021 at 17:53)::tada: :tada: :tada: MY STUDENT JADE MASTER HAS GOTTEN A JOB!!! :tada: :tada: :tada:
Jade has been working on
open Petri nets (with me),
generalizations of Petri nets - one for each Lawvere theory,
how Petri nets and their relatives generate monoidal categories, symmetric monoidal categories and commutative monoidal categories (with @Fabrizio Genovese, @Mike Shulman and me),
generalizations of the shortest-path problem for open graphs, based on quantales,
string diagrams for assembly planning (with @Evan Patterson , Shahin Yousfi and Arquimedes Canedo at Siemens)
natural language processing using category theory (with @Tai-Danae Bradley, @Martha Lewis and @Brad Theilman).
John Baez (Feb 20 2021 at 17:55):Now she's gotten a 3-year postdoc at the Mathematically Structured Programming Group in Computer and Information Sciences at the University of Strathclyde! That's in Glasgow, Scotland.
John Baez (Feb 20 2021 at 17:57):She'll be working with @Clemens Kupke, in a group that I guess is led by Neil Ghani and also features @Jules Hedges, Glynn Winskell and @Conor McBride.
Jade Master (Feb 20 2021 at 17:57):Wow thank you John :)
Tim Hosgood (Feb 20 2021 at 17:59):well done jade!
Jules Hedges (Feb 20 2021 at 18:02):This is the first time I heard about it........ WOW!!! congratulations!
Amar Hadzihasanovic (Feb 20 2021 at 18:02):Very well-deserved!
Jules Hedges (Feb 20 2021 at 18:04):MSP is getting dangerously close to being THE place to be right now
Jules Hedges (Feb 20 2021 at 18:06):Whatever excuse I had remaining to not know more about petri nets has just evaporated, I guess
John Baez (Feb 20 2021 at 18:06):There is always more to know about them.
John Baez (Feb 20 2021 at 18:07):They are so closely connected to string diagrams that you're bound to like them, especially (I'll presumptuously say) now that we've figured out the connections very clearly.
John Baez (Feb 20 2021 at 18:09):Jade can teach you Petri nets and you can tell her useful info about how to survive and be happy in Glasgow. It's a big leap from Oregon and Los Angeles to Glasgow.
Jules Hedges (Feb 20 2021 at 18:11):That's for sure. I love Glasgow but the cold and wet and dark can get a bit much and I'm only from the south of England, not from California
Jules Hedges (Feb 20 2021 at 18:11):Although the one thing I think I believe about Oregon is that it rains a lot there..... ???
Mike Shulman (Feb 20 2021 at 18:13):Congrats Jade!
Clemens Kupke (Feb 20 2021 at 18:21):Very happy that @Jade Master decided to take the job. Curious to learn more about how Petri Nets link to coalgebra - and of course hoping to convince her that coalgebraic logics are fun as well :smile:
Jade Master (Feb 20 2021 at 18:23):Thank you everyone.
Georgios Bakirtzis (Feb 20 2021 at 18:32):congrats @Jade Master glad to see everything worked out!
John Baez (Feb 20 2021 at 19:44):It rains a lot in Oregon. Jade said she likes it.
Jules Hedges (Feb 20 2021 at 19:50):You'll love it here then... yesterday I didn't go outside because it rained without stopping the whole day. This morning it wasn't raining so I went out for a walk. By the time I was about 45 minutes from home it started pouring, so I got wet all the way back. I think it hasn't stopped since then
Conor McBride (Feb 20 2021 at 20:03):I just made it to the shop and back without getting rained on. I live my life by watching yr.no for Glasgow.
Jon Sterling (Feb 20 2021 at 21:20):Congratulations @Jade Master !! Glad to hear it.
Valeria de Paiva (Feb 20 2021 at 21:34):John Baez said:
She'll be working with Clemens Kupke, in a group that I guess is led by Neil Ghani and also features Jules Hedges, Glynn Winskell and Conor McBride.
Great news Jade! congrats to them and to you!
John Baez (Feb 20 2021 at 23:50):My student Mike Stay came to Singapore without an umbrella, and on his first time coming to the Centre for Quantum Technologies it rained so hard his new cell phone shorted out and died. I forgot to tell him Singapore is tropical, it has rain storms almost every afternoon, it's good to have an umbrella, but there's an elaborate network of covered walkways so you never need to get wet.
Matteo Capucci (he/him) (Feb 22 2021 at 07:32):Wow that's fantastic news! I'm really looking forward to have you here @Jade Master :)
John Baez (Feb 22 2021 at 16:24):You're at Strathclyde, Matteo? In CS or math?
Jade Master (Feb 22 2021 at 16:54):Cool Matteo, I didn't realize you were in the MSP group. Excited to see you there as well, although I won't be moving until July.
Jules Hedges (Feb 22 2021 at 17:00):Like I was saying, we're the place to be apparently
Jules Hedges (Feb 22 2021 at 17:02):It's incredible Neil pulled this off... this is what you can get if you have a category theorist who also knows how to play the head of department politics game
Jade Master (Feb 22 2021 at 17:03):Hehe yeah the group is so huge. How many people are in it?
Jules Hedges (Feb 22 2021 at 17:12):Here's the complete list: http://msp.cis.strath.ac.uk/people.html
Jules Hedges (Feb 22 2021 at 17:12):(Except Ross, who I think has left officially but isn't removed from the list yet)
Matteo Capucci (he/him) (Feb 23 2021 at 10:14):John Baez said:
You're at Strathclyde, Matteo? In CS or math?
I'm in the MSP group which is CS math, I guess :)
Matteo Capucci (he/him) (Feb 23 2021 at 10:16):Jade Master said:
Cool Matteo, I didn't realize you were in the MSP group. Excited to see you there as well, although I won't be moving until July.
Definitely! I'm myself not in Glasgow at the moment :) but I'll be there in July (if Boris will manage to follow his roadmap)
Jules Hedges (Feb 23 2021 at 10:31):The maths department in Strathclyde looks kinda boring, I think it's a standard applied maths department with pretty much no pure mathematicians. MSP is in the Department of Computer and Information Sciences, which is a name I'm super happy to compromise on because I call it "informatics" half the time. (Just the acronym is a tiny bit unfortunate)
Matteo Capucci (he/him) (Feb 23 2021 at 10:34):CIS = Cry In State machines
Jules Hedges (Feb 23 2021 at 10:35):I haven't looked into maths at Glasgow Uni yet. Probably our nearest heavyweight maths department would be a 1 hour train journey to the Hodge Institute in Edinburgh, where Tom Leinster is
Conor McBride (Feb 23 2021 at 10:45):Strathclyde Mathematics, in non-pandemic times, occupies floors 8..10 of Livingstone Tower, where Computer and Information Sciences occupy 11..14. The I in CIS reflects the way we merged with the Librarians many years back, and we remain a thronging hive of digital humanities research. There are some fun people in the Maths department, including one or two with categorical interests, and some combinatoricists. But the thirteenth floor is where the categorical lights are on. (Meanwhile, a few years back, your best chance to hang out with Tom Leinster was indeed to catch the train to Edinburgh at the right time of day, because he'd be on it, too.)
Jules Hedges (Feb 23 2021 at 10:50):So the I in CIS now is the digital humanities folks, plus me who prefers to call my own subject "informatics" (because I don't like computers)
Jade Master (Feb 23 2021 at 14:45):Interesting, I don't think I really know what informatics is supposed to mean.
Jules Hedges (Feb 23 2021 at 14:47):There's a sub-thread that got transplanted into #general: off-topic > the word for CS
Jules Hedges (Feb 23 2021 at 14:48):I personally use it as an exact synonym for CS, reflecting the cognate word in most other languages. But that's not exactly standard English
Georgios Bakirtzis (Mar 31 2021 at 13:57):I just accepted a fellowship offer I will be moving to UT Austin's Oden Institute for a postdoc after my defense in April. I will be mostly doing ACT there for control + formal methods + learning w/ Ufuk Topcu.
Jade Master (Mar 31 2021 at 14:10):Congrats @Georgios Bakirtzis
Georgios Bakirtzis (Mar 31 2021 at 15:01):Thank you @Jade Master :)
John Baez (Mar 31 2021 at 16:11):Congratulations! What sort of stuff does Topcu work on?
Georgios Bakirtzis (Mar 31 2021 at 17:28):Thank you @John Baez! He is a control theorist (of the Caltech tradition if that makes any sense) that has moved to applications in path planning (and robotics in general), safety guarantees, optimal control etc. but more from the mathematical engineering side. You can see here the types of papers he publishes these days with his group https://scholar.google.com/citations?hl=en&user=jeNGFfQAAAAJ&view_op=list_works&sortby=pubdate
I know he has had discussions with David Spivak in the past (or so he told me when I did my interview talk) so he is familiar with CT at some level.
John Baez (Mar 31 2021 at 18:12):Interesting! Among other things he wrote a paper "Control strategies for COVID-19 epidemic with vaccination, shield immunity and quarantine: A metric temporal logic approach". I like the idea of control theory applied to disease... except of course that people never do what you want.
Jules Hedges (Apr 01 2021 at 10:26):"People never do what you want" sounds like just the thing to make the subject interesting
Fawzi Hreiki (Apr 01 2021 at 11:32):I guess that's why economists still have jobs
John Baez (Feb 17 2022 at 20:33):Good news: @David Jaz got an offer from Hisham Sati and Urs Schreiber to work with them in Abu Dhabi, and he's accepted it!
John Baez (Feb 17 2022 at 23:28):It's a 2-year postdoc position.
John Baez (Mar 21 2022 at 18:10):More good news: my former student Daniel Cicala got hired as a Assistant Professor at Southern Connecticut State University - a tenure-track position! He'll start in the fall.
He'd been a visiting assistant professor at the University of New Haven.
John Baez (Mar 21 2022 at 18:12):In case you don't know him, he did his thesis on Rewriting Structured Cospans: a Syntax for Open Systems, and he's now helping run the AMS summer school on applied category theory.
Mike Shulman (Mar 21 2022 at 18:18):Congrats Daniel!
John Baez (Mar 21 2022 at 19:48):And wow - this news just came in from @Christina Vasilakopoulou. She just got a tenure-track position as Assistant Professor in Algebra in the School of Mathematical and Physical Sciences at the National Technical University of Athens, which is one of the top universities in Greece!
In case you don't know her, she's a student of Martin Hyland who did postdocs with David Spivak and Dusko Pavlovic, and then was a visiting assistant professor here at UCR before getting a research position at the University of Patras.
John Baez (Mar 21 2022 at 19:48):She got elected to this position by a vote among math departments in all of Greece!
John Baez (Mar 21 2022 at 19:51):She's done work on both pure and applied category theory; at UCR she and @Joe Moeller wrote a paper on the monoidal Grothendieck construction and more recently she teamed up with @Kenny Courser and me to write about structured vs. decorated cospans.
Georgios Bakirtzis (Mar 22 2022 at 11:49):John Baez said:
And wow - this news just came in from Christina Vasilakopoulou. She just got a tenure-track position as Assistant Professor in Algebra in the School of Mathematical and Physical Sciences at the National Technical University of Athens, which is one of the top universities in Greece!
In case you don't know her, she's a student of Martin Hyland who did postdocs with David Spivak and Dusko Pavlovic, and then was a visiting assistant professor here at UCR before getting a research position at the University of Patras.
Which incidentally is the department my grandfather pushed hard to make happen at NTUA! Congrats Christina much deserved.
Notification Bot (Mar 31 2022 at 15:28):15 messages were moved from this topic to #general: off-topic > blockchain by Jules Hedges.
Mateo Carmona (Apr 30 2023 at 19:54):I am very glad to announce to you I was appointed by the Istituto Grothendieck as Coordinator of its "Centre for Grothendieckian Studies (CSG)".
I hope this new role will bring the needed clarity to the classification of the collected works of Grothendieck and helps the development of mathematical communities and culture in general. You can find more here:
https://igrothendieck.org/en/mateo-carmona-appointed-as-coordinator-of-csg/
Stay tuned, there are several projects that can be of interest to researchers.
Morgan Rogers (he/him) (May 01 2023 at 10:14):Congratulations @Mateo Carmona !
Tim Hosgood (May 01 2023 at 11:33):congratulations!
Mateo Carmona (May 01 2023 at 14:56):Many thanks! :grinning_face_with_smiling_eyes:
Amar Hadzihasanovic (May 16 2023 at 08:49):I have just been made Assistant Professor at Tallinn University of Technology. Since Niccolò Veltri also got the same position in January, there's now 4 of us who are faculty in Tallinn and work on or around category theory: Tarmo Uustalu, Pawel Sobocinski, Niccolò and I.
Valeria de Paiva (May 17 2023 at 04:38):Congrats to both you and Niccolo!
Morgan Rogers (he/him) (May 17 2023 at 09:19):I got a Maitre de Conference position at LIPN! It will officially start in September, but I have a postdoc position there in the interim. I'm very excited to be able to stay there long term.
Jean-Baptiste Vienney (May 17 2023 at 11:30):Congrats, it's awesome! That's very interesting to me that you got a permanent position in a computer science laboratory in France while having more a math orientation if I'm not mistaken, and without years and years of postdoc if I'm not mistaken. At the beginning of my phd it's very encouraging to me to see such a trajectory, that you can do it if you do a very good job.
Valeria de Paiva (May 17 2023 at 14:36):congrats!
Ryan Wisnesky (May 17 2023 at 21:07):conexus hired a trio of grad students lately, including jb v., all of whom are welcome to share that fact with the world :-)
Jean-Baptiste Vienney (May 17 2023 at 21:07)::tada: :tada:
John Baez (May 17 2023 at 21:09):Oh, now I get it. And for anyone who doesn't: "jb" is not me, it's the other jb in this conversation.
Ryan Wisnesky (May 17 2023 at 21:10):ha, oops, I didn't even realize you John shared JB V.'s initials, my bad
John Baez (May 17 2023 at 21:12):Congratulations, @Jean-Baptiste Vienney!
John Baez (May 17 2023 at 21:14):(I have moved this conversation to the relevant place.)
Jean-Baptiste Vienney (May 17 2023 at 21:16):hashtag Business category theory
Jean-Baptiste Vienney (May 17 2023 at 21:26):our main tool is CQL, SQL but with categories, use that people
Jean-Baptiste Vienney (May 17 2023 at 21:26):that's good stuff
Jean-Baptiste Vienney (May 17 2023 at 21:30):You write finitely presented categories and your queries are profunctors between them. It's available here
Gabriel Goren Roig (May 17 2023 at 23:34):Ryan Wisnesky said:
conexus hired a trio of grad students lately, including jb v., all of whom are welcome to share that fact with the world :-)
I am very happy to say that I am one of the other members of that trio :smile:
Emilio Minichiello (May 18 2023 at 02:38):As am I! Very excited to be a part of Conexus!
Ryan Wisnesky (May 18 2023 at 02:51):for glory! welcome aboard all
Jean-Baptiste Vienney (May 19 2024 at 11:52)::partying_face::partying_face::partying_face::partying_face::partying_face::partying_face::partying_face::partying_face::partying_face::partying_face::partying_face::partying_face::partying_face::partying_face::partying_face:
@Sacha Ikonicoff got a permanent position in Mathematics in Strasbourg! As far as I know, he is an expert in operads and lately he has been working on differential/tangent categories, building some new ones from operads and related ideas. He has done his PhD in Paris :flag_france:, then a postdoc in Calgary :flag_canada:, one in Ottawa :flag_canada: and now he’s back to France! :flag_france:
I hope it’s all fine that I share the news!
:tada::tada::tada::tada::tada::tada::tada::tada::tada::tada::tada::tada::tada::tada::tada: