{"id":105,"date":"2026-10-01T10:08:00","date_gmt":"2026-10-01T10:08:00","guid":{"rendered":"https:\/\/example.edu\/?page_id=102"},"modified":"2026-10-02T07:30:22","modified_gmt":"2026-10-02T07:30:22","slug":"research-2","status":"publish","type":"page","link":"https:\/\/blog.metu.edu.tr\/tugluk\/","title":{"rendered":"Research"},"content":{"rendered":"\n
\n
\n
\"\"<\/figure>\n\n\n\n

Ozan Tu\u011fluk<\/h1>\n\n\n\n

Assistant Professor
Institute of Applied Mathematics, METU<\/p>\n\n\n\n

Home<\/a>
Research<\/a>
Publications<\/a>
Software<\/a>
Talks<\/a>
Teaching<\/a>
Supervision<\/a>
Contact<\/a><\/p>\n<\/div>\n\n\n\n

\n
\n

\ud83d\udce3 Fall 2026:<\/strong> I am teaching IAM 774 Scientific Machine Learning<\/strong> and IAM 574 Mathematical Foundations for Data Analysis<\/strong>. See Teaching<\/a>.<\/p>\n<\/div>\n\n\n\n

About<\/h2>\n\n\n\n
\n\n\n\n

I am an assistant professor at the Institute of Applied Mathematics (IAM)<\/strong> of Middle East Technical University (METU)<\/strong>, Ankara.<\/p>\n\n\n\n

My research is about certified error bounds for scientific computing<\/strong>: guarantees that tell you how far a computed quantity can be from the true one. I work on error-bounded lossy compression<\/strong> of scientific data with multilevel (multigrid) methods<\/strong>, on machine-checked proofs<\/strong> of these guarantees in Lean 4<\/strong>, on quantum algorithms for computational fluid dynamics<\/strong>, and on direct numerical simulation of turbulence<\/strong> and drag reduction.<\/p>\n\n\n\n

Background:<\/strong><\/p>\n\n\n\n