September 17, 1977

Delft University of Technology
Faculty of Electrical Engineering, Mathematics and Computer Science
Mekelweg 4, HB 09.070
2628 CD, Delft, The Netherlands

+31 15 2787217

+31 612 973650

+31 15 2786632

a.b.feldman@tudelft.nl

http://llama.gs/

Automated reasoning, qualitative reasoning, model-based diagnosis, model-based automated fault isolation and recovery, model-based prognosis, testing and test generation, stochastic local search, satisfiability, constraint optimization techniques, abduction and non-monotonic reasoning, reverse engineering.

Ph.D., Computer Science, in progress (expected 2009/2010)
Delft University of Technology, The Netherlands

Thesis: Algorithms for Model-Based Reasoning

Advisor: Prof. Arjan van Gemund

M.Sc. (cum laude), Computer Science (Technical Informatics)
Delft University of Technology, The Netherlands

Thesis: Hierarchical Approach to Fault Diagnosis

Advisor: Prof. Arjan van Gemund

B.Sc., Computer Science
UE Varna, Bulgaria

Intern
Intelligent Systems Laboratory, Embedded Reasoning Area
Palo Alto Research Center (PARC), Inc.
California, USA

Doctoral Research Fellow
Embedded Software Laboratory, Department of Software Technology
Faculty of Electrical Engineering, Mathematics and Computer Science
Delft University of Technology, The Netherlands

Software Architect
Science and Technology BV, Delft, The Netherlands

Senior Programmer
Market Risk Management, ING Bank, Amsterdam, The Netherlands

Senior Programmer
Zend Technologies Ltd., Ramat Gan, Israel

The General Redesign Engine (GRE) uses model-based reasoning techniques and Boolean functional synthesis from component libraries to automate redesign for combinational circuits.

Lydia stands for Language for sYstem DIAgnosis and it is a modeling language and a reasoning tool-kit biased (e.g., there is support for health modeling) towards model-based fault diagnosis. One of the objectives of Lydia is to to implement novel algorithms which will push the frontiers of model-based diagnosis allowing efficient reasoning over larger systems. Responsible for the framework and modeling language design and implementation and the development of fast algorithms for model-based diagnosis.

The project Finesse (Fault dIagNosis for Embedded SyStems dEpendability) aims at the improvement of the accuracy of fault diagnosis when applied to electromechanical systems such as the Paper Handling Systems of Océ Copiers. The challenges in fault diagnosis are to infer maximum diagnostic information on the operational status of software and hardware components from a typically limited amount of (noisy) observations. Responsible for the modeling of the system and the design of algorithms for active testing, recovery and prognosis.

The Diagnosis Interchange Format (DIF) is an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic models, observation data and fault hypotheses, and to facilitate empirical comparative study of the performance of existing and future MBD implementations. Responsible for the DIF schema design and the construction of MBD benchmark suite.

Lego is a framework for computing derived data from time-series containing prices of financial instruments. Responsible for the design of the framework and the implementation of Lego modules computing correlation matrices, zero coupon rates, historical and implied volatilities and other statistical derivations.

The Small Crypto Library and Small Secure Socket Library is a public open-source package for providing secure communication. The libraries include own implementation of many modern symmetric and asymmetric cryptographic algorithms.

A server for hosting long-living web applications written in PHP on top of the ACE (Adaptive Communication Environment) framework. Responsible for the implementation of the timer API.

A package for generation of crosswords. This is an own design and implementation of a guided backtracking algorithm.

Proficient

Linux, Solaris, IRIX, HP-UX, Windows

C/C++, Java, Perl, PHP, Flex/Bison, LATEX

MPI, PVM

Markup languages, SOAP

Sybase, Oracle

Familiar

Python, Tcl/Tk, Prolog, Lisp, Pascal, Fortran

Maple, Matlab

Bulgarian, Israeli, permanently living in The Netherlands

English, Bulgarian, Russian (intermediate), Hebrew (basic), Dutch (intermediate)

AAAI (student), ACM (student), IEEE (student)

Prof. Arjan van Gemund

Delft University of Technology
Mekelweg 4, HB 09.310, 2628 CD, Delft, The Netherlands

+31 15 278 2516

a.j.c.vangemund@tudelft.nl

Dr. Johan de Kleer

Palo Alto Research Center (PARC), Inc.
3333 Coyote Hill Road, Palo Alto, CA 94304, USA

+1 650 812 4398

dekleer@parc.com

Prof. Gregory Provan

University College Cork
College Road, Cork, Ireland

+353 21 420 5892

g.provan@cs.ucc.ie