JetBrains Research Podcast

JetBrains Research

At JetBrains Research, we bring innovative technology and scientific research to JetBrains products. The JetBrains Research Podcast is a new initiative, where our researchers interview experts in the field. We plan to publish new episodes about once a month. Subscribe to get notified about new episodes + find out more about JetBrains Research on our website and our blog!

Episodes

  1. Alexander Kulikov: Complexity Theory, AI, and How We Teach Computer Science Now

    May 18

    Alexander Kulikov: Complexity Theory, AI, and How We Teach Computer Science Now

    In our newest episode, we chat with Alexander Kulikov, head of the Computer Science and Artificial Intelligence B.Sc. program at Neapolis University Pafos. Episode links: https://www.linkedin.com/in/alexanderskulikov/ https://www.coursera.org/specializations/data-structures-algorithms https://cogniterra.org/course/697/promo https://compeau.cbd.cmu.edu/online-education-projects/programming-for-lovers/ https://lean-lang.org/ https://www.manim.community/ Our previous episodes can be found here: https://jb.gg/rsrch-pdcst Find out more about JetBrains Research here: https://jb.gg/rsrch Chapters: 00:00 – Introduction and STACS Conference 02:00 – AI in Theoretical Computer Science 04:30 – Bachelor Program and Evolving Curriculums 08:30 – Boolean Circuit Synthesis Competitions 12:00 – The "Game of Life" and Modern AI Iterations 16:45 – LLMs Winning IMO Medals 22:00 – Formal Verification and the Lean Language 25:30 – The Chess Analogy: AI Replacing Mathematicians 33:00 – AI Coding Agents and Don Knuth's $2.56 Check 38:30 – Distributed Algorithms and Complexity Theory 41:00 – Large-Scale Online Education and Adding JavaScript 48:45 – The Importance of Algorithmic Thinking 56:00 – Real-World Application: The Google Maps Polygon Problem 1:01:30 – Bioinformatics, SPAdes, and Fundamental vs. Applied Research 1:10:00 – Sabbatical Dreams: P vs. NP and Linear Time Limits 1:18:00 – Creating Mathematical Animations with Python 1:21:30 – AI Interpolation vs. Extrapolation and Joke Generation 1:25:00 – "Birds vs. Frogs": Research Styles in the AI Era 1:30:15 – Surprises, Rapid Changes, and the Future of AI 1:33:30 – Advice for New PhD Students: Follow Your Passion 1:36:30 – Outro and Final Thoughts

    1h 37m
  2. Ibragim Badertdinov: From Dentistry to AI, Coding Agents, SWE-rebench | JetBrains Research Podcast

    Mar 6

    Ibragim Badertdinov: From Dentistry to AI, Coding Agents, SWE-rebench | JetBrains Research Podcast

    In our second episode, we chat with Ibragim Badertdinov from Nebius about SWE-rebench, coding agents, and his path from dentistry and AI. Our first episode can be found here Episode links: SWE-rebench: https://swe-rebench.com/ConTree: https://contree.dev/ Ibragim: https://x.com/ibragim_bad Also mentioned: https://huggingface.co/datasets/nebius/SWE-bench-extra https://scale.com/leaderboard/swe_bench_pro_public https://swe-bench-live.github.io/ Find out more about JetBrains Research: https://lp.jetbrains.com/research/software-engineering/ Chapters: 00:00:00 Teaser & Introduction 00:02:41 Ibrahim's Non-Traditional Background: From Dentistry to Tech 00:10:45 The "School 42" Bootcamp Experience 00:13:00 Getting into Machine Learning & Kaggle 00:17:20 The First Internship & Learning from a Great Mentor 00:20:10 Contrasting the Worlds of Medicine and Tech 00:26:56 What Are Coding Agents? 00:33:40 Explaining SWE-bench: How Coding Tasks Are Evaluated 00:37:15 RLVR (Reinforcement Learning with Verifiable Rewards) 00:43:10 The Creation of SWE-Rebench 00:50:00 The Main Challenges with Task Quality and Scale 00:55:00 What's New in SWE-Rebench V2 (and Kotlin support) 00:58:42 Will AI Change Code Review? 01:02:00 contree.dev: A New Checkpointing & Forking Tool for Agents 01:09:35 The Open-Source Community's Reaction to SWE-Rebench 01:15:20 SWE-Bench Pro vs. SWE-Rebench 01:18:20 Why Nebius Invests in Open-Source Research 01:21:00 Predictions for the Future of AI and Programming 01:26:00 Final Advice for Career Switchers

    1h 27m
  3. Anna Kogan: OpenCV, Future of Computer Vision, Open Source vs. Startups | JetBrains Research Podcast

    Jan 19

    Anna Kogan: OpenCV, Future of Computer Vision, Open Source vs. Startups | JetBrains Research Podcast

    We discuss the legacy of OpenCV, the future of Computer Vision, how AI can transform professional sports through biomechanics, and why real-world technology adoption remains so slow. Episode links OpenCV: https://opencv.org/ FitWise AI: https://www.thefitwise.com/ Anna Kogan: linkedin: / anna-kogan-44b24673

    1h 32m
  • 3 Episodes

About

At JetBrains Research, we bring innovative technology and scientific research to JetBrains products. The JetBrains Research Podcast is a new initiative, where our researchers interview experts in the field. We plan to publish new episodes about once a month. Subscribe to get notified about new episodes + find out more about JetBrains Research on our website and our blog!

Information