Safety-critical flight software
Flight control software developed under DO-178C processes, where traceability, verification and determinism matter as much as features.
- C++
- DO-178C
- IBM DOORS
About Koray Kara
Flight Control Software Engineer at Turkish Aerospace
I build reliable, real-time software for safety-critical systems and explore the intersection of artificial intelligence, computer vision, and medical imaging.
- Turkish AerospaceTUSAŞ · since 2021
- Hacettepe UniversityB.Sc. & M.Sc.
- Ankara, TürkiyeBased in
- AI researchMedical image segmentation
About me
I am a Flight Control Software Engineer at Turkish Aerospace (TUSAŞ), where for 5+ years I have been building real-time, safety-critical software for advanced aerospace platforms in C++, following DO-178C processes on real-time operating systems such as Green Hills INTEGRITY.
I hold a B.Sc. in Computer Science & Engineering (2016–2021) and an M.Sc. in Computer Science (2023–2026), both from Hacettepe University. My M.Sc. thesis studied region-aware super-resolution for medical image segmentation on MRI and CT data.
Before Turkish Aerospace I interned at ASELSAN and TÜBİTAK BİLGEM, and worked as an undergraduate research fellow on a TÜBİTAK multimodal learning project. Outside work I solve algorithm problems and teach them through YouTube videos and articles.
What I work on
Real-time embedded systems
Software for embedded computing environments on real-time operating systems such as Green Hills INTEGRITY, plus custom C++ libraries for automation and data acquisition.
- INTEGRITY RTOS
- Embedded C++
- Real-time
Model-based development
Model-based development workflows in MATLAB/Simulink, alongside hand-written C++ and Qt desktop applications.
- MATLAB
- Simulink
- Qt
AI & medical imaging research
M.Sc. research on region-aware super-resolution for MRI and CT segmentation, and earlier multimodal video–text research on a TÜBİTAK project.
- PyTorch
- Computer Vision
- Segmentation
Technical toolkit
Grouped by where I use them.
Languages
- C++
- C
- Python
- Java
- JavaScript
- SQL
- MATLAB
Aerospace & embedded
- DO-178C
- Green Hills INTEGRITY
- Real-time systems
- Embedded systems
- Control systems
Model-based design & verification
- Simulink
- VectorCAST
- IBM DOORS
AI & computer vision
- PyTorch
- Deep learning
- Medical image segmentation
- Super-resolution
- Multimodal learning
Application frameworks
- Qt
- Spring Boot
- React
Data & tooling
- PostgreSQL
- MySQL
- MongoDB
- Git
- Jenkins
- AWS