George Giorgidze About Me I am a research PhD student and a member of Functional Programming Laboratory at the School of Computer Science, in the University of Nottingham. Under Henrik Nilsson's supervision I am working on Functional Hybrid Modelling (FHM) project that is funded by EPSRC. Before coming to Nottingham, I obtained MSc degree in Computer Science from Chalmers University of Technology, Göteborg, Sweden and BSc degree in Physics from Tbilisi State University, Tbilisi, Georgia.

---

Publications

Peer Reviewed Publications

• George Giorgidze and Henrik Nilsson
  Mixed-level Embedding and JIT Compilation for an Iteratively Staged DSL
  In Functional and (Constraint) Logic Programming, 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. To Appear in Revised Selected Papers of WFLP 2010.
  [PDF] [BIB]
• George Giorgidze and Henrik Nilsson
  Higher-order non-causal modelling and simulation of structurally dynamic systems
  In Francesco Casella, editor, Proceedings of the 7th International Modelica Conference, Como, Italy, September 20-22, 2009, volume 43 of Linkoping Electronic Conference Proceedings, pages 208--218. Linkoping University Electronic Press, Linkoping universitet, 2009.
  [PDF] [BIB] [DOI]
• George Giorgidze and Henrik Nilsson
  Embedding a functional hybrid modelling language in Haskell
  In Implementation and Application of Functional Languages, 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008, 2008. To Appear in Revised Selected Papers of IFL 2008.
  [PDF] [BIB]
• George Giorgidze and Henrik Nilsson
  Switched-on Yampa: Declarative programming of modular synthesizers
  In Paul Hudak and David Scott Warren, editors, Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, volume 4902 of Lecture Notes in Computer Science, pages 282--298. Springer, 2008.
  [PDF] [BIB] [DOI]
• George Giorgidze and Henrik Nilsson
  Demo outline: Switched-on Yampa
  In Gabriele Keller, editor, Proceedings of the ACM SIGPLAN Haskell Workshop, Haskell 2007, Freiburg, Germany, September 30, 2007, page 93. ACM, 2007.
  [PDF] [BIB] [DOI]

Theses

• George Giorgidze
  Modular synthesizer programming in Haskell
  Master of science thesis, Department of Computer Science and Engineering, Division of Computing Science, Chalmers University of Technology and The University of Gothenburg, Gothenburg, Sweden, 2008.
  [PDF] [BIB]

---

Software

Some open source software that I have written and maintained.

Hydra

Hydra is a declarative language for modelling and simulation of physical systems using implicitly formulated (undirected) Differential Algebraic Equations (DAEs). While, physical modelling is our main focus any domain where problems can be formulated using DAEs is fine. The language provides constructs for definition and composition of model fragments that enable modelling and simulation of large, complex, structurally dynamic and hybrid systems.

Currently, Hydra is implemented as a domain specific embedded language in Haskell. Thus, full power of a modern functional language is available (e.g. for meta-modelling) in addition to core modelling capabilities. Hydra implements concepts of Functional Hybrid Modelling (FHM) and is the first publicly available implementation of an FHM language.

The source code of (more or less) stable release is available for download under the open source BSD license. This is very much work in progress and code base is under active development.

The latest development version can be obtained from Hydra's git repository:
git clone git://github.com/giorgidze/Hydra.git

YampaSynth

YampaSynth is a software synthesizer implemented in Yampa, a domain specific language embedded in Haskell.

For further details and download see the YampaSynth package at HackageDB.

HCodecs

HCodecs library provides functions to read write and manipulate MIDI, WAVE and SoundFont2 multimedia files. It is written entirely in Haskell .

For further details, documentation and download see the HCodecs package at HackageDB.

Correctness of significant parts of the library has been validated with QuickCheck and Haskell Program Coverage (HPC) tool-kit.
HPC results can be seen here.

Arch Linux Packages

I am an Arch Linux user and maintain a number of packages in the ArchLinux User-community Repository (AUR).

---

Talks

• 2010 Apr 28
  I gave an invited talk entitled as "Functional Hybrid Modelling" at the University of Leicester, United Kingdom.
• 2010 Feb 17
  I gave a talk entitled as "Functional Hybrid Modelling and Simulation in Haskell" at Fun in the Afternoon seminar organised by Standard Chartered Bank, London, United Kingdom.
• 2010 JAN 17
  I gave a talk entitled as "Mixed-level Embedding and JIT Compilation for an Iteratively Staged DSL" at 19th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2010, Madrid, Spain.
• 2009 SEP 21
  I gave a talk entitled as "Higher-order non-causal modelling and simulation of structurally dynamic systems" at 7th International Modelica Conference, Como, Italy.
• 2009 JUN 22
  I gave a talk entitled as "Embedding a Functional Hybrid Modelling Language in Haskell" at Functional Programming Laboratory Away Day Seminar, Worksop, United Kingdom.
• 2009 APR 7
  I gave a talk entitled as "Embedding a Functional Hybrid Modelling Language in Haskell" at 25th Annual British Colloquium on Theoretical Computer Science, BCTCS 2008, University of Warwick, United Kingdom.
• 2008 SEP 12
  I gave a talk entitled as "Embedding a Functional Hybrid Modelling Language in Haskell" at 20th International Symposium on the Implementation and Application of Functional Languages, IFL 2008, University of Hertfordshire, United Kingdom.
• 2008 JAN 7
  I gave a talk entitled as "Switched-On Yampa: Declarative Programming of Modular Synthesizers" at 10th International Symposium on Practical Aspects of Declarative Languages, PADL 2008, San Francisco, CA, USA.
• 2007 OCT 8
  Henrik Nilsson presented demo at Haskell Workshop 2007 in Freiburg, Germany. Demo was based on joint work conducted by Henrik Nilsson and myself, namely about programming modular synthesizers in Haskell using Yampa. See video.

---

Undergraduate Teaching

I was involved as a Teaching Assistant in the following undergraduate courses:

• G52CMP: Compilers; Spring 2010.
• G52MC2: Mathematics for Computer Scientists 2; Autumn 2009.
• G52CMP: Compilers; Spring 2009.
• G51WPS: Web Programming and Scripting; Spring 2009.
• G52MAL: Machines and Their Languages; Autumn 2008.
• G52MC2: Mathematics for Computer Scientists 2; Autumn 2008.
• G52CMP: Compilers; Spring 2008.
• G51FUN: Functional Programming; Spring 2008.
• G52MAL: Machines and Their Languages; Autumn 2007.
• G52MC2: Mathematics for Computer Scientists 2; Autumn 2007.

---

Personal

I love travelling that I enjoy with my wife Mari. In my spare time, I also enjoy playing guitar and bass.

---

Contact Information

Address
Room A04
School of Computer Science
University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham NG8 1BB
England

Fax: +44(0) 115 95 14254
Email: GGG (at) CS.NOTT.AC.UK

---

Last Update: 2010 May 4