Tarik Hadzic

Short Biography:

I have taken position of a senior research scientist at United Technologies Research Centre-Ireland. My work will focus on development and application of formal reasoning methods (SAT solving, BDDs, constraint programming, model checking, etc) to the application domain of access control. Our offices are located at Lee Mills House, Prospect Row, Cork. I can be reached at: +353 21 420 5731.

I was a member of the Mobile & Internet Systems Laboratory and Cork Constraint Computation Centre at the Computer Science Department of University College Cork. I joined the Department under a Postdoctoral Fellowship, awarded by Irish Research Council for Science, Engineering and Technology (IRCSET), working with Barry O'Sullivan on compiling and visualizing decision diagrams in the context of decision support. Afterwards I was working on Constraint-Based, Energy Cost Efficient Scheduling with Helmut Simonis. My latest project involved developing solution techniques for real-time guidance during evacuation in the presence of hazard within the scope of the Nembes project. I obtained a PhD in Information Technology from the IT-University of Copenhagen supervised by Henrik Reif Andersen. I became a MSc in Information Technology at IT-University of Copenhagen in September 2005. In 2003 I was awarded a Bachelor of Science degree from Faculty of Science at the University of Sarajevo with a major in: Mathematics and theoretical computer science.

Research:

I am interested in the development and application of formal analytical methods to a number of application domains. I have been particularly involved in developing and extending the Binary Decision Diagrams technology, but I have also extensive experience in working with other reasoning frameworks such as Satisfiability Solving, Constraint Programming, Integer Optimization and various aspects of Artificial Intelligence. I am eager to apply my research to relevant, real-world problems, particularly to problems related to energy efficiency, evacuation planning and various forms of decision support such as interactive configuration, product recommendation and itemset mining. For more details see the list of my publications.

Resources:

Please download a presentation illustrating my recent work within Nembes in collaboration with Sean Og Murphy to integrate evacuation planning algorithms into vector-geometry pedestrian movement simulator.

The instance generator for resource cost aware scheduling constraints can be downloaded here: CostInstance.jar .

Teaching:

I was a teaching assistant at a course Efficient AI Programming in Autumn 2005 and Spring 2007. I was a lecturer at a course Networks and Protocols in Spring 2006.

Activities:

Program Committee member of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI'11).

Program Committee member of the Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR 2011).

Co-Chair of the 1st Workshop on Constraint Reasoning and Graphical Structures (CRAGS-2010), affiliated with CP-2010.

Reviewer for: Building and Environment Journal, Constraints Journal, AI Communications, ISCRAM 2011, CP 2009, IJCAI 2009, AAAI 2008, CPAIOR'2007, ACSC 2006

Member of: Association for Computer Machinery (ACM), Mathematical Optimization Society (MOS), Association of Constraint Programming (ACP), Artificial Intelligence Association of Ireland (AIAI)

Contact information: