Aleksandr Karbyshev

Research Engineer at Heliax
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
Stuttgart, Baden-Württemberg, Germany, DE
Languages
  • English -
  • German -
  • Danish -
  • Russian -

Topline Score

Bio

Generated by
Topline AI

0

/5.0
/ Based on 0 ratings
  • (0)
  • (0)
  • (0)
  • (0)
  • (0)

Filter reviews by:

No reviews to display There are currently no reviews available.

0

/5.0
/ Based on 0 ratings
  • (0)
  • (0)
  • (0)
  • (0)
  • (0)

Filter reviews by:

No reviews to display There are currently no reviews available.
You need to have a working account to view this content. Click here to join now

Credentials

  • Deep Learning Nanodegree
    Udacity
    Oct, 2020
    - Sep, 2024

Experience

  • Heliax
    • IT Services and IT Consulting
    • 1 - 100 Employee
    • Research Engineer
      • Sep 2021 - Present
  • Axivion GmbH
    • Germany
    • Software Development
    • 1 - 100 Employee
    • Software Developer
      • Dec 2017 - Jul 2021

      Axivion Bauhaus tool suite for static analysis: improvement of existing and development and implementation of novel tools for static analysis. Standards: SEI Cert C/C++ Coding standard. Misra C:2012 guidelines. Axivion Bauhaus tool suite for static analysis: improvement of existing and development and implementation of novel tools for static analysis. Standards: SEI Cert C/C++ Coding standard. Misra C:2012 guidelines.

  • Aarhus University
    • Denmark
    • Research
    • 700 & Above Employee
    • Postdoctoral Researcher
      • Sep 2015 - Sep 2017

      Research topics: Verification of cryptographic multi-party computation protocols. Language-based security for concurrent programs. Research topics: Verification of cryptographic multi-party computation protocols. Language-based security for concurrent programs.

  • Tel Aviv University
    • Israel
    • Higher Education
    • 700 & Above Employee
    • Postdoctoral Researcher
      • Apr 2014 - Aug 2015

      Research topics: Program verification methods for Software-Defined Networks. Automatic program verification for heap-manipulating programs Research topics: Program verification methods for Software-Defined Networks. Automatic program verification for heap-manipulating programs

  • Technical University Munich
    • Germany
    • Higher Education
    • 1 - 100 Employee
    • Research and Teaching Assistant
      • Sep 2008 - Mar 2014

      Research on verification of second-order functional programs with application to certified static analysis. Teaching assistant for courses: - Informatics I, II - Informatics for Engineers - Program Optimization. Research on verification of second-order functional programs with application to certified static analysis. Teaching assistant for courses: - Informatics I, II - Informatics for Engineers - Program Optimization.

  • LMU - Ludwig-Maximilians-Universität München
    • Guest Researcher
      • Apr 2008 - Aug 2008

      Internship in proof theory and verification using MINLOG proof assistant. Internship in proof theory and verification using MINLOG proof assistant.

  • LEDAS
    • Russian Federation
    • Software Development
    • 1 - 100 Employee
    • Software Developer
      • Mar 2007 - Feb 2008

      Development of the computational constraint solving modules that are used in CAD/CAM/CAE software. Development of the computational constraint solving modules that are used in CAD/CAM/CAE software.

  • Novosibirsk State University (NSU)
    • Russian Federation
    • Higher Education
    • 1 - 100 Employee
    • Teaching Assistant
      • Sep 2006 - Feb 2007

      Practice labs for the undergraduate introductory course on theory of algorithms and computations. Practice labs for the undergraduate introductory course on theory of algorithms and computations.

Education

  • Technical University Munich
    Doctor of Philosophy - PhD, Computer Science
    2008 - 2013
  • Novosibirsk State University (NSU)
    Master's degree, Mathematics
    2005 - 2007
  • Novosibirsk State University (NSU)
    Bachelor's degree, Mathematics
    2000 - 2005
  • SESC NSU — ( СУНЦ НГУ \ ФМШ )
    1999 - 2000

Community

You need to have a working account to view this content. Click here to join now