Hanák Dávid

Tanulmányok

• Informatikus mérnöki diploma, 2001. június
  Budapesti Műszaki és Gazdaságtudományi Egyetem (BME)
  Minősítés: kiváló
• Köztársasági ösztöndíj az 1998/99, 1999/2000 és 2000/01-es tanévekben
• Jelenlegi tanulmányok: Ph.D. a korlát logikai programozás (CLP) területén
  Számítástudományi és Információelméleti Tanszék, BME

Projektek

• FDBG, egy CLP(FD) nyomkövető könyvtár
  • Prologban készült
  • Nyomkövető eszköz a SICStus Prolog véges tartományú korlátokat megvalósító CLP(FD) könyvtárához
  • 2002-ben hivatalos részévé vált a SICStus disztribúciónak
• Globális korlátok strukturált gráfokként
  • Prologban készül, jelenleg is fejlesztés alatt
  • Nicolas Beldiceanu (SICS, Uppsala, Svédország) egy elméletének a kísérleti megvalósítása
  • Véges tartományú változókon értelmezett globális korlátok tudományterületeken átívelő leírása elemi korlátok gráfjaként
  • A CSP és SAT elméletekre alapoz
• Elektronikus TanárSegéd
  • Perlben, Prologban és SML-ben készül
  • Folyamatos fejlesztés alatt áll
  • Web alapú interaktív oktató- és gyakorlórendszer a Deklaratív programozás című tárgy hallgatóinak
  • Naponta több száz hallgató használja

Publikációk

• 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
  Elfogadva: 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, 2002
  Cikk megjelent: Acta Cybernetica, 16(2) pp. 241–258, 2003
• FDBG, the CLP(FD) Debugger Library
  Conference for Students in Computer Science (CS²), Szeged, 2002
• Computer Aided Exercising in Prolog and SML
  Functional and Declarative Programming in Education (FDPE)
  Workshop, Pittsburgh PA, USA, 2002

Oktatás

Demonstrátorként majd Ph.D. hallgatóként 1998-tól folyamatosan

• Deklaratív programozás (Prolog és SML oktatása)
• Részvétel a háttérmunkákban, vizsgáztatásban

Munkaviszony

Fejlesztőmérnök, MTA SZTAKI Virtuális emberinterfész csoport
2006. februártól folyamatosan

• Távjelenlét augmentált, panoramikus virtuális környezetekkel, Adobe Flash platformon
• Társalgási intelligenciával ellátott nagy hűségű animált emberi ágensek fejlesztése
• Ambient Assisted Living – rejtőzködő informatika egészségügyi alkalmazásainak kutatása, prototípusfejlesztés
• C/C++, Visual Studio, Lua, JavaScript, Flash/ActionScript, SQL, PHP

Kutatómérnök, Institute for Software Integrated Systems, Vanderbilt University, USA
2003. november – 2005. november

• J2SE és Mozart/Oz programozás
• MAPLANT – Maintenance Planning Tools: alkalmazásfejlesztés az Amerikai Tengerészgyalogos Hadtest számára (DARPA, ONR)
• CSC – Critically Sensitive Coordination: elosztott, ágens alapú ütemterv-végrehajtás monitorozó és tervkorrigáló architektúra kutatása és fejlesztése (DARPA)
• XML/XSD/XSLT, Eclipse IDE, Ant és más eszközök használata

Fejlesztőmérnök, Graphisoft Rt.
2001. március – szeptember

• C++ programozás
• Kiegészítő modulok fejlesztése az ArchiCAD építészeti programhoz
• A Ph.D. tanulmányok miatt léptem ki

Programozási tudás

Nyelvtudás