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.
ITU Beamer Template
You can find my Beamer Template here. Feel free to use it.
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.