Loris Dal Lago @_sid_aa_

Cles, TN Joined August 2013

Tweets

12
Followers

27
Following

379
Likes

26

... we left @eubulide

6 years ago

Mathematics is a creation of the human mind: the fact that no system of axioms is complete doesn't imply either the existence of a Platonic universe of ideas nor metaphysical powers for the human mind.

Brian Greene @bgreene

6 years ago

43 375 1K 0 13

Download Image

0 1 1 0 0

Edward Kmett @kmett

10 years ago

Springer has made a lot of my favorite math books available online, for free! Everything that is 10 years old. link.springer.com/search?facet-s… o_O

10 332 442 0 0

Loris Dal Lago @_sid_aa_

10 years ago

Finally Netflix hit Italy and I just noticed! Couldn't help but subscribe, merry Xmas to me!!!

0 0 0 0 0

Loris Dal Lago @_sid_aa_

10 years ago

A language with no types is a language with no love #dontprogramwithoutthem

0 0 0 0 0

Loris Dal Lago @_sid_aa_

10 years ago

This woman is just so much a whirlpool of wisdom youtube.com/watch?v=qjbk-F…

0 0 0 0 0

Loris Dal Lago @_sid_aa_

10 years ago

I don't know why haven't I come across this before but that's a nice conf website! slideslive.com/watch

0 0 0 0 0

Loris Dal Lago @_sid_aa_

11 years ago

Lesson of the week: knowing how to use words can make your life a lot easier #nusmv

0 0 0 0 0

Loris Dal Lago @_sid_aa_

11 years ago

"Don't just consume things, learn things". Thanks #BarakObama. And let that be the world's mantra. youtube.com/watch?v=JDw1ii…

0 0 0 0 0

TEDxTrento @TEDxTrento

11 years ago

Un caro saluto ai nostri amici che ci stanno seguendo da #Cles #TEDxTrento #movember #creatività #diversità

0 2 1 0 0

Download Image

The Ellen Show @TheEllenShow

11 years ago

For the 1st time ever, a woman has won the Fields Medal for math! Congratulations, Maryam Mirzakhani! You really gave it 135%.

161 2K 6K 0 1

The Ellen Show @TheEllenShow

12 years ago

If only Bradley's arm was longer. Best photo ever. #oscars

164K 2.6M 1.9M 0 6K

Download Image

smyslenny @smyslenny231329

46 Followers 4K Following

Jess @nagamotosh41264

41 Followers 4K Following

Thateigh @Thateigh242207

43 Followers 1K Following

Maggie @Phoshe152837

48 Followers 1K Following

Diego Marmsoler @DiegoMarmsoler

115 Followers 125 Following

Yungshuku @yungshuku

63 Followers 359 Following Football

Associate Professor of Computer Science at CU-Boulder (@cuplv): program analysis, programming languages, secure and reliable software, verification.

Bor-Yuh Evan Chang @bechang

603 Followers 392 Following Associate Professor of Computer Science at CU-Boulder (@cuplv): program analysis, programming languages, secure and reliable software, verification.

QONFEST is the umbrella conference comprising the joint international 2020 meetings: CONCUR2020, FMICS2020, FORMATS2020, QEST2020,
alongside with many workshops

QONFEST2020 @qonfest2020

184 Followers 1K Following QONFEST is the umbrella conference comprising the joint international 2020 meetings: CONCUR2020, FMICS2020, FORMATS2020, QEST2020, alongside with many workshops

Research network focussing on verification of autonomous systems. Distributed across several universities
Led by Prof. Michael Fisher. Tweets by @MattLuckcuck

A and V Network @AandVNetwork

609 Followers 1K Following Research network focussing on verification of autonomous systems. Distributed across several universities Led by Prof. Michael Fisher. Tweets by @MattLuckcuck

SEFM Conference @sefm_conf

284 Followers 386 Following International Conference on Software Engineering and Formal Methods #sefm #sefm23

Formal Methods 2026 @FMsymp

660 Followers 243 Following The 27th International Symposium on Formal Methods. #FM2026

Jenifer @Cokestudio01

121 Followers 891 Following

Associate Professor. Compilers, Constraint Programming, Performance Programming, Hardware Design.
https://t.co/Oq28Vv4UP8

Tobias Grosser @Tobias_Grosser

2K Followers 4K Following Associate Professor. Compilers, Constraint Programming, Performance Programming, Hardware Design. https://t.co/Oq28Vv4UP8

MSTA @MSTA_VTeX

50 Followers 399 Following Highest quality journal of modern stochastics.

Musketeer Chess new game. No opening theory more fun new tactics & strategies. New pieces #chess #ajedrez #schach #schaken #شطرنج #チェス #шахматы #schaak

Musketeer Chess @musketeerchess

23K Followers 7K Following Musketeer Chess new game. No opening theory more fun new tactics & strategies. New pieces #chess #ajedrez #schach #schaken #شطرنج #チェス #шахматы #schaak

Alex Martinelli @5agado

5K Followers 993 Following Senior Data Scientist @Zalando Previously @IBMWatson. CV + Generative-Models. Proceduralism in Blender

Tinky Raj @TinkyRaj

917 Followers 3K Following Front-End Developer| Looking for Job..

Professor of AI @lborouniversity
Neural Information Processing, Retrieval & Modelling, NLP, LLM Learning & Unlearning, AI Ethics, AI in Health &Social Care

Georgina Cosma @gcosma1

16K Followers 16K Following Professor of AI @lborouniversity Neural Information Processing, Retrieval & Modelling, NLP, LLM Learning & Unlearning, AI Ethics, AI in Health &Social Care

manoj pathak @manojpathak01

28 Followers 546 Following manoj pathak from: new generation

Da 30 anni realizziamo #tour su misura in #Oriente rivolti ai viaggiatori attenti agli usi, alle tradizioni e curiosità dei paesi che intendono visitare.

Mikrotour @Mikrotour

141 Followers 1K Following Da 30 anni realizziamo #tour su misura in #Oriente rivolti ai viaggiatori attenti agli usi, alle tradizioni e curiosità dei paesi che intendono visitare.

Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi

Talia Ringer 💚 @TaliaRinger

29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi

INT |oo:oi|lo:oi| @SirElrik

229 Followers 1K Following Fуузр Вон Атсландофф

vita d'arienzo @vitadarienzo

5 Followers 68 Following

julis @julis_asd

7 Followers 30 Following XD

Martino Ciresa @MartinoCiresa

9 Followers 30 Following IT bachelor, music and mountain lover

Michael Tong @MichaelHaoTong

8 Followers 89 Following Oh, yes?

Ivo Chiesa @IvoChiesa

13 Followers 8 Following

Applying category theory and type theory towards enabling machine learning models capable of structured reasoning. Join us: https://t.co/ulK1QuZiry

Symbolica @symbolica

2K Followers 0 Following Applying category theory and type theory towards enabling machine learning models capable of structured reasoning. Join us: https://t.co/ulK1QuZiry

Synthical @synthical_ai

514 Followers 2 Following App to supercharge your research

International Conference on Fundamental Approaches to Software Engineering. A member conference of @ETAPSconf.
https://t.co/cSrjqFLj2C

Fundamental Approache... @FaseConf

132 Followers 49 Following International Conference on Fundamental Approaches to Software Engineering. A member conference of @ETAPSconf. https://t.co/cSrjqFLj2C

Simon Prince @SimonPrinceAI

10K Followers 327 Following Professor of Computer Science, University of Bath

This is the official X account for the Scottish Programming Languages Institute (https://t.co/CgXIiythVF). Tweets by @simon_jf

Scottish Programming ... @scottish_pli

116 Followers 3 Following This is the official X account for the Scottish Programming Languages Institute (https://t.co/CgXIiythVF). Tweets by @simon_jf

K-Theory @KristapsBalodi3

1K Followers 156 Following He/Him, Mathematician, Musician, hot and fresh out the kitchen.

Lecturer (Assistant Professor) at University of Manchester | Making Formal Methods better and more practical

👩‍🎓👨‍🎓 Looking for PhD students!

Dominik Winterer @DominikWinterer

1K Followers 649 Following Lecturer (Assistant Professor) at University of Manchester | Making Formal Methods better and more practical 👩‍🎓👨‍🎓 Looking for PhD students!

The Quantum Internet Alliance (QIA) is a team of world-leading research institutes & industry actors building a global Quantum Internet made in Europe.

Quantum Internet Alli... @eu_qia

4K Followers 48 Following The Quantum Internet Alliance (QIA) is a team of world-leading research institutes & industry actors building a global Quantum Internet made in Europe.

Our Vision is to be the pre-eminent community developing the mathematical underpinnings of information technology for the benefit of humanity.

IEEE Information Theo... @ieee_itsoc

2K Followers 300 Following Our Vision is to be the pre-eminent community developing the mathematical underpinnings of information technology for the benefit of humanity.

SoSyM Journal @sosym_journal

903 Followers 39 Following see https://t.co/zd9YOPChxP

Professor of Computer Science at Ruhr University Bochum, DE. Chalmers|University of Gothenburg, SE, UWaterloo, CA; ITU CPH, DK; ULeipzig, DE.

https://t.co/NmfHY6793j

Thorsten Berger (tber... @thorsten_berger

671 Followers 315 Following Professor of Computer Science at Ruhr University Bochum, DE. Chalmers|University of Gothenburg, SE, UWaterloo, CA; ITU CPH, DK; ULeipzig, DE. https://t.co/NmfHY6793j

AISTATS Conference @aistats_conf

4K Followers 179 Following 27th International Conference on Artificial Intelligence and Statistics. AISTATS 2024.

The expert network for model-driven engineering. Join us if you are interested in making software development more productive and accessible to domain experts.

MDE Network @the_mde_network

684 Followers 1K Following The expert network for model-driven engineering. Join us if you are interested in making software development more productive and accessible to domain experts.

Alexis King @lexi_lambda

13K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢

The mission of the AMR is to support mathematical research and scholarship. Membership open to all : https://t.co/ft7Q5HbqD0

Association for Mathe... @AMathRes

967 Followers 250 Following The mission of the AMR is to support mathematical research and scholarship. Membership open to all : https://t.co/ft7Q5HbqD0

Theoretical Physicist, Utrecht Univ.
Author of: In Search of the Ultimate Building Blocks,
Playing with Planets, and more
(also Physics Nobel laureate, 1999)

Gerard 't Hooft @gthooft

11K Followers 50 Following Theoretical Physicist, Utrecht Univ. Author of: In Search of the Ultimate Building Blocks, Playing with Planets, and more (also Physics Nobel laureate, 1999)

IEEE RAS @ieeeras

11K Followers 12 Following IEEE Robotics and Automation Society

PhD, Founder/Security researcher at Formal Land

Formal verification for Web3. Solitity/Rust/ZK

Discuss: https://t.co/nnHMLuXje9

Guillaume Claret 🐻... @guillaumeclaret

494 Followers 623 Following PhD, Founder/Security researcher at Formal Land Formal verification for Web3. Solitity/Rust/ZK Discuss: https://t.co/nnHMLuXje9

Aws Albarghouthi 🍉... @awsTO

2K Followers 965 Following computer scientist, professor, palestinian

Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Tweets by @MattLuckcuck

FMASWorkshop @FmasWorkshop

538 Followers 1K Following Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Tweets by @MattLuckcuck

Exploring the foundations of physics & cosmology with Zeeya Merali & Gabe Fitzpatrick, of the Foundational Questions Institute, FQxI.

FQxI Physics @FQXi

20K Followers 5K Following Exploring the foundations of physics & cosmology with Zeeya Merali & Gabe Fitzpatrick, of the Foundational Questions Institute, FQxI.

Professor at the Computer Science Department (CS) of Technical University of Catalonia (UPC) in Barcelona. Research interests: theory of computation, logic.

Albert Atserias @atserias

275 Followers 636 Following Professor at the Computer Science Department (CS) of Technical University of Catalonia (UPC) in Barcelona. Research interests: theory of computation, logic.

Postdoc in the Plume team at ENS de Lyon | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity

K. Sakaguchi @pi8027

1K Followers 210 Following Postdoc in the Plume team at ENS de Lyon | Interests: interactive theorem proving, formalization of mathematics, proof by reflection, and parametricity

Official Twitter page of the Computer Science Department at ETH Zurich. Collected media and news from and about the department.

ETH CS Department @CSatETH

6K Followers 779 Following Official Twitter page of the Computer Science Department at ETH Zurich. Collected media and news from and about the department.

Researcher in computer science,
all things effects, author of the Effekt language (https://t.co/HrYL6Fvffa),
JunProf. at Uni Tübingen.
https://t.co/lvCLTiKbL1

Jonathan Brachthäuse... @__protected

821 Followers 385 Following Researcher in computer science, all things effects, author of the Effekt language (https://t.co/HrYL6Fvffa), JunProf. at Uni Tübingen. https://t.co/lvCLTiKbL1

The aim of the EPFL Blue Brain Project is to build biologically detailed digital reconstructions and simulations of the mouse brain.

EPFL Blue Brain Proje... @BlueBrainPjt

6K Followers 307 Following The aim of the EPFL Blue Brain Project is to build biologically detailed digital reconstructions and simulations of the mouse brain.

ICFP Conference @icfp_conference

4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.

Sydney Gibson 🚛 �... @sydgibs

3K Followers 318 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.

Philosopher. Published with 'Modal Homotopy Type Theory' (OUP, 2020). Published with D. Leader 'Why do people get ill?' (Penguin, 2007).

David Corfield @DavidCorfield8

2K Followers 299 Following Philosopher. Published with 'Modal Homotopy Type Theory' (OUP, 2020). Published with D. Leader 'Why do people get ill?' (Penguin, 2007).

The official Systems Engineering Research Center - DoD University Affiliated Research Center account. (Following, RTs & links ≠ endorsement) | serc@sercuarc.org

SERC UARC @SERC_UARC

124 Followers 297 Following The official Systems Engineering Research Center - DoD University Affiliated Research Center account. (Following, RTs & links ≠ endorsement) | [email protected]

DEBS is the major international conference where the latest research results and technical innovations on all aspects of Complex Event Processing are presented.

DEBS 2023 @ACM_DEBS

432 Followers 81 Following DEBS is the major international conference where the latest research results and technical innovations on all aspects of Complex Event Processing are presented.

Foresight Institute @foresightinst

10K Followers 3K Following Advancing frontier science and technology since 1986.

PL/FM/SE at Illinois @plfmse

1K Followers 49 Following Programming Languages, Formal Methods, and Software Engineering group @IllinoisCS (https://t.co/61fHOptBEa)

Bruno Gavranović @bgavran3

9K Followers 922 Following Building structured neural networks using principles from category theory.

Diego Marmsoler @DiegoMarmsoler

115 Followers 125 Following

PROBPROG 2021 @probprog

480 Followers 224 Following The International Conference on Probabilistic Programming

CVC4 is an efficient open-source SMT solver. It is a joint project led by Stanford University and the University of Iowa.

CVC4 @CVC4Solver

183 Followers 15 Following CVC4 is an efficient open-source SMT solver. It is a joint project led by Stanford University and the University of Iowa.

Columbia SLD Group @ColumbiaSld

635 Followers 644 Following System-Level Design group at Columbia University led by Professor Luca Carloni (https://t.co/UbRx6NAMU2).

UKRI TAS Verif. Node @tas_verif

137 Followers 27 Following UKRI Trusted Autonomous Systems – Verifiability Node

Subodh @subodhsharma

255 Followers 227 Following Asoc. Prof. @ IIT Delhi • Formal Verification, Concurrency, Security •

SOAP at PLDI '25 @SOAP_Workshop

153 Followers 69 Following The International Workshop on the State Of the Art in Program Analysis (SOAP), co-located with @PLDI.

seL4 is the world's first general-purpose operating system kernel with a proof of implementation correctness, now on Arm, x86 and RISC-V, open source, ...

seL4 @seL4Foundation

656 Followers 5 Following seL4 is the world's first general-purpose operating system kernel with a proof of implementation correctness, now on Arm, x86 and RISC-V, open source, ...

Ivan Di Liberti @ivandiliberti

575 Followers 1K Following Academic at Gothenburg University. Mathematician. Late millennial.

Deian Stefan @deiandelmars

1K Followers 936 Following Security & PL at UCSD, co-founder @cubistdev

Sleep & habits PhD | Creator of @Brain_Craft | @AAAS IF/THEN Ambassador

I'm not on Twitter anymore, find me on Threads @nessyhill

Dr Vanessa Hill @nessyhill

20K Followers 706 Following Sleep & habits PhD | Creator of @Brain_Craft | @AAAS IF/THEN Ambassador I'm not on Twitter anymore, find me on Threads @nessyhill

Programming Languages, engineering, electronics, Maths, proofs, books, Pokémon, Lego, animals, coffee, bread, plants, @recipl_. Personal views.

Hanneli T - hannelita... @hannelita

3K Followers 717 Following Programming Languages, engineering, electronics, Maths, proofs, books, Pokémon, Lego, animals, coffee, bread, plants, @recipl_. Personal views.

IHES is an international #research centre in #mathematics and #theoreticalphysics.
#recherche #mathématiques #physique

Institut des Hautes �... @Institut_IHES

3K Followers 207 Following IHES is an international #research centre in #mathematics and #theoreticalphysics. #recherche #mathématiques #physique

daniel gratzer @dannygratzer

1K Followers 765 Following phd student @ aarhus university. (modal) type theory, (higher) category theory. he/him. 🏳️‍🌈.

OpenAI’s mission is to ensure that artificial general intelligence benefits all of humanity. We’re hiring: https://t.co/dJGr6Lg202

OpenAI @OpenAI

4.3M Followers 3 Following OpenAI’s mission is to ensure that artificial general intelligence benefits all of humanity. We’re hiring: https://t.co/dJGr6Lg202