EMCL Graduates

Ario Santoso
Master Thesis: Automated Service Synthesis in a Weighted Framework
Position after study: PhD student within the European PhD Program in Computational Logic (EPCL)

Tewodros Awgichew Beyene
Master Thesis: Constraint-based Verification of Imperative Programs
Position after study: PhD student at the Technical University of Munich (TUM)

Marco Gario
Master Thesis: Backdoors for SAT
Position after study: PhD at Fondazione Bruno Kessler FBK University of Trento in Italy

Premchand Nutakki
Master Thesis: Specializing conjunctive queries in the EL-family for better comprehension of result sets
Position after study: Job as a Developer at SAP AG in Walldorf, Baden

Ognjen Savkovic
Master Thesis: Managing Datatypes in Ontology-Based Data Access
Position after study: PhD position at FUB, KRDB research group

Trung Kien Tran
Master Thesis: Practical algorithms for query answering in the Description Logic Horn-SHIQ
Position after study: Junior researcher at Semantics Technology and Applications Research Laboratory (STARLab), Vrije Universiteit Brussel

Seif El-Din Bairakdar
Master Thesis: Local Opimization for Multi-Context Systems with Constraint Pushing

David Buezas
Master Thesis: Constraint-based modeling of Minimum Set Covering: Application to Species Differentation
Position after study: Employed in software development, Germany

Domenico Carbotta
Master Thesis: A Practical Automata-Based Technique For Reasoning In Expressive Decription Logics
Position after study: Software Engineer at Google Zürich

Alvaro Fernandes Diaz
Master Thesis: Static Partial Order Reductions for Probabilistic Systems
Position after study: PhD student at Universidad Politécnica de Madrid

Eldora
Master Thesis: Correcting Access Restrictions: a Range-based Approach
Position after study: PhD student at TUD

Muhammad Faheem
Master Thesis: Implementation of Semantic Desktop Tool
Position after study: PhD at Telecom ParisTech

Sudeep Ghimire
Master Thesis: Reasoning with Text Annotations
Position after study: PhD student at FCT, New University of Lisbon

Luciano M. Guasco
Master Thesis: Multiple sequence alignment correction using constraints
Position after study: Job at VI-Clone Corp. in Barcelona

Umer Liqat
Master Thesis: Slicing probabilistic and reactive systems for model reduction
Position after study: Research internship at IMDEA in Madrid, later PhD in same research institute

Jing Wei Lu
Master Thesis: Extending Fuzzy Logic with Characteristics Similarity and Quantifications

Natalia Macari
Master Thesis: Analysis of a machine learning and corpus as a tool for managing the ambiguity problem of search engines

Norbert Manthey
Master Thesis: Improving SAT Solvers Using State-Of-The-Art Techniques
Position after study: PhD study at TUD

Julian Alfredo Mendez
Master Thesis: A Classification Algorithm For ELHIfR+
Position after study: PhD student at TUD

Nikoloz Pkhakadze
Master Thesis: Quantifier Elimination in Quantified Propositional Lukasievicz Logic
Position after study: Master in Economics

Evgeny Sherkhonov
Master Thesis: Reaching definability via Abduction
Position after study: PhD student and job at the University of Amsterdam in the Netherlands

Dmitry Solomakhin
Master Thesis: Logical Formalization of Semantic Business Vocabulary and Rules
Position after study: PhD position at FUB, KRDB research group

Giorgio Stefanoni
Master Thesis: Explaining Query Answers in Lightweight Ontologies: The DL-Lite Case
Position after study: PhD student at University of Oxford

Oana Tifrea
Master Thesis: Symmetry-breaking Answer Set Solving
Position after study: Project collaborator at FUB

Tri Kurniawan Wijaya
Master Thesis: Top-Down Evaluation Techniques for Modular Nonmonotonic Logic Programs
Position after study: PhD student at EPFL

Luthfi Darmawan
Master Thesis: Evaluating LTL Satisfiability Solvers
Position after study: Teacher Indonesia

Christian Drescher
Master Thesis: Symmetry Breaking for Answer Set Programming
Position after study: PhD student at NICTA and University of New South Wales Sydney

Clemens Dubslaff
Master Thesis: Fault-tolerant Message Sequence Charts
Position after study: PhD study at TUD

Mahfuza Farooque
Master Thesis: A Study on Satisfiability in Fuzzy Description Logics
Position after study: PhD study at Ecole Polytechnique France

Sana Fraz
Master Thesis: Hybrid Reasoning with Simple Conceptual Logic Programs
Position after study: PhD study at Friedrich-Alexander University of Erlangen in Nuremberg

Waheed Aslam Ghumman
Master Thesis: A* n Best Hyperpaths in Haskell

Yazmin Angelica Ibanez Garcia
Master Thesis: Complexity boundaries for full satisfiability of restricted UML class diagrams
Position after study: PhD study at FUB

Ruben Monjaraz Hernandez Imbert
Master Thesis: From the Pi-Calculus to Flat GHC

Nhung Thi Phuong Ngo
Master Thesis: Techniques for Query Rewriting Based on Interpolation
Position after study: Teaching assistant in PTIT Vietnam

Thanh Binh Nguyen
Master Thesis: Unification in Description Logic EL Without Top Constructor
Position after study: PhD at Institute of Information Security, Swiss Federal Institute of Technology Zurich, Switzerland

Trung Kien Nguyen
Master Thesis: Modular Answer Set Programming for General Game Playing

Victor Pablos Ceruelo
Master Thesis: Negative Non-Ground Queries in Well Founded Semantics
Position after study: PhD study at UPM

Anna Roubickova
Master Thesis: Complexity of Argumentation
Position after study: PhD study at FUB

Mohamad Fauzan Tahwil
Master Thesis: An AntiPattern-Based OWL Ontology Debugging Tool
Position after study: Internship at NEC Spain

Martins Zalcmanis
Master Thesis: Efficient Evaluation of Conjunctive Queries

Dmitry Zheleznyakov
Master Thesis: Updating Description Logics Knowledge Bases
Position after study: PhD study at FUB

Mohammad Sadnan Al-Manir
Master Thesis: Toward RIF-OWL Combination: An Effective Reasoning Technique in Integreating OWL and Negotiation-free Rules
Position after study: Teacher Bangladesh

Han The Anh
Master Thesis: Evolution Prospection with Intention Recognition via Computational Logic
Position after study: PhD study at UNL

Patrick Bahr
Master Thesis: Infinitary Rewriting - Theory and Applications
Position after study: PhD study at University of Copenhagen

Mito Belopeta
Master Thesis: Answer Set Programming for MultiagentResource Allocation
Position after study: Teaching assistant at European University Macedonia

Alexander Benevolenskiy
Master Thesis: Extending an ontology by extraction concept from Wikipedia
Position after study: member of research staff at TUD

Melisachew Wudage Chekol

Position after study: PhD study at INRIA France

Tsvetan Dunchev
Master Thesis: Simplification of Herbrand Sequents
Position after study: PhD study at TUW

Frederico Thomaz de Aquir Franzosi
Master Thesis: Feasibility Analysis on Applying Modelcheckers to Automatically Verify C++ to x86 ASM Compilation Results
Position after study: Judiciary Technician in Informatics Brazil

Joao Manuel Gomes Moura

Position after study: PhD study at UNL

Paolo Guagliardo
Master Thesis: Theoretical Foundations of an Ontology-Based Visual Tool for Query Formulation Support
Position after study: PhD study at FUB

Daniel Guimaraes Santos
Master Thesis: A Multi-Thread Implementation of Functional Logic Programming
Position after study: Project manager at Marca Ambiental Ltda. Brazil

Jean Jung
Master Thesis: Value Orderings Based on Solution Counting
Position after study: PhD study at Bremen University

Carroline Dewi Puspa Kencana Ramli
Master Thesis: Logic Programs and Three-Valued Consequence Operators
Position after study: Teaching assistant at University of Indonesia

Vikash Kumar
Master Thesis: An Ontology-based Approach for Interactive Question Answering: Experiments with the Qall-Me System
Position after study: PhD study at Telecommunications Software & Systems Group Ireland

Ilham Winata Kurnia
Master Thesis: Model Checking with Fairness for Reo
Position after study: Phd study at University Kaiserslautern Germany

Ekaterina Lebedeva

Position after study: PhD study at INRIAFrance

Tomer Libal
Master Thesis: Cut Elimination in Inductive Proofs of Weakly Quantified Theorems
Position after study: PhD study at TUW

Md. Abu Naser Masud
Master Thesis: Minimization Methods for Exogenous Coordination Models
Position after study: PhD study at UPM

Yu Miao

Position after study: job at Sun Microsystems China

Mushthofa Mushthofa
Master Thesis: Evaluation of Answer Set Programs with Bounded Predicate Arities
Position after study: teacher at the Institut Pertanian Bogor Indonesia

Narumol Prangnawarat
Master Thesis: Web Accessibility Based on Understanding the Visual Structure of Grocery Web Portals
Position after study: Job at IT department of ExxonMobil company Thailand

Freddy Priyatna
Master Thesis: RDF-based Access to Multiple Relational Data Sources
Position after study: PhD study at UPM

Luca Quaglia
Master Thesis: Evolving Electronic Institutions
Position after study: Job at IBM company in Italy

Mohammad Aminur Rashid
Master Thesis: Diagrammatic Representation of OWL Ontologies
Position after study: Job as analyst programmer at Pontedera in Italy

Mikheil Rukhaia
Master Thesis: CERES and Fast Cut-Elimination
Position after study: PhD study at TUW

Ksenia Rybenko
Master Thesis: Collaborative Process Management in Construction by Means of Rules and Ontologies
Position after study: member of research staff at TUD

Gokarna Prasad Sharma
Master Thesis: Finding Patterns in Semantic Graph Formalism
Position after study: PhD study at Louisiana State University USA

Armin Troy
Master Thesis: Hybrid Logic in the Calculus of Structures

Jigneshkumar Viradia
Master Thesis: Reasoning with Boolean ABoxes

Quoc Huy Vu
Master Thesis: Subsumption in the Description Logic ELHI f R+ w.r.t. General TBoxes
Position after study: PhD study at University of Oxford

Dengji Zhao
Master Thesis: Decomposition of Multi-Player Games
Position after study: PhD study at University of Toulouse and University of Western Sidney

Raonne Barbosa Vargas

Position after study: PhD study at Yale University USA

Ismael Everardo Barcenas Patino
Master Thesis: A Proof Theory of Interpolation
Position after study: PhD study at INRIA Rhone-Alpes France

Minh Dao Tran
Master Thesis: Default Reasoning on Top of Ontologies with DL-Programs
Position after study: PhD study at TUW

Yansen Darmaputra
Master Thesis: An Application of Heuristic Route Search Techniques for a Scalable Flight Search System
Position after study: job at Bank of Tokyo-Mitsubishi UFJ Indonesia

Atif Iqbal
Master Thesis: Semi-Automated Generation of Ontology Teams and Their Definition
Position after study: job at Canon Inc. Germany

Arsen Kostenko
Master Thesis: Calculating End Game Databases for General Game Playing
Position after study: job at SciWorth company Ukraine

Mei Sin Lee
Master Thesis: Data Mining on Empty Result Queries
Position after study: job at Shell Malaysia

Valentin Mayer-Eichberger
Master Thesis: Towards Solving a System of Pseudo Boolean Constraints with Binary Decision Diagrams
Position after study: job in Information Technology branch Germany

Novak Novakovic
Master Thesis: A Proof-Theoretic Approach to Subsumption and Least Common Subsumer in EL w.r.t. Hybrid TBoxes
Position after study: PhD study in Nancy France

Emmanouil Paissios

Position after study: job at Leibnitz Supercomputing Centre Germany

Vadim Savenkov

Position after study: job at TUW

Marija Slavkovik
Master Thesis: Deep Analysis for an Interactive Question Answering System
Position after study: PhD study at University of Luxembourg

Hannes Strass
Master Thesis: Fuzzy Reasoning via Logic Programming
Position after study: PhD study at TUD

Thu Trang Doan
Master Thesis: Building a FLUX Multiagent Team for the Gold Rush Scenario
Position after study: PhD study at University of Nottingham

Szilvia Halasz
Master Thesis: Optimizing Perfect Rewriting in DL-Lite

Ren Jieyun
Master Thesis: Animated Hand Gestures for Italian Sign Language
Position after study: Product & Information Manager Derusum.Com B2B Website Co. Ltd China

Evgeny Kharlamov
Master Thesis: Model Theory and Calculus for the Description Logic DL-Lite
Position after study: PhD study at FUB

Yixian Liu
Master Thesis: Querying XML Data Using Description Logics
Position after study: Lecturer at Northeastern University China

Lina Lubyte
Master Thesis: Extracting and Materializing the Conceptual Schema from a Relational Database
Position after study: PhD study at FUB

Martin Meraner

Position after study: job at EURAC Research Center Italy

Hoang Nga Nguyen
Master Thesis: A Fuzzy Description Logic with Modifiers
Position after study: PhD study at University of Nottingham

Rocio Santillan Rodriguez
Master Thesis: New Upper Bounds for the SAT/UNSAT Threshold for Shape
Position after study: PhD study at Aarhus University Denmark

Gaston Tagni

Position after study: PhD study at VU Amsterdam Netherlands

Bruno Woltzenlogel Paleo
Master Thesis: Herbrand Sequent Extraction
Position after study: PhD study at TUW

Luciana Benotti

Position after study: PhD study at INRIA France

Stefano David
Master Thesis: Defining a benchmark suite for evaluating the import of OWL Lite ontologies
Position after study: PhD study in Ancona Italy

Matthias Knorr
Master Thesis: A Comparative Study of Disjunctive Well-founded Semantics
Position after study: PhD study at UNL

Vivek Nigam
Master Thesis: Dynamic Logic Programming and 3 APL
Position after study: Postdoctorate Research at Ludwig-Maximilians-University Germany

Maria Magdalena Ortiz de la Fuente

Position after study: PhD study at TUW

Mantas Simkus

Position after study: PhD study at TUW

Evaldas Taroza
Master Thesis: Schema Matching and Automatic Web Data Extraction
Position after study: Working for Deutsche Bank in Brussels

Wiratna Sari Wiguna
Master Thesis: Fuzzy Prolog as Cognitive Layer for Robocupsoccer
Position after study: job at IBM Indonesia