Algorithms and Complexity Group at TU Wien @ac_tuwien
Algorithms and Complexity Group | Institute of Logic and Computation | Faculty of Informatics | TU Wien Joined February 2021-
Tweets30
-
Followers47
-
Following11
-
Likes46
Traditional Autumn Hike of the Algorithms and Complexity group @tu_wien trough the wine yards with great weather and good mood 😎
We have an open position for a 2-year postdoc on SAT solving at our Algorithms and Complexity group at @tuvienna. Find details at ac.tuwien.ac.at/jobs/#postdocs… #Postdocs
We have an open position for a 4-year PhD position on Neurosymbolic Algorithmics at our Algorithms and Complexity group at @tuvienna. The position is within the Cluster of Excellence Bilateral AI. Find details at ac.tuwien.ac.at/jobs/#neurosymb #PhDposition
The appetizer video to our article The Silent (R)evolution of SAT in the Communications of the ACM, June 2023, doi.org/10.1145/3560469 (Open Access) Propositional Satisfiability (SAT) has been a cornerstone of computational complexity theory; now, it has become a central target…
Friedrich Slivovsky opens the SAT 2023 Conference in the beautiful Alghero, Sardinia. I’m happy to see my former student taking the relay 13 years after myself cochairing the conference @thesatconf
Nice to see that our survey article "The Silent (R)evolution of SAT" is receiving broad interest, with over 30k downloads in the first week of publication. Communications of the ACM, June 2023 dl.acm.org/doi/10.1145/35… @CACMmag
Congratulations to André Schidler, who successfully defended his PhD thesis "Scalability for SAT-based combinatorial problem solving" today. Thanks to the evaluation committee (Armin Biere, Daniel Le Berre, João Marques-Silva, and Nysret Musliu). #phdlife
Congratulations to Vaidyanathan P.R., who successfully defended his PhD thesis Scalable Bayesian Network Structure Learning using SAT-based Methods today. Thanks to the evaluation committee (Christian Fermüller, Pekka Parviainen, Martina Seidl, and Sebastian Ordyniak). #phdlife
Interested in set visualizations? We are running an online study on the usability of different linear set diagrams. Spend 15-20 mins of your time and help us find out what works best. metrosets.ac.tuwien.ac.at/survey/index.p…
Join us this Thursday July 28 at 4pm for #LogicLounge 2022 with AI expert Stuart Russell. This is a free public event and you do not require a background in the field! hosted by @vclaTUwien and @caimlTUwien as part of #IJCAI2022 in #Vienna bit.ly/3b0pyvD
Join us this Thursday July 28 at 4pm for #LogicLounge 2022 with AI expert Stuart Russell. This is a free public event and you do not require a background in the field! hosted by @vclaTUwien and @caimlTUwien as part of #IJCAI2022 in #Vienna bit.ly/3b0pyvD
Looking forward to the pre-@FLoC2022 workshop on Logic-Based Methods in Machine Learning (LMML), July 31, with an exciting lineup of talks, covering 1⃣learning interpretable ML models 2⃣computation of explanations for ML models 3⃣verification of ML models ac.tuwien.ac.at/LMML2022/
Congratulations to our team (@tu_wien TUW) for winning bronze in the Int. Workshop on Logic & Synthesis (IWLS'22) programming contest for logic circuit minimization. The QBF-based approach scored the largest number of problem wins in the node counts. iwls.org/iwls2022/🥉
Effective as of today, Robert Ganian is a tenured Associate Professor at @ac_tuwien. We are delighted to have Robert in our group. Congratulations!
I'm looking forward to hosting the Vienna Gödel Lecture 2022 on June 9. The speaker is Toby Walsh, who will talk about Machines Behaving Badly. Join us in person at @tu_wien or by live stream ➡️ informatics.tuwien.ac.at/news/2204 📺 youtu.be/OFMc1oppZ_E #AI #MachineLearning #Algorithms
We just updated the group picture on our website (after a long wait because of the pandemic) with several new faces 😀 ac.tuwien.ac.at #Algorithms #phdlife @tu_wien @informatik_at @vclaTUwien @FWF_at @WWTF @StefanSzeider @MNollenburg
Techlaw @TechLaw2025
4 Followers 419 Following Somos 🇪🇸 Colaboradores por cuenta propia en 🖥️🕸️⌨️🖱️ Tech & ⚖️Lleis por AliyaGG "CYBERDIGIWE" ", NEUIWIEU"
Sara Di Bartolomeo @sara_picorana
194 Followers 236 Following Postdoc in data visualization at the University of Konstanz -- previously at Northeastern University
Nozellot 🇦🇹 �... @nozellot
63 Followers 456 Following math/cs/philosophy enthusiast; between social ordoliberalism, sentialist transhumanism and e/acc; Zionist, Globalist, Absurdist, Egalitarian, Catholic;
Dmitry Negoda @DmitryNegoda79
96 Followers 246 Following High Performance Computation. Algorithms, GPU, Cryptography. Live and let live.
Lukáš Pravda @lukprav
4 Followers 165 Following
Matthias Lanzinger @mat_lanzinger
50 Followers 71 Following Assistant Professor @tuvienna, previously @UniofOxford | Research in #databasetheory & #GNNs
Jorge J. Rodriguez @RodRevJJ
60 Followers 356 Following PhD student in Computer Science at University of Málaga. ITIS Software. KHAOS Research Group. https://t.co/k7MxseEcog
caimlTUwien @caimlTUwien
308 Followers 351 Following Center for Artificial Intelligence and Machine Learning at TU Wien @tuvienna
Databases & Artificia... @dbai_tuwien
47 Followers 23 Following Databases and Artificial Intelligence Group | Institute of Logic and Computation | Faculty of Informatics | TU Wien
Skills in Time @skillsintimex
1K Followers 3K Following We live under an Einstein-Rosen Bridge simulation, we are all trolls and can’t communicate without emojis. Time to level up!
edeegoo @douebs
231 Followers 6K Following algorithm, complexity, tcs, mma, history, politics. bust brainless CEOs/VCs/prof.s. NYU alumni.
Libe4488 @libe4488
14 Followers 397 Following
Stefan Neumann | @ste... @StefanResearch
656 Followers 449 Following Assistant professor @tu_wien. Previously @KTHuniversity, @univienna. Interested in social network analysis & graph algorithms. Connecting theory 🤝 practice.
Ratan Thapa @ratanBT
16 Followers 99 Following Postdoc at the institute of artificial intelligence, University of Stuttgart
Viking @1nquisitour
63 Followers 753 Following Seeing things as they are, not as what they might be.
jobrot @JonasBrottrager
4 Followers 168 Following
PHM Design LLC @PHMDesignLLC
700 Followers 3K Following Providing systems engineering and predictive analytics services. https://t.co/xvMyomD5OF https://t.co/NlPxWg4EUK https://t.co/RkHq1JDdmj https://t.co/qJclNSMBge https://t.co/hskLLnnP7A
OmariShitsukane @omari8808
475 Followers 1K Following Data scientist|Farmer|Philosopher|Finance|Economist|Research and Market analyst|Mathematician
ek @mrhkzltn
2 Followers 27 Following
向芷良 Zhiliang (L... @Mexicer
74 Followers 560 Following PhD student @cardiff_krr @CompScienceCU, ex interns @jouhouken @IROHMS. Love KRR/Integration of KR and Learning. Tryna-be competitive 🎾 player.
Stefan Ciobaca @ciobaca
50 Followers 651 Following
Tobias Geibinger @tlyphed
59 Followers 670 Following I do (theoretical) computer science and logic. he/him
Johannes Felzmann @jfelzmann_
4 Followers 24 Following computer sience student (logic and computation) // swim bike run nerd // coffee fanatic // #passionneverfails
Luis Minero @chuchipepi
118 Followers 775 Following
Matthew Johnson @Matthew694129
207 Followers 642 Following
K Prahlad Narasimhan @pranarkas
83 Followers 78 Following PhD student @stonybrooku. I study algorithmic graph theory and computational geometry. To keep myself sane, I run, hike, and take pictures of things.
Ⱥlgorand Central Eur... @AlgoDACH
2K Followers 2K Following This is the Ⱥlgorand Hub for the Central Europe Region | DACH + Nordic + BeNeLux + CEE
Bo Li @BoLi69014906
5 Followers 126 Following
Dominik @broetchen42
8 Followers 91 Following medical student and clinical research assistant enthusiastic about emergency medicine, molecular biology and open source software
Ooji Goola @RoodxJs
8 Followers 2K Following
WIEN WISSEN @wien_wissen
5K Followers 2K Following Das Wissensmagazin der #StadtWien. Das Wichtigste aus #Wissenschaft, #Forschung und #Bildung.
text6 @six_fingertext
44 Followers 1K Following
FWF @FWF_at
7K Followers 718 Following News from the Austrian Science Fund (FWF), Austria's central funding organization for basic research.
TU Wien @tu_wien
11K Followers 208 Following Mit rund 26.000 Studierenden ist die TU Wien Österreichs führende Bildungsinstitution auf den Gebieten Naturwissenschaft und Technik.
HCI Group @ TU Wien @igw_hci
421 Followers 71 Following The HCI group at @Tuvienna seeks an impact in society through interdisciplinary work that crosses technical sciences, humanities, and designerly approaches.
Sibylle Möhle @MohleSibylle
43 Followers 72 Following Doing research in first-order logic as well as in propositional model counting and enumeration; with a weakness for rock, ice, and the 3rd dimension.
Magdalena Ortiz 🇺�... @magdalenaosimk
286 Followers 659 Following
Michael Kiran Huber @mikhub_
225 Followers 713 Following 24, vienna+tirol, studying logic&computation @tuvienna, curious about the impact of technology on society | https://t.co/mOMDEib9Aq
Name can be blank. @DavidFischak
545 Followers 3K Following
Stefan Szeider @StefanSzeider
677 Followers 156 Following So long, Twitter. Time to log off for good. Find me on Bluesky https://t.co/f2oRpM7cHd
VCLA at TU Wien @vclaTUwien
2K Followers 815 Following Vienna Center for Logic and Algorithms at TU Wien @tuvienna #ERC #MSCA #FWF funded #LogiCS Phd & @adaalgorithmen * https://t.co/zfSpKVdzoO
Martin Nöllenburg @MNollenburg
82 Followers 235 Following Professor at @tu_wien @vclaTUwien • computer scientist • algorithms, graphs, maps, geometry, visualization
Peter @peter1schueller
122 Followers 385 Following AI researcher, Space Enthusiast, YouTuber EN Channel: https://t.co/2XX4cvzvLo DE Channel: https://t.co/PwJH8JG5QM
Armin Biere @ArminBiere
946 Followers 217 Following
Peter @peter1schueller
122 Followers 385 Following AI researcher, Space Enthusiast, YouTuber EN Channel: https://t.co/2XX4cvzvLo DE Channel: https://t.co/PwJH8JG5QM
ISTAustria @ISTAustria
11K Followers 2K Following We will stop posting on X by April 30, 2025. Follow our new Bluesky account for our latest breakthroughs: https://t.co/TkB8XAjkog
TU Wien @tu_wien
11K Followers 208 Following Mit rund 26.000 Studierenden ist die TU Wien Österreichs führende Bildungsinstitution auf den Gebieten Naturwissenschaft und Technik.
Martin Nöllenburg @MNollenburg
82 Followers 235 Following Professor at @tu_wien @vclaTUwien • computer scientist • algorithms, graphs, maps, geometry, visualization
FWF @FWF_at
7K Followers 718 Following News from the Austrian Science Fund (FWF), Austria's central funding organization for basic research.
EATCS @eatcs_secretary
680 Followers 72 Following European Association for Theoretical Computer Science
VCLA at TU Wien @vclaTUwien
2K Followers 815 Following Vienna Center for Logic and Algorithms at TU Wien @tuvienna #ERC #MSCA #FWF funded #LogiCS Phd & @adaalgorithmen * https://t.co/zfSpKVdzoO
HCI Group @ TU Wien @igw_hci
421 Followers 71 Following The HCI group at @Tuvienna seeks an impact in society through interdisciplinary work that crosses technical sciences, humanities, and designerly approaches.
Stefan Szeider @StefanSzeider
677 Followers 156 Following So long, Twitter. Time to log off for good. Find me on Bluesky https://t.co/f2oRpM7cHdTrends for United States
You might like
