11116/0000-000F-D70C-2 %I Universität des Saarlandes %C Saarbrücken %D 2024 %P 69 p. %V master %9 master PuRe BibTeX 2023 3 Conference paper D2 S. Rao, M. Böhle, A. Parchami-Araghi, and B. Schiele [...] looking for explicit design choices that can make them more interpretable. Previously, I studied my Master's in Visual Computing at Saarland University, while working here at D2 as a Research Assistant (Hiwi)
) Abduction and Prime Implicates, from Propositional Logic to Equational Logic , Sophie Tourret, Master thesis, Grenoble INP - Ensimag, 2012 ( pdf ) Activities conference-related program committee chair: [...] at the NII , in Inoue lab 2012-2016, PhD student at the LIG and UGA , in the CAPP team 2009-2012, Master (engineering) student at Grenoble INP - Ensimag
Max Planck Institute for Informatics, Universität des Saarlandes, Saarbrücken, Germany 2019 - 2024: Master of Technology in Computer Science (5-year Integrated), University of Hyderabad, Hyderabad, India
machine learning and computational manufacturing. Strong applicants with a master degree (or those approaching the end of their master studies) in computer science or related fields are encouraged to apply
preparation of your talk will require non-trivial effort. The target audience of this seminar are master students, PhD students, as well as postdocs. Deadlines: TBA Description Human beings live in a social
January 2018 - January 2021 Web Developer, Lapsus Next, Mumbai Education October 2021 - March 2024 Master of Science in Cyber Security, Universität des Saarlandes October 2016 – October 2020 Bachelor of
Research Departments Automation of Logic Teaching Teaching Lectures and seminars offered by our group: Winter 2024/2025 Course Course Type Teacher/Tutor Automated Reasoning Lecture Christoph Weidenbac
