Nicola Gigante

Researcher (RTD/a) at the University of Bozen, Italy @unibz. This profile is on hold. Please do yourself a favour and quit using this platform.

[Nicola Gigante @gignico]

So it’s been a while now that I’m pondering this choice, and it’s time to do it. I’m quitting Twitter/X. If anybody cares, here’s a short thread on why. 1/n

[Nicola Gigante @gignico]

So this is it. So long, and thanks for all the fish. 7/7

[Nicola Gigante @gignico]

So it’s been a while now that I’m pondering this choice, and it’s time to do it. I’m quitting Twitter/X. If anybody cares, here’s a short thread on why. 1/n

[Nicola Gigante @gignico]

Because by keeping using this “service” we are feeding an insane propaganda machine that is actively hurting our society. I’ll go somewhere else looking for news and networking. Do yourself a favour and do the same! 6/n

[Nicola Gigante @gignico]

@fernandaedi I don’t know anything about linguistics but 1) congratulations and 2) please tell me the name of the font you used in the title 😱

[Nicola Gigante @gignico]

What’s your favourite paper title style?

[Nicola Gigante @gignico]

@TaliaRinger Meanwhile the mom of the typical Italian guy calls to him through the window when the lunch is ready 😂

[Nicola Gigante @gignico]

Time to write a good paper!

[Einar Broch Johnsen @ebjohnsen]

FM2026 will be in Tokyo, May
2026!

[Formal Methods 2026 @FMsymp]

#FM2024 officially started 🚀

Check out today's exciting program ➡️ https://t.co/c0z2eGh7NV

[Nicola Gigante @gignico]

@filippie509 @edzitron Almost. Equity can be sold.

[Nicola Gigante @gignico]

@lorisdanto If you mean industrial success stories, I may not be the best to ask to, because I’m mostly a theoretician in this area :)

[Type Theory Forall @ttforall]

Today @icfp_conference starts strong with an amazing keynote by @nikivazou on Refinement Types

[Martin Bauer @martinmbauer]

We didn’t

[Gary Marcus @GaryMarcus]

This half-assed lightsaber battle captures almost everything that is wrong with (most) AI art in one short video:

1. It is entirely derivative
2. The original artists have been totally ripped off
3. It sucks. Nobody would have watched Star Wars if the battles were this pathetic.

[Luca Aceto @aceto_luca]

Best Italian PhD Thesis Award in Theoretical Computer Science 2024 to Nicola Cotumaccio (Gran Sasso Science Institute) for his thesis "Data Compression Meets Automata Theory", supervised by Nicola Prezza, Travis Gagie and Catia Trubiani. See
https://t.co/UNGBQm4zIa Kudos!

[Università di Udine @uniud]

🤺 Da #Paris2024 a Uniud: Giulia Rizzi, campionessa olimpica e studentessa dell’Ateneo, incontra il Magnifico Rettore

La schermitrice, oro nella spada a squadre a Parigi, ha ricevuto i più sentiti complimenti per la vittoria alle #Olimpiadi.

➡️ https://t.co/cP2LhubStf