ice-tcs in one pill

ICE-TCS in one pill29 April 2005–Today

Luca Aceto

27 January 2021

Disclaimer: Shoot the piano player. No PhD students or postdocs were

hurt.

Luca Aceto ICE-TCS in one pill 1 / 7

The blue or the red one?


The blue pill: ICE-TCS today

Algorithms

People: Magnus, Eyjo(Eng.), Alexandre (postdoc),over 150 collaborators

Research topics: Distributedcomputation + Algorithmsfor hard problems +Wireless communication +Optimization

Project: “Constraineddistributed symmetrybreaking” (IRF)

Combinatorics

People: Henning, Christian(postdoc), Emile (PhD, RUResearch Fund), strongexternal collaborators

Research topics:Permutation patterns +automating the job ofmathematicians

Project: “Combinatorialexploration and permutationclasses” (IRF and RUResearch Fund)



Concurrency theory and logic

People: Anna, Antonis,Duncan (PhD, IRF), Elli(PhD, IRF), Raphael (PhD,IRF), Valentina (postdoc),Luca, over 110 collaborators

Research topics:Concurrency theory +Runtime monitoring + Logicin CS

Projects: LAPS, MoVeMntand OPEL (all IRF), ITMATTERS (MIUR Italy)

Logic, semantics and types

People: Tarmo, Dylan(postdoc), Yasuaki (PhD,IRF), over 40 collaborators

Research topics:Computational effects +Proof theory/Logic in CS +Semantics of PL + Types

Project: Quantifiedcomputational effects andinteraction (IRF)



Executive summary

Seven core members at RU

Four postdocs

Five PhD students all supported by grants+ Ian (IRF) graduating now

Six ongoing funded research projects

Looking to hire two PhD students andone postdoc

Upcoming events: Theory Day 2021,NWPT 2021, NordSec 2022, LogicColloquium 2022 (?)


Aside: International collaborators

Advice to self

Cultivate your (international) network of collaborators.

Keep bringing guests to DCS.


Aside: Postdocs

Trivia

25 ICE-TCS postdocs since 2006

Many have had excellent careers

Advice to self: Keep hiring postdocs.


The blue or the red one?


The red pill: ICE-TCS never existed

Rewriting history: ≈ −360 Seminars at RU



Rewriting history: ≈ −120 Guests at RU



Rewriting history: CS/Maths Conferences in Iceland? Postdocs?

No FPSAC, ICALP, LICS, NWPT (twice), PP (twice), SIROCCO,SWAT, . . .

ICALP 2008 is still the best attended in history.

−25 Postdocs at RU (some of whom have gone on to verysuccessful careers).



Rewriting history: A gedanken experiment

What would CS at RU be without ICE-TCS?


The red pill: ICE-TCS in the future

“Det er svært at spa — især om fremtiden.”



Soviet time frame: “Fighting entropy (reloaded)”

The algorithms group will continue being hyper productive.

The work of the Permuta Triangle goes viral.

Work on programming language semantics increases itsimpact (both locally and internationally).

The concurrency group might survive its four ongoing projects.


https://permutatriangle.github.io/


Ten years: The fellowship of the blue pill?



Thank you!


ice-tcs in one pill

Documents