Senior software developer

Back-End / Server Programming Linz, Oberosterreich, Austria

Profile
Contacts

Summary

C/C++, C#.Net, Typescript, Java
Tensorflow, Keras, Scikit-Learn
Entity Framework, Unified Automation SDK, OPC UA Client/Server

AI/ML, Deep learning certificates
05/2017 Machine Learning by Stanford University on Coursera
08/2017 Neural Networks and Deep Learning by Stanford University on Coursera
10/2017 Kaggle Competition
11/2017 Convolutional Neural Networks by Stanford University on Coursera
08/2018 Sequence Models by Stanford University on Coursera
04/2019 Deep Learning with Tensorflow on CognitiveClass.ai

1/2/2021 Now
Software Engineer, ETM professional control GmbH, Linz, Austria.
Achievements: Employee of the month April 2024.

1/10/2021 31/1/2022
Software Engineer, TeamViewer, Linz, Austria.
Achievements: Developed a Web-based application that manages fundamental TeamViewer
resources such as remote devices and liciences, using C#.NET core, Typescript, and ReactRedux technologies

5/201930/9/2021
Software Engineer, Andritz Hydro GmbH, Linz, Austria.
Achievements: Developed an API Gateway that facilitates smooth communications among
several applications such as Web apps and Excel Plug-in, using C#.NET core, Typescript,
GraphQL, and Entity Framework Core technologies

10/20166/2019
Postdoc researcher, Johannes Kepler University, Linz, Austria.
Achievements: Created and taught a special topic on Formal Verification of Security
Protocol as well as gave lectures on Systems Programming

12/20156/2016
Postdoc researcher, Universität Regensburg, Regensburg, Germany.
Achievements: Initialized research in the area of security and privacy for 5G networks
20072008 Software developer, VEGA corporation, Hanoi, Vietnam.
Achievements: Developed a social music recommender system using Java core and SQL
databases that brought the website to the top 100 music websites within 6 months of
deployment.

Teaching
Autumn 2011 Linear Algebra, Master course.
Spring 2012 C++ Programming, Bachelor course.
Autumn 2012 Informatics for Mathematicians and Physicians, Bachelor course.
Spring 2014 Data structure and Algorithms, Bachelor course.
Autumn 2014 Introduction to Programming, Bachelor course.
Winter 2016 System programming, Bachelor course.
Spring 2017 Formal Analysis of Security Protocols, Master course.
Winter 2017 System programming, Bachelor course.
Summer 2018 System programming, Bachelor cours