Dr. Arist Kozhevnikov

• Development of modem references in Matlab/C++, improving channel estimation and indoor positioning algorithms, KPI performance evaluations, HW/SW architecture split. Verification on FPGA, improving test coverage for fading channel profiles.

• Development of event based virtual prototype in SystemC of modem references: design, implementation, testing, documentation, multi-platform support (Visual Studio/Eclipse, Windows/Linux), setup of development flow (git, gerrit, Jenkins).

Laboratory of Mathematical Logic

Developing Flash server-client application in haxe. Exporting and importing mindmaps.

U.S. Civilian Research and Development Program for the Independent States of the Former Soviet Union (CRDF) project GAP RM0-1373(1)-ST-03 "Verifying Algebraic Circuits Using the Semi-Algebraic Approach" sponsored by Intel

Creation and implementation UnitWalk, probabilistic SAT solver (awarded as best solver on satisfiable random benchmarks at SAT03 Competition)

U.S. Civilian Research and Development Program for the Independent States of the Former Soviet Union (CRDF) project RM1-2409-ST-02 "Efficient strategies for automated reasoning using heuristic algorithms for NP-hard problems and decidable fragments of predicate calculus"

Summer practice at Verification deparment of Siemens / Infineon

Complexity of semialebraic proof systems