University Assistant, Dott.mag. Institute of Logic and Computation Knowledge-Based Systems Group TU Wien Favoritenstraße 9–11 1040 Wien, Austria Room: HA0309 Email: ta.ca.neiwutnull@itavelloc.elehcim Website: https://informatics.tuwien.ac.at/people/michele-collevati

 

Research Interests
Artificial Intelligence, Knowledge Representation and Reasoning, Answer Set Programming, Machine Learning

Current Position
I am a PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, within the Knowledge-Based Systems group under the supervision of Prof. Thomas Eiter.

Education
MSc in Computer Science from the University of Udine, Italy
MSc in Computer Science from the University of Udine, Italy

Publications

For an up-to-date list of publications, please visit TU Wien Informatics | Michele Collevati.

Michele Collevati, Agostino Dovier, Andrea Formisano: GPU parallelism for SAT solving heuristics. 37th Italian Conference on Computational Logic (CILC 2022): 17-31