Menu

Alexandre LEWKOWICZ

LE KREMLIN-BICÊTRE

En résumé

Graph theory, automata, model checking are my current domain of research as a student at the LRDE laboratory in EPITA.
During my spare time on work on 3D computer graphics and develop algorithms to simulate the real world physics.
I enjoy studying GPU hardware architecture and understanding how multiple devices can interact and share their resources.

Mes compétences :
Sécurité informatique
Kernel programing
Mathématiques
Shell
Model Checking
Objective CAML
OCR
Microsoft Windows 2000 Server
Microsoft C-SHARP
HTTP
Système de gestion de versions
C/C++
UNIX
OpenGL
Traitement d'images
Théorie des graphes
GPGPU

Entreprises

  • Karlsruhe Institute of Technology (KIT) - GPU Programmer

    2014 - 2015 Study of an existing software dedicated at ring detection for 3D particle tracking.
    To improve the existing software, I converted it from Matlab to C. The UFO framework, developed at IPE, was integrated to allow easy usage of GPU clusters. I improved some of the existing algorithm to detect more rings faster. A speedup from 100 to 600 times faster was met, and more rings can be detected.
  • LRDE - Research student

    2014 - maintenant algorithm for SPOT, a modelchecker.

    Implement a feedback arc-set to improve the complementation of deterministic Büchi Automata.

    Study SAFRA's method to implement Büchi automa to deterministic Rabin and Street automata conversion.
  • LRDE - Developpeur Vaucason

    2013 - 2013 Added I/O automata support: EFSM, Fado, Grail
    Implemented several automata operations: Addition, Multiplication, Star, Concatenation
    Added rational weight-set
    Created automata generator

Formations

Réseau

Annuaire des membres :