Max-Planck-Institut für Informatik Saarland Informatics Campus Campus E1 4 66123 Saarbrücken Location E1 4 - 514 Phone +49 681 9325 3528 Fax +49 681 9325 5719 E-mail dzeynali@mpi-inf.mpg.de Personal Information [...] Selected as RIPE fellow in RIPE79, Rotterdam, Netherland 13-18 Oct, 2019 Recent Positions Okt 2020 - to date: PhD at Research Group Internet Architecture Jan 2019- Aug 2020: Core Engineer at MTN Irancell [...] Jun 2009- Sep 2009: Intern atIran Telecommunication Research Center, Tehran, Iran. Education 2012 - 2015: Master of Informationtechnology at Sharif University of Technology, Tehran, Iran. 2007-2012: Bachelor
Departments Automation of Logic Teaching Summer 2019 Decision Procedures Decision Procedures (2+2), 6LP - Summer 2019 Lecturer Christoph Weidenbach Marco Voigt Start First Meeting (Date Changed!): When: Thursday [...] Lecture/Tutorial times will be discussed with all participants in the first meeting. Lecture: Tuesday, 18 - 20 s.t. Tutorial: TBD Room 622, Building E1 5 First Meeting: Thursday, March 28, 1:30 p.m., room 630 [...] unable to do this automatically. If you have any questions, please contact Jennifer Müller . Literature - Preliminaries: Some Sections from Automated Reasoning I: arI.pdf 09.04.2019: Slides 16.04.2019: Slides
Home News & Events 25th Anniversary Symposium MPI-INF 25th Anniversary – Scientific Symposium Location: Günter Hotz Lecture Hall, Campus E2.2, Saarland University, 66123 Saarbrücken, Germany Program 24 [...] Algorithms, and the MPII 16:40 Coffee Break 17:10 Leif Kobbelt RWTH Aachen From Quad Meshes to Quad Layouts – Advances in the Optimization of 3D Models 17:50 Tony de Rose Pixar Animation Studios How Mathematics [...] Research Machines that learn to see 09:40 Wolfgang Heidrich KAUST Computational Imaging and Display – Hardware-Software Co-design for Imaging Devices 10:20 Fabian Suchanek Télécom ParisTech A Hitchhiker's
Hannover in 3D – Forscher visualisieren gigantische Datenmengen in Echtzeit CeBIT 2009: Hannover in 3D – Forscher visualisieren gigantische Datenmengen in Echtzeit CeBIT 2009: Hannover in 3D – Forscher vi [...] Science at Saarbrücken facilitates access to relevant viral sequence data. CeBIT 2009: Hannover in 3D – Forscher visualisieren gigantische Datenmengen in Echtzeit CeBIT 2009: Blitzschnell Bilder im Internet
rant Hardware Distributed Computing is concerned with systems in which communication – as opposed to computation – is the main obstacle to solving a given task fast. It also addresses the issue of fau [...] s design paradigm offers many advantages and is therefore the de facto standard in hardware design – up to the point at which systems become too large to be efficiently clocked by a single clock tree. [...] Program Model Checking for Hybrid Systems Dealing with Selfishness in Optimization Quantifier Elimination – Statements Can Also Be Calculated
and Interactive Techniques (ACM SIGGRAPH) – part of the world’s largest scientific association for computer science, the Association for Computing Machinery (ACM) – has named him a member of the ACM SIGGRAPH [...] selected for his foundational contributions to Perceptual Rendering – methods for image generation that are guided by human visual perception – and to High Dynamic Range Imaging, a technique that enables pa
