Dr. Yavuz Köroğlu
About Me
|
|
Assistant Professor @ Computer Engineering, İTÜ, since 2025
e-mail: yakoroglu@itu.edu.tr |
Research Interests
Keywords: Neuromorphic Computing, Digital Circuits, Software Testing, Artificial Intelligence, Formal Verification
- Neuromorphic Computing: Memristors, SNNs, Memtransistors, Brain-Mimetic Coding
- Digital Circuits: Self-Repairing / Self-Optimizing Circuitry
- Software Testing: Model-based Testing (MBT), Fuzzing, Mutation Testing, GUI Testing
- Artificial Intelligence: Automated Planning, Reinforcement Learning, Machine Learning
- Formal Verification: Symbolic Execution, Temporal Logic, Specification Mining
If you have any specific subject to study, or want to learn about the above topics, I encourage you to meet me and discuss. You can check my weekly schedule and stop by in office hours or make an appointment via e-mail.
Looking for Researchers
- Ph.D. or M.Sc. candidates interested in neuromorphic computing within computer architectures. Strong competencies and full-time devotion required.
Courses
You can find my Course Statistics here. For access to course material, please check Ninova first.
Weekly Schedule
Research Team
- Berk ERDOĞAN, M.Sc. Candidate
- Ömer Faruk UYSAL, M.Sc. Candidate
- Hatice Sevra KARAKELLE, M.Sc. Candidate
- Hasan KARAKAYA, B.Sc. Candidate
Projects
| BAP | TÜBİTAK | International | TOTAL | |
| Applied: | 0 | 0 | 1 | 1 |
| Ongoing: | 1 | 0 | 0 | 2 |
| Contributing: | 1 | 0 | 0 | 1 |
| Completed: | 0 | 1 | 0 | 0 |
Proposed Projects
- (HORIZON EU) ORCHESTRA-EDGE: A Sovereign European Chiplet-Based Edge AI Platform
Ongoing Projects
- BAP Project: MAB-2025-47709, Scalable Improvement of Coverage in Model-based Testing for Realistic Applications
Contributing Projects
- BAP Project: 48205, Digital Ecosystem Modeling through Regulated Real-World Asset Tokenization on the XRP Ledger, Multi-Party Computational and AI-Based Risk Analysis of Cooperative Property Rights, and Integration of RLUSD Digital Currency
Completed Projects
- TÜBİTAK-Science and Society (Bilim ve Toplum) Project: 935061 Science Talks (Bilim Söyleşisi)
Talks
| Seminar | Research Paper | Keynote | TOTAL | |
| National: | 4 | 0 | 0 | 1 |
| International: | 0 | 0 | 1 | 1 |
| TOTAL: | 2 | 0 | 1 | 2 |
-
[2025-11-18]: Generating Minimal Test
Suites for Strong Coverage Criteria in Graph Models
@ Department of Computer Engineering, Bogazici University
Graduate Seminar. -
[2026-02-27]: Yapay Zekâ ile Keşif
@ TED Atakent Koleji Esenyurt Kampüsü
TÜBİTAK Bilim Söyleşileri. -
[2026-03-06]: Yapay Zekâ ile Keşif
@ İstanbul Ticaret Odası Bilim Ve Sanat Merkezi
TÜBİTAK Bilim Söyleşileri. -
[2026-03-25]: Yapay Zekâ ile Keşif
@ Atatürk Ortaokulu
TÜBİTAK Bilim Söyleşileri. -
[2026-03-26]: Can We Turn Obscure Applied Software Testing Challenges into Research Questions?
@ World Congress on Applied Sciences and Engineering (WASE'26)
Keynote.
Reviews
| Paper | M.Sc. Thesis | Ph.D. Thesis | Project | TOTAL | |
| National: | 2 | 2 | 0 | 7 | 9 |
| International: | 4 | 0 | 0 | 0 | 4 |
| TOTAL: | 6 | 2 | 0 | 7 | 15 |
- National project reviews comprise Teknokent and TTO projects.
UYMS27
More information will be available, soon.