About
Michele Collevati is a PreDoc Researcher at TU Wien's Faculty of Informatics, affiliated with the Institute of Logic and Computation. He teaches courses such as 'Introduction to Knowledge-based Systems' and 'Introduction to Artificial Intelligence.' His research focuses on neurosymbolic AI, SAT solving, and GPU parallelism. He contributes to the LCS project (2017–2025). His work bridges symbolic AI with neural networks and computational optimization.
- Education: Not explicitly stated in provided texts.
Research interests include neurosymbolic integration, knowledge representation, and parallel computing for AI. His 2024 work on slice discovery via neurosymbolic AI exemplifies his focus on hybrid systems. Earlier work explored GPU-based optimizations for SAT solvers, reflecting an interest in computational efficiency.
No scientific awards are mentioned. No advised students listed.
Labs/Teams: Likely involved with the Institute of Logic and Computation's research groups, though specific lab names are not provided.
Find Michele Collevati elsewhere
Related Searches
You Might Also Like
- NNelson Nicolas Higuera RuizVienna University of Technology · Researcher
Thomas EiterVienna University of Technology · Professor- TTianwei ZhangVienna University of Technology · Researcher
- CClemens EisenhoferVienna University of Technology · Researcher
Johannes OetschVienna University of Technology · Researcher- UUwe EglyVienna University of Technology · Associate Professor