Hello, My name is Vladimir Kuznetsov. I would like to introduce myself to the list.
I am a student from Ukraine. Currently I am working with the group of Professor George Candea from EPFL on a project related to KLEE. During last week I have ported KLEE to 64bit (more details in separate mail). -- With the best regards, Vladimir
