Matthias Lanzinger
@mlanzinger.bsky.social
Assistant Professor TU Wien, previously Uni of Oxford | Research in #databasetheory, #AI & #GNNs
Reposted by Matthias Lanzinger
Hallo Bluesky-Community!
Die TU Wien teilt ab sofort spannende News zu Forschung und Wissenschaft hier auf Bluesky.
Bild c_Matthias Heisler
Die TU Wien teilt ab sofort spannende News zu Forschung und Wissenschaft hier auf Bluesky.
Bild c_Matthias Heisler
March 3, 2025 at 7:49 AM
Hallo Bluesky-Community!
Die TU Wien teilt ab sofort spannende News zu Forschung und Wissenschaft hier auf Bluesky.
Bild c_Matthias Heisler
Die TU Wien teilt ab sofort spannende News zu Forschung und Wissenschaft hier auf Bluesky.
Bild c_Matthias Heisler
Reposted by Matthias Lanzinger
New paper: Simulating Time With Square-Root Space
people.csail.mit.edu/rrw/time-vs-...
It's still hard for me to believe it myself, but I seem to have shown that TIME[t] is contained in SPACE[sqrt{t log t}].
To appear in STOC. Comments are very welcome!
people.csail.mit.edu/rrw/time-vs-...
It's still hard for me to believe it myself, but I seem to have shown that TIME[t] is contained in SPACE[sqrt{t log t}].
To appear in STOC. Comments are very welcome!
people.csail.mit.edu
February 21, 2025 at 10:19 PM
New paper: Simulating Time With Square-Root Space
people.csail.mit.edu/rrw/time-vs-...
It's still hard for me to believe it myself, but I seem to have shown that TIME[t] is contained in SPACE[sqrt{t log t}].
To appear in STOC. Comments are very welcome!
people.csail.mit.edu/rrw/time-vs-...
It's still hard for me to believe it myself, but I seem to have shown that TIME[t] is contained in SPACE[sqrt{t log t}].
To appear in STOC. Comments are very welcome!
Reposted by Matthias Lanzinger
The (soft) deadline for this position is on Friday.
February 17, 2025 at 7:16 AM
The (soft) deadline for this position is on Friday.
1/ 📢 Excited to share our new paper: “Soft and Constrained Hypertree Width” – a step forward in optimizing database queries by introducing a flexible, and effective hypergraph decomposition framework. 🧵 arxiv.org/pdf/2412.11669
December 20, 2024 at 8:38 AM
1/ 📢 Excited to share our new paper: “Soft and Constrained Hypertree Width” – a step forward in optimizing database queries by introducing a flexible, and effective hypergraph decomposition framework. 🧵 arxiv.org/pdf/2412.11669
Reposted by Matthias Lanzinger
Open Tenure Track Positions at the University of Vienna! 👨🔬 👩🔬
#univie is currently accepting applications for several
#tenuretrack positions across a range of disciplines. 🧪 🏛
Work with us to find answers to the questions for tomorrow. 🔍 ⤵ #academicsky
jobs.univie.ac.at/go/Tenure-Tr...
#univie is currently accepting applications for several
#tenuretrack positions across a range of disciplines. 🧪 🏛
Work with us to find answers to the questions for tomorrow. 🔍 ⤵ #academicsky
jobs.univie.ac.at/go/Tenure-Tr...
We use cookies to offer you the best possible website experience. Your cookie preferences will be stored in your browser’s local storage. This includes cookies necessary for the website's operation.
jobs.univie.ac.at
December 6, 2024 at 9:46 AM
Open Tenure Track Positions at the University of Vienna! 👨🔬 👩🔬
#univie is currently accepting applications for several
#tenuretrack positions across a range of disciplines. 🧪 🏛
Work with us to find answers to the questions for tomorrow. 🔍 ⤵ #academicsky
jobs.univie.ac.at/go/Tenure-Tr...
#univie is currently accepting applications for several
#tenuretrack positions across a range of disciplines. 🧪 🏛
Work with us to find answers to the questions for tomorrow. 🔍 ⤵ #academicsky
jobs.univie.ac.at/go/Tenure-Tr...
Reposted by Matthias Lanzinger
Happy to share my recent interview with TU Wien Informatics, where I discuss algorithms, social network analysis, and the beauty of theoretical computer science.
Check it out here: informatics.tuwien.ac.at/news/2713
#TCS #Algorithms #SocialNetworks
Check it out here: informatics.tuwien.ac.at/news/2713
#TCS #Algorithms #SocialNetworks
#5QW: Stefan Neumann
“It’s important to understand networks in terms of what’s going on within them and how they influence our behaviors, relationships, and societal structures.”
informatics.tuwien.ac.at
December 2, 2024 at 3:20 PM
Happy to share my recent interview with TU Wien Informatics, where I discuss algorithms, social network analysis, and the beauty of theoretical computer science.
Check it out here: informatics.tuwien.ac.at/news/2713
#TCS #Algorithms #SocialNetworks
Check it out here: informatics.tuwien.ac.at/news/2713
#TCS #Algorithms #SocialNetworks
Reposted by Matthias Lanzinger
The PCP theorem, a jewel of theoretical computer science, establishes that any NP statement can be assessed by a randomized verifier who only checks a vanishing fraction of the proof (indeed, a constant # of characters!)
This has had incredible impact, most notably on how ML reviews are conducted
This has had incredible impact, most notably on how ML reviews are conducted
November 26, 2024 at 5:33 AM
The PCP theorem, a jewel of theoretical computer science, establishes that any NP statement can be assessed by a randomized verifier who only checks a vanishing fraction of the proof (indeed, a constant # of characters!)
This has had incredible impact, most notably on how ML reviews are conducted
This has had incredible impact, most notably on how ML reviews are conducted
Emily and I have been working towards this moment for years. Two big papers just to set up one obscure reference to 90s hip-hop. Feeling proud to have finally achieved it.
November 25, 2024 at 11:31 AM
Emily and I have been working towards this moment for years. Two big papers just to set up one obscure reference to 90s hip-hop. Feeling proud to have finally achieved it.