Dávid Hanák

Education

• Master of Science in Technical Informatics, June 2001, Hungary,
  Budapest University of Technology and Economics (BUTE)
  Grade of diploma: excellent
• Scholarship of the Republic of Hungary in academic years 1998/99, 1999/2000 and 2000/01
• Current studies: Ph.D. in Constraint Logic Programming
  Department of Computer Science and Information Theory, BUTE

Projects

• FDBG, the CLP(FD) Debugger Library
  • Written in Prolog
  • A debugger tool developed for the finite domain constraint library of SICStus Prolog
  • Became part of the SICStus distribution in 2002
• Global Constraints as Structured Graphs
  • Written in Prolog, work in progress
  • An experimental implementation of a theory by Nicolas Beldiceanu (SICS, Uppsala, Sweden)
  • A multi-paradigm representation of global constraints on finite domain variables as graphs of elementary constraints
  • Combines the fields of CSP and SAT
• Electronic Teacher's Assistant
  • Written in Perl, Prolog and SML
  • Under continuous development
  • A web-based interactive tutoring and exercising system for the students of the course on Declarative Programming
  • Used by hundreds of students day by day

Publications

• A Mobile Approach to Ambient Assisted Living
  with G. Szijártó, B. Takács
  in Porceedings of IADIS International Conference Wireless Applications and Computing
  Lisbon, Portugal, ISBN 978-972-8924-40-9, ed. J. Roth, pp. 87-94., 2007
• Building a Panoramic Spherical Video Recording and Presentation System for Telepresence
  with G. Szijártó, A. Beregszászi, G. Mészáros-Komáromy, B. Takács
  in Proceedings of 9th Virtual Reality International Conference (Laval Virtual),
  Laval, France, April, 2007
• Synthesising Robust Schedules for Minimum Disruption Repair Using Linear Programming
  with N. Kandasamy
  To appear in Acta Cybernetica, 2007
• An Examination of Criticality-Sensitive Approaches to Coordination
  with P. Szekely, et al., 2005
• Synthesis of robust task schedules for minimum disruption repair
  with N. Kandasamy, C. van Buskirk, H. Neema, and G. Karsai
  in Proceedings of IEEE International Conference on Systems, Man and Cybernetics, 6:5056-5061, 2004
• FDBG, the CLP (FD) debugger library of SICStus Prolog
  with T. Szeredi, and P. Szeredi
  in Proceedings of the Fourteenth Intl. Workshop on Logic Programming Environments (WLPE'04)
  Saint-Malo, France, September, 2004
• Implementing Global Constraints as Structured Graphs of Elementary Constraints
  Conference for Students in Computer Science (CS²), Szeged, Hungary, 2002
  Paper published in Acta Cybernetica, 16(2) pp. 241–258, 2003
• FDBG, the CLP(FD) Debugger Library
  Conference for Students in Computer Science (CS²), Szeged, Hungary, 2002
• Computer Aided Exercising in Prolog and SML
  Functional and Declarative Programming in Education (FDPE)
  Workshop, Pittsburgh PA, USA, 2002

Experience

Lecturer's Assistant, BUTE, 1998 – present

• Course on Declarative Programming covering Prolog & SML
• Participating in the background activities and examinations

EMPLOYMENT

Research Engineer, Computer and Automation Research Institute – Hungarian Academy of Sciences Virtual Human Interface Group
February 2006 – present

• Remote presence in augmented, panoramic virtual enviroments on Adobe Flash platform
• Development of high visual fidelity animated human agents with conversational intelligence in simulated environments
• Ambient Assisted Living – research and prototype development in the field of medical applications of ambient informatics
• C/C++, Visual Studio, Lua, JavaScript, Flash/ActionScript, SQL, PHP

Research Engineer, Institute for Software Integrated Systems, Vanderbilt University, USA
November 2003 – November 2005

• J2SE and Mozart/Oz programming
• MAPLANT – Maintenance Planning Tools: Application development for USMC (funded by DARPA and ONR)
• CSC – Critically Sensitive Coordination: Research and development of a distributed, agentized, schedule execution monitoring and contingency based replanning architecture (DARPA)
• Extensive use of XML/XSD/XSLT, Eclipse IDE, Ant, various other tools

Software Engineer, Graphisoft Rt., Hungary
March – September 2001

• Did C++ programming
• Created add-ons for ArchiCAD, a building design software
• Quit to concentrate on Ph.D

Programming skills

Language skills