معرفی
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.
Michele Collevati در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- NNelson Nicolas Higuera RuizVienna University of Technology · پژوهشگر
Thomas EiterVienna University of Technology · استاد- TTianwei ZhangVienna University of Technology · پژوهشگر
- CClemens EisenhoferVienna University of Technology · پژوهشگر
Johannes OetschVienna University of Technology · پژوهشگر- UUwe EglyVienna University of Technology · دانشیار