You can download a PDF of this CV, ready for printing. Read how it was made.
| Personal information | |
|---|---|
| Name: | Dr. Érdi, Gergő |
| Address: | Nagyszombat u. 1/C 1/4, Budapest, H-1036 Hungary |
| Telephone: | +36 (30) 9319-447 |
| E-mail: | gergo@erdi.hu |
| Home page: | http://gergo.erdi.hu/ |
| Date of birth: | November 18, 1980 |
| Education | |
| 2003 - 2011 | M.Sc. in C.S., Eötvös Loránd University, Faculty of Informatics, Hungary |
| 1999 - 2006 | M.D., Semmelweis University of Medicine, Hungary |
| Previous work | |
| 2005 - (ongoing) | Software developer, Intentional Software Corporation |
| 1999 - 2005 | Software Developer, various Free Software projects including the GNOME desktop environment, Evolution groupware suite, and the GTKmm C/C++ language interoperability bridging solution |
| Experience and past projects | |
| Functional and formal programming | |
| Functional languages | Haskell, XSLT |
| Formal methods | Dependant types/Curry-Howard-isomorphism (Agda), B method (Atelier B) |
| Alef | Type checker, interpreter and compiler for a lazy functional language with Hindley-Milner type system; written in Common Lisp |
| Tandoori | Compositional type checker for a Hindley-Milner-like type system with ad-hoc polymorphism; written in Haskell. My M.Sc. thesis at ELTE. |
| Developing Desktop Applications | |
| GNOME Desktop Environment | The GNOME Project is a Free Software project to create an easy-to-use and powerful graphical desktop for UNIX systems. I've been one of the several hundred regular contributors of GNOME since 1999. Some of the more high-profile applications I've contributed to include the Evolution groupware suite and the Gnumeric spreadsheet. |
| Guikachu | Guikachu is a high-level graphical editor for the RCP resource description language, a format used by PalmOS developers to create user interfaces for handheld applications. It's written in C++ and uses the GTKmm toolkit. I have started Guikachu from scratch in 2001, and worked on it until 2007. |
| Compiling and bridging | |
| MetaFun | Compiler for a Haskell-like functional language into C++ compile-time template metaprograms; written in Haskell |
| GTKmm | C++ wrapper around the C API of the GTK+ GUI toolkit. GTKmm is written in such a way that it completely hides the C API, and presents the developer with a native C++ interface, using features of C++ such as class inheritance and templates to maximize productivity, and using compile-time type safety to help applications become more robust. I've been both a core developer and a user of the GTKmm library. |
| ORBit/C++ | ORBit is a CORBA ORB written in C, and is part of the GNOME Project. In 2003 I led an effort of a handful of developers to update a bit-rotten C++ wrapper for ORBit. Unfortunately, due to the OMG's CORBA/C++ specification, this project has been nowhere near as successful in creating a modern C++ API as GTKmm has. |
| MonkeyBeans | First proof-of-concept independent implementation of some Bonobo interfaces, written in Java. It integrated with the standard Java API's to provide a seamless interface for developers to e.g. embed Bonobo controls into AWT applications. |
| Languages | |
| |
| Personal | |
| |