Basic

M. Khaled Mahmoud

Employee, Wissenschaftlicher Mitarbeiter, Ludwig-Maximilians-Universität München

München, Germany

Skills

C++
C++ Entwicklung
WinApi
MFC
Python
OpenCL
CUDA
GPU
HW-Entwicklung
Assembly Language
C#
C#.NET
.NET
ASP.NET
SQL-Server
MS SQL Server
MySQL
Java
Android
CMake
Makefile
VS Solutions/Projects
gitt
SVN
CI/CD
kontinuierliche Integration
MatLab
Simulink
ARM
PIC-Mikrocontroller
RasperryPi
Arduino
IDA Pro
Ghidra
RESTful
RESTful API
OMNet++
Autoware
Autoware.Auto
Carla
LGSVL
FPGA
VHDL
Verilog
SystemC
ModelSim
Xilinx Toolchain
Altera Toolchain
AWS
EC2
Beanstalk
S3
RDS
CloudFormation
DeepRacer
Route53
IAM
Windows 10
Linux
Mac OS
Machine Learning
Artificial intelligence
OOP
Objektorientiertes Programmieren (OOP)
Parallele Programmierung
Parallel Computing
Robot Operating System
RROS
ROS
Ventuz
OptiTrack
Jemdoc
HTML
JavaScript
Haskell
Forschung
Softwareentwicklung
Embedded Systems

Timeline

Professional experience for M. Khaled Mahmoud

  • Current 1 year and 7 months, since Feb 2020

    Gastwissenschaftlicher

    University of Colorado at Boulder

    - Bauen ein Labor (1,2) zum Testen der selbstfahrenden Autos. - Entwickelung von einem SW-Stack (1,3,4) für das autonome Fahren für Amazon AWS DeepRacer Cars. - Entwickelung von einem AR-Simulator (2,3,4,5,6) für selbstfahrenden Autos im Labormaßstab. - Wissenschaftliche Zusammenarbeit mit Prof. Dr. Majid Zamani. - Entwicklung (7,8) von der Webseite der HyConSys-Group. Technologien: (1) ROS, (2) RESTful API, (3) C++, (4) Python, (5) Ventuz, (6) OptiTrack Kamerasystem, (7) JemDoc, (8) C#/ASP.NET.

  • Current 2 years, since Sep 2019

    Wissenschaftlicher Mitarbeiter

    Ludwig-Maximilians-Universität München

    - Durchführung der Forschungsprojekte. - Betreuung der Doktoranden. - Beantragen auf neue Forschungsprojekte (DFG und ERC). - Forschung auf dem Gebiet der automatischen Verifikation und Synthese von stochastischen Cyber-Physikalischen Systemen. - Effiziente Implementierungen (HW/SW) von Steuerungssystemen. - Zusammenarbeit mit Intel und Amazon AWS. - Entwicklung von SW-Tools für die automatisierte Synthese von Reglern für die sicherheitskritische Steuerungssysteme. zB: pFaces, OmegaThreads, AMYTISS, PIRK.

  • 3 years and 5 months, Apr 2016 - Aug 2019

    Wissenschaftlicher Mitarbeiter

    Technische Universität München

    - Forschung auf dem Gebiet der automatisierten Entwurfsmethoden für autonome Systeme. - Formale Verifikation/Synthese von Reglern für Roboter zur Umsetzung von den formalen Spezifikationen. - Vortragende von der Lehrveranstaltung „Formal Methods Laboratory“, Wintersemester 2017-2018. - Betretung von B.Sc./M.Sc. Studentinnen/Studenten (15+). - Zusammenarbeit: Amazon AWS, BMW, Xilinx, Infineon. - Entwicklung von Tools für die automatisierte Synthese von Reglern für die sicherheitskritische Steuerungssysteme.

  • 5 years and 7 months, Jan 2010 - Jul 2015

    Wissenschaftliche Hilfskraft

    Minia University

    - Forschung auf dem Gebiet der eingebetteten Systeme. - Wissenschaftliche Unterstützung der Professoren bei Lehrveranstaltungen. - Vortragende in verschiedenen Labors. - Betretung von B.Sc. Studentinnen/Studenten und ihren Abschlussprojekten (35+ Studentinnen/Studenten, 15+ Projekte).

  • 8 years and 7 months, Jan 2007 - Jul 2015

    IT Manager

    Horus Resort, Ägypten

    - Netzwerk Management. - Einsatz intelligenter Türschlösser. - Verwaltung des Buchungssystems.

  • 6 years and 1 month, Jul 2008 - Jul 2014

    Webentwickler .NET

    Al-Manara Academy, Ägypten

    - .NET Webentwickler - Entwicklung von .NET-basierte Lern-Webanwendungen. - Technologien: SQL-Server, .NET, ASP.NET C#.

  • 4 months, May 2006 - Aug 2006

    Praktikant

    IBM

    UML-basierte Software-Design mit IBM Rational Software.

Educational background for M. Khaled Mahmoud

  • 5 years and 1 month, Apr 2016 - Apr 2021

    Promotion (PhD.), Elektrotechnik und Informationstechnik

    Technische Universität München

    - Schwerpunkt: Formale Methoden zur Regelungssysteme. - Doktorarbeit: Effiziente Implementierung Symbolischen Reglern für Cyber-physikalische Systeme.

  • 2 years and 11 months, Oct 2011 - Aug 2014

    Master of Science (M.Sc.), Elektrotechnik

    Minia University

    - Schwerpunkt: Eingebettete Regelungssysteme. - Abschlussarbeit: Verbesserung der Leistung digitalen Reglern mithilfe von Multicore- / heterogenen eingebetteten Systemen. - Note: Ausgezeichnet.

  • 4 years and 11 months, Sep 2004 - Jul 2009

    Bachelor of Science (B.Sc.), Informatik

    Minia University

    - Abschlussarbeit 1: Design, Implementierung und digitale Steuerung eines Roboter-Arms. - Abschlussarbeit 2: Balancieren eines zweirädrigen Roboters. - Note: 1.4 (Abschlussarbeite: Ausgezeichnet).

Languages

  • Arabic

    First language

  • English

    Fluent

  • German

    Intermediate

Wants

Auf der Suche nach einer Rolle mit größerem Fokus auf autonome Systeme und ihre Sicherheit.

Interests

Autos
Reverse Engineering
Cryptowährungen

Browse over 18 million XING members