Log in

goodpods headphones icon

To access all our features

Open the Goodpods app
Close icon
Select Period Type
dropdown icon

Indie only

Top 3 Technology Podcasts

Feb 10, 2025

The Best Technology Podcasts from millions of podcasts available on the Goodpods platform and ranked by listens, ratings, comments, subscriptions and shares.

Practical AI: Machine Learning, Data Science, LLM
Top 10 Best Practical AI: Machine Learning, Data Science, LLM Episodes

456 Episodes

|

Avg Length 47m

|

Latest episode 9 days ago

share icon

Share

Making artificial intelligence practical, productive & accessible to everyone. Practical AI is a show in which technology professionals, business people, students, enthusiasts, and expert guests engage in lively discussions about Artificial Intelligence and related topics (Machine Learning, Deep Learning, Neural Networks, GANs, MLOps, AIOps, LLMs & more). The focus is on productive implementations and real-world scenarios that are accessible to everyone. If you want to keep up with the latest advances in AI, while keeping one foot in the real world, then this is the show for you!

2.

PRETEND

rank icon

13

PRETEND
Top 10 Best PRETEND Episodes

271 Episodes

|

Avg Length 36m

|

Latest episode 5 days ago

share icon

Share

From cult leaders to con artists and undercover FBI agents, PRETEND exposes those pretending to be someone they're not.
Podnews Daily - podcast industry news
Top 10 Best Podnews Daily - podcast industry news Episodes

2372 Episodes

|

Avg Length 4m

|

Latest episode 2 days ago

share icon

Share

Daily news for the podcast and on-demand audio industry - from Apple Podcasts to Spotify, YouTube Music to Joe Rogan. Podnews also covers the latest jobs and events and trending shows in a short update every weekday. [email protected] - visit https://podnews.net to get our free newsletter.

Technology Podcasts

Listen up, tech-heads and gadget geeks! It's time to turn up the volume and tune into our Technology Podcasts. We're not here to bore you with the usual tech drivel - we're here to bring you the latest and greatest tech news, trends, and innovations in a way that's fun, engaging, and just a little bit quirky.

From the latest smartphones to the wildest new AI applications, we've got our fingers on the pulse of the tech world. And we're not just talking about it - we're diving deep into the tech trenches to bring you exclusive interviews with tech leaders, insider insights into the industry, and a healthy dose of humor and personality.

Top 100 Technology Podcasts

Our listeners have taken the liberty of rating the top technology podcasts for you. So plug in your earbuds and join us for a tech journey like no other. We're the technology podcasts that's breaking the tech mold and bringing you the tech talk you didn't even know you needed. Don't miss out on the fun.

What's the best technology podcast right now in 2025?

Goodpods aggregates the best technology podcasts people are listening to right now. From technology-favorites to new releases, these shows are guaranteed to be entertaining and informative. Check out the top-rated technology podcasts in 2025 according to the Goodpods list. Explore our popular categories like Google PodcastsArtificial Intelligence Podcasts, and Microsoft Podcasts.

 

Frequently Asked Questions About Technology Podcasts

What are technology podcasts?

Technology podcasts are audio programs that explore and discuss topics related to the world of technology. These podcasts cover a wide range of subjects, including the latest tech trends, innovations, industry insights, cybersecurity, artificial intelligence, software development, and discussions on the impact of technology on society.

How can technology podcasts benefit listeners?

Technology podcasts offer numerous benefits to listeners. They provide a convenient and accessible way to stay informed about the rapidly evolving world of technology. Listeners can gain insights into new gadgets, emerging technologies, industry trends, and expert opinions, helping them stay up-to-date and make informed decisions in the tech space.

What topics are covered in technology podcasts?

Technology podcasts cover a diverse array of topics. Common areas include discussions on new gadgets and devices, software development practices, cybersecurity threats and solutions, artificial intelligence, machine learning, robotics, tech industry news, and the societal impact of technological advancements.

Can you recommend some popular technology podcasts?

Absolutely! Here are a few popular technology podcasts: "Reply All" by Gimlet Media, "The Vergecast" by The Verge, "Accidental Tech Podcast," "This Week in Tech (TWiT)," "Clockwise," and "The Upgrade by Lifehacker." These podcasts feature discussions, interviews, and insights from experts and enthusiasts in the technology field.

Are technology podcasts suitable for both tech professionals and casual listeners?

Yes, technology podcasts cater to a broad audience. They are designed to be engaging and informative for tech professionals, developers, engineers, and enthusiasts who want in-depth discussions. At the same time, they are accessible and enjoyable for casual listeners who are curious about the latest tech trends and innovations.

Check out these Technology Podcasts

Keeping IT Brief
Top 10 Best Keeping IT Brief Episodes

151 Episodes

|

Avg Length 12m

|

Latest episode 3 days ago

share icon

Share

Information is vital. So is your time. Understanding the importance of balancing both, Forum has launched this initiative designed to bring you quick, relevant podcasts, featuring Government and Industry leaders, and covering topics that support our Federal IT community.

Best Night Ever!
Top 10 Best Best Night Ever! Episodes

80 Episodes

|

Avg Length 45m

|

Latest episode 1 year ago

share icon

Share

Your best mornings will always start with a great night of sleep! Dr. Jay Khorsandi, the sleep and life-hack expert with over 20 years of clinical experience transforming the lives of patients invites you to join him and world-renowned experts to talk tips and tricks that will help you sleep better, be healthier and live a more energetic and productive life! Learn how to make sleep your best friend. Explore ways to wake up feeling more refreshed and discover how to carry that new found energy throughout your day. If you feel like your sleep and daytime performance could use a shot in the arm you'll want to tune in as we uncover cutting edge sleep science, traditional and even ancient practices, as well as game-changing technologies and biohacking tools that will help you revolutionize your life game.
Ruby Book Club Podcast
Top 10 Best Ruby Book Club Podcast Episodes

75 Episodes

|

Avg Length 29m

|

Latest episode 7 years ago

share icon

Share

Where we discuss an hour of a Ruby book each week
論より動くもの.fm
Top 10 Best 論より動くもの.fm Episodes

33 Episodes

|

Avg Length 16m

|

Latest episode 17 days ago

share icon

Share

「STORES」の各サービスを運営する STORES 株式会社のCTO 藤村がホストとなって、技術や技術にまつわらないことについてざっくばらんに話すPodcastです。 ■ STORES では、いっしょに働く仲間を募集しています エンジニア採用情報:https://jobs.st.inc/engineer STORES Product Blog:https://product.st.inc/
Straighten Your Crown
Top 10 Best Straighten Your Crown Episodes

27 Episodes

|

Avg Length 46m

|

Latest episode 3 years ago

share icon

Share

World domination for female entrepreneurs. Join Andrea & Amy as we share all of the secrets you need to know about starting, scaling, and raising money for a business -- and everything you need to know as a leader.
Code; Without Barriers
Top 10 Best Code; Without Barriers Episodes

7 Episodes

|

Avg Length 26m

|

Latest episode 2 years ago

share icon

Share

Code; Without Barriers - A conversational podcast series, powered by Microsoft, aimed to create awareness, challenge assumptions and celebrate diversity in the world of coding, deep-tech, and data science. Diversity is a vast topic and we recognize the many nuances of it and the need to address it from various lenses. In this series, we begin with a focus on gender diversity in tech. Every episode we will bring you enlightening conversations with leaders and change-makers from various leading organizations and developer communities across Asia.
3PL Live
Top 10 Best 3PL Live Episodes

123 Episodes

|

Avg Length 38m

|

Latest episode 9 months ago

share icon

Share

3PL live does in-depth interviews of founders, technologists, and innovators. We focus on freight tech but we interview people from different industries if they're able to share knowledge with our audience.
Apfeltalk Editor's Podcast Täglich
Top 10 Best Apfeltalk Editor's Podcast Täglich Episodes

318 Episodes

|

Avg Length 13m

|

Latest episode 3 years ago

share icon

Share

Eine etwas mehr persönliche Einschätzung der Lage.
Homo codeus
Top 10 Best Homo codeus Episodes

14 Episodes

|

Avg Length 24m

|

Latest episode 2 years ago

share icon

Share

Сучасне життя складно уявити без таких компаній, як Google, Facebook, Uber, Amazon, Netflix, Spotify чи SpaceX. Вони змінюють нашу реальність: спрощують чи ускладнюють життя, впливають на те, як ми бачимо й сприймаємо усе навколо, допомагають ухвалювати рішення. Їх об'єднує й те, що в цих компаніях працюють українці. Вони є нашими codeus — тими, хто створює майбутнє. У подкасті Дмитро Пальчиков спілкується з українцями, які працюють в найкрутіших технологічних компаніях світу. Як вони там опинились? Чим їхнє життя за кордоном відрізняється від життя в Україні? Куди рухається світ алгоритмів?
Houston AMSAT Net Podcast
Top 10 Best Houston AMSAT Net Podcast Episodes

183 Episodes

|

Avg Length 58m

|

Latest episode 12 days ago

share icon

Share

Houston AMSAT Net Podcast feeds expire after four weeks. Houston AMSAT Net discusses satellite and balloon related information specifically for ham radio operators worldwide. Originating feed is Tuesday evenings at 8PM Central Time at http://www.amsatnet.com
VUE Points with Sharon Kitzman
Top 10 Best VUE Points with Sharon Kitzman Episodes

37 Episodes

|

Avg Length 20m

|

Latest episode 4 months ago

share icon

Share

Sharon Kitzman, President of Dominion DMS, discusses the franchised automotive dealer technology landscape with industry colleagues.
Morning Maker Show
Top 10 Best Morning Maker Show Episodes

56 Episodes

|

Avg Length 55m

|

Latest episode 2 months ago

share icon

Share

Discover what indie makers, solopreneurs and other brave souls are building in public, celebrating or struggling with as Dan and Sandra go through their exciting updates, meet great new people and try out brilliant products.
The Thocc - Talking about the mechanical keyboard hobby
Top 10 Best The Thocc - Talking about the mechanical keyboard hobby Episodes

14 Episodes

|

Avg Length 65m

|

Latest episode 3 years ago

share icon

Share

A podcast about the mechanical keyboard hobby and what makes it talk...
AcoraCast
Top 10 Best AcoraCast Episodes

18 Episodes

|

Avg Length 24m

|

Latest episode 5 months ago

share icon

Share

Welcome to AcoraCast - The forefront of expertise and innovation, with the freshest IT, cyber security and AI insights brought to you by Acora.
Tune in as we unravel the latest trends, tips, and tools, all tailored to empower you in your role as an IT or Security Trailblazer.

Interested in seeing what else Acora can do? Visit our website.

O Rio É Tech | Com Beto Largman
Top 10 Best O Rio É Tech | Com Beto Largman Episodes

152 Episodes

|

Avg Length 21m

|

Latest episode 2 days ago

share icon

Share

O mercado de tecnologia tem crescido de forma significativa nos últimos anos na cidade do Rio. Tudo isso é impulsionado por investimentos, iniciativas governamentais e privadas, em um ambiente favorável ao empreendedorismo e à inovação. Para falar sobre o tema, toda segunda-feira, dentro do Jornal BandNews Rio – 2a Edição, Beto Largman traz o que é destaque no mercado de tecnologia carioca. ▶️ Quem é Beto Largman? Aos cinco anos Beto Largman já sabia o que queria ser quando crescer: fazer parte dos maravilhosos mundos da tecnologia e da comunicação, ainda sob o encanto do pouso do homem na Lua, que assistiu pela televisão. Hoje, um dos maiores prazeres do jornalista, consultor e produtor musical é compartilhar esta paixão com outras pessoas. Em seu blog Feira Moderna, que começou há 17 anos, Beto mostra o que há de novo no mundo da tecnologia e da inovação de maneira leve e sem "tecniquês". Participou como comentarista de programas nos canais Globo, Futura, Globonews e TV Brasil e é coautor de conteúdos exibidos no Museu do Amanhã e na Casa Firjan. Entre as empresas e instituições nas quais já trabalhou como consultor ou palestrante estão a TV Globo, Vale, Petrobras, Unimed, Energisa, Ministério da Defesa, Firjan, Senac, Oi e Globo News.
Digitiv. The Podcast.
Top 10 Best Digitiv. The Podcast. Episodes

86 Episodes

|

Avg Length 18m

|

Latest episode 2 years ago

share icon

Share

Join us as we pull back the curtain on what it means to start, grow, and thrive as a small business. We'll share tips and tricks, pitfalls you'll want to avoid, and the occasional interview with entrepreneurs succeeding today.
Femtech Force
Top 10 Best Femtech Force Episodes

49 Episodes

|

Avg Length 55m

|

Latest episode 1 month ago

share icon

Share

Femtech Force — это подкаст о карьере в фемтехе по всему миру на русском языке. Интервью с фаундерами, сотрудниками, инвесторами.

Фемтех — технологии для улучшения жизни женщин. Чаще всего это приложения, платформы, сервисы, девайсы, диджитал-комьюнити затрагивающие репродуктивное здоровье, но не только! В FemTech можно найти решения самых разнообразных вопросов - от здоровья, красоты и секса до карьеры и образования.

Присоединяйтесь к Femtech Force и инвестируйте свой талант в технологии, улучшающие жизнь женщин!

Музыка: Higher - Mehul Choudhary

Дизайн обложки: Полина Чапурина

Man Behind The Machine
Top 10 Best Man Behind The Machine Episodes

1236 Episodes

|

Avg Length 71m

|

Latest episode 1 day ago

share icon

Share

Man Behind The Machine 1980s retro computers, cybernetics, Machine learning, art, A.I. music, sound experiments and interviews about computers, electronic music, sound design, AR, dystopian futures, synthesizers, philosophy, artificial intelligence, video art, virtual reality, and more.
The Face of Death Archive - ISN Radio
Top 10 Best The Face of Death Archive - ISN Radio Episodes

142 Episodes

0

|

00

Latest episode 28 days ago

share icon

Share

Mehr als nur Musik
Brick by Brick
Top 10 Best Brick by Brick Episodes

15 Episodes

|

Avg Length 54m

|

Latest episode 17 days ago

share icon

Share

Join us as we learn how successful startups were really built, from the people who built them. We know firsthand how much successful company building is a team sport. The founders, early employees, and first investors work together to lay the foundation for the business. In the early days chaos reigns, processes and systems are non-existent, and bold moves are required daily. It’s unglamorous. It’s blocking and tackling. It’s not for the faint of heart. Hear stories, lessons, and the 'what not to dos' from the early employees, founders, and investors from startups you know.
African Tech Conversations
Top 10 Best African Tech Conversations Episodes

30 Episodes

|

Avg Length 55m

|

Latest episode 7 years ago

share icon

Share

The African Tech Conversations series features relaxed in-depth chats that Andile Masuku has with leading entrepreneurs, innovators and thought-leaders who are intimately involved in Africa's tech scene. #ATRUC
The Measure Pod
Top 10 Best The Measure Pod Episodes

129 Episodes

|

Avg Length 33m

|

Latest episode 9 days ago

share icon

Share

The Measure Pod is a fortnightly podcast hosted by veteran practitioners of the marketing and product analytics industry. Join Dan Perry-Reed (Principal Analytics Consultant and Trainer @ Measurelab) and Bhav Patel (Director of Experimentation and Analytics @ LeanConvert) and the occasional guest on their quest to make sense of the analytics industry, and have some fun along the way.
course podcast for EDT 6060 - Trends and Future of Technology in Education taught by Jason Rhode, Ph.D.
Shutters Inc
Top 10 Best Shutters Inc Episodes

107 Episodes

|

Avg Length 52m

|

Latest episode 8 days ago

share icon

Share

The world’s best-loved photography podcast
СмартШоу
Top 10 Best СмартШоу Episodes

25 Episodes

|

Avg Length 37m

|

Latest episode 5 years ago

share icon

Share

Каждую неделю мы обсуждаем наиболее значимые новости из мира технологий, делимся мнениями, даём советы, шутим. Всё это происходит в аудио формате, а потому слушать нас удобно практически в любое время и любом месте — в метро, за рулём, на пробежке, в очереди или в кровати перед сном.
IT那些事儿
Top 10 Best IT那些事儿 Episodes

197 Episodes

|

Avg Length 22m

|

Latest episode 3 months ago

share icon

Share

科技公司CTO,关注互联网、科技领域前沿趋势,兼谈政经、历史及人文
БОЛЬШОЙ БРО
Top 10 Best БОЛЬШОЙ БРО Episodes

273 Episodes

|

Avg Length 65m

|

Latest episode 3 days ago

share icon

Share

Каждую неделю собираем, обсуждаем и высмеиваем самые актуальные и курьёзные события с просторов интернета. Строго под присмотром зловещей нейросети SHiNi v 3.0.

https://hipolink.me/bbpodcast
https://linktr.ee/bbro_podcast

Szkoła Testowania
Top 10 Best Szkoła Testowania Episodes

21 Episodes

|

Avg Length 9m

|

Latest episode 3 years ago

share icon

Share

Szkoła Testowania - Podcast o testowaniu - w prosty i jasny sposób www.szkolatestowania.pl
Your Weekly Tech Update with Ray McNeal (audio podcast)
Top 10 Best Your Weekly Tech Update with Ray McNeal (audio podcast) Episodes

89 Episodes

|

Avg Length 24m

|

Latest episode 3 years ago

share icon

Share

Your Weekly Tech Update with host Ray McNeal is your one stop shop for everything geek! With the latest from Google, Facebook, Tesla, Darpa, VR, gaming, and everything in between – Ray scours the interwebs to bring you the newest, coolest, and craziest stories.
Breakpoint Security Podcast
Top 10 Best Breakpoint Security Podcast Episodes

37 Episodes

|

Avg Length 40m

|

Latest episode 13 days ago

share icon

Share

Breakpoint-'Exploring the depths of Defensive Security'. The defensive side of Security is a world in itself with teams achieving amazing feats that involve excellent engineering practices and smart optimisation for scale. This is not talked about enough in the industry. Join me in the br3akp0int podcast as we reflect on the methods and approaches these smart teams use to solve practical challenges in information security and innovate their way into the future. Who is this meant for? : This podcast is for anyone in InfoSec willing to know more about advances in security techniques. This includes security researchers or professionals, product owners, compliance or cloud, AI/ML, threat intel, SecOps automation, Security Leaders, development teams, pentesters and security practitioners. A bit about me: I am a technical security enthusiast and have been dabbling my hands at both offensive and defensive security. I am passionate about growing security communities and have spoken and trained at various security conferences.

Helpdesk Miles the Podcast
Top 10 Best Helpdesk Miles the Podcast Episodes

7 Episodes

|

Avg Length 24m

|

Latest episode 5 years ago

share icon

Share

Just an IT professional talking about anything technology like working an entry level helpdesk position, learning new tech skills, obtaining certs, building PCs, cool devices, voice assistant, VR, and more.
The freeCodeCamp Podcast
Top 10 Best The freeCodeCamp Podcast Episodes

159 Episodes

|

Avg Length 76m

|

Latest episode 2 days ago

share icon

Share

The official podcast of the freeCodeCamp.org open source community. Each week, freeCodeCamp founder Quincy Larson interviews developers, founders, and ambitious people in tech. Learn to math, programming, and computer science for free, and turbo-charge your developer career with our free open source curriculum: https://www.freecodecamp.org
25Minutes: Insights. Expertise. Impact.
Top 10 Best 25Minutes: Insights. Expertise. Impact. Episodes

2 Episodes

|

Avg Length 14m

|

Latest episode 4 days ago

share icon

Share

In just 25 minutes, I deliver concise and thought-provoking conversations with top minds in technology, cybersecurity, business, culture and enterpreneurship. Whether you’re a technologist, executive, culture-enthusiast or someone passionate about growth, each episode explores trends, strategies and ideas that shape success.

For those with limited time but unlimited ambition, 25Minutes offers actionable insights and fresh perspectives where they matter most. Your time is valuable. Your 25 minutes. Your advantage.
Contact: [email protected]

SEO podcast IF.PL
Top 10 Best SEO podcast IF.PL Episodes

2 Episodes

|

Avg Length 5m

|

Latest episode 1 month ago

share icon

Share

Jeśli szukasz wiedzy o SEO, nasz podcast to idealne miejsce. Dowiesz się, jak budować strategię, która przynosi długotrwałe rezultaty. Odkryj, jak SEO może stać się Twoim kluczem do sukcesu w sieci i zbuduj silną pozycję w wynikach wyszukiwania. https://if.pl/
Inovacast
Top 10 Best Inovacast Episodes

40 Episodes

|

Avg Length 21m

|

Latest episode 2 years ago

share icon

Share

Podcast o Průmyslu 4.0 a inovativních lidech, kteří ho tvoří, vám přináší Národní centrum Průmyslu 4.0. Aleš Vlk zpovídá osobnosti českého průmyslu a zjišťuje jejich názory na dění v oboru a jeho budoucnost, abyste vy už nemuseli. Nechte se inspirovat.
همسات في التقنية Tech Whispers
Top 10 Best همسات في التقنية Tech Whispers Episodes

9 Episodes

|

Avg Length 9m

|

Latest episode 9 months ago

share icon

Share

Empowering a Smarter Tomorrow with Game Changing Technology and AI| غَدٍ أكثر ذكاء عبر تكنولوجيا مبتكرة وذَكَاءِ اصطناعي
AgTech Finder
Top 10 Best AgTech Finder Episodes

36 Episodes

|

Avg Length 31m

|

Latest episode 4 months ago

share icon

Share

If you’re looking to adopt agtech on-farm, but don’t know where to start, AgTech Finder is here to help. With over 270 companies, offering more than 350 solutions, AgTech Finder helps you make confident technology decisions to improve your operations. Tune in to hear from the companies at the forefront of innovation, and the producers who are using the technology on farm. AgTech Finder is Australia’s most comprehensive database of agtech products. www.agtechfinder.com
Moonshot
Top 10 Best Moonshot Episodes

99 Episodes

|

Avg Length 28m

|

Latest episode 2 years ago

share icon

Share

Explore the world's biggest ideas and the people making them happen. Are you ready for self-driving cars, jetpacks, 3D printed food, or a trip to Mars? Moonshot talks to the people who are at the forefront of all this rapid change to find out what the future of humanity might actually look like. Hosted by Kristofor Lawson and Andrew Moon.

The Loosely Coupled Show
Top 10 Best The Loosely Coupled Show Episodes

28 Episodes

|

Avg Length 30m

|

Latest episode 4 years ago

share icon

Share

The Loosely Coupled Show is where James Hickey and Derek Comartin share their strongly held opinions about topics relating to software architecture and design: HTTP REST design, asynchronous messaging patterns, distributed systems, microservices, SOA, Domain-driven design, etc. From time-to-time, we chat with industry experts who have specific specializations within the field of software development & design.
“No limite da Inteligência Artificial” é um podcast que todas as semanas nos traz uma conversa sobre IA, que será alargada a outros temas de tecnologia e do empreendedorismo. São quatro temas por episódio conduzidos pelo jornalista Bruno Contreiras Mateus, com Paulo Dimas, vice-presidente de Inovação de Produto da Unbabel e CEO do centro para a IA responsável em Portugal, acompanhados por uma convidada semanal especialista nestes temas, que irá também acrescentar um olhar feminino.
Django Brew
Top 10 Best Django Brew Episodes

5 Episodes

|

Avg Length 35m

|

Latest episode 1 month ago

share icon

Share

A fun, caffeine-powered podcast about the Django web framework by Adam Hill and Sangeeta Jadoonanan!

Game-Changing Utilities of the Future, Presented by SAP
Top 10 Best Game-Changing Utilities of the Future, Presented by SAP Episodes

22 Episodes

|

Avg Length 57m

|

Latest episode 7 years ago

share icon

Share

Game-changing technology strategies are transformational, exciting and disruptive for a reason. They shake up your status quo. They get you thinking about new ways to scale, compete and grow. They move you in amazing new directions. Join host Bonnie D. Graham as she invites you to take an additional Coffee Break with Game-Changers for our special series on Game-Changing Utilities of the Future. We’ll explore the complete range from the customer experience to the digital workforce and how the utilities industry is transforming or reinventing themselves in this Digital Age. Learn how you can become the savvy Leader who takes your company across the finish line as you look ahead to the next wave of business innovation. Game-Changing Utilities of the Future, presented by SAP, on the VoiceAmerica Business Channel.
granola fm / グラノラ fm 🌾
Top 10 Best granola fm / グラノラ fm 🌾 Episodes

31 Episodes

|

Avg Length 20m

|

Latest episode 10 months ago

share icon

Share

granola fmはヘルシーに賢くモノ選びをしたい人のためのポッドキャストです。
Der Logistik Podcast
Top 10 Best Der Logistik Podcast Episodes

62 Episodes

|

Avg Length 27m

|

Latest episode 2 months ago

share icon

Share

Wohin entwickelt sich die Logistik im Handel? WITRON realisiert weltweit Logistiklösungen für die Branche. Mitarbeiter, Kunden und Partner berichten im Podcast über neue Logistik-Konzepte, hybride Lagerstrukturen, Usability, Nachhaltigkeit im Lager und neue Technologien wie Machine Learning oder unternehmensübergreifende Datenanalyse. Wollen Sie mitdiskutieren? Gerne! Schreiben Sie uns dann doch bitte eine Nachricht.
Sciences du logiciel - Xavier Leroy
Top 10 Best Sciences du logiciel - Xavier Leroy Episodes

60 Episodes

|

Avg Length 73m

|

Latest episode 11 months ago

share icon

Share

Écrire un petit programme informatique est facile. Concevoir et réaliser un logiciel complet qui soit fiable, pérenne et résistant aux attaques reste extraordinairement difficile. C'est le but des sciences du logiciel que de concevoir et développer les principes, les formalismes mathématiques, les techniques empiriques et les outils informatiques nécessaires pour concevoir, programmer et vérifier des logiciels fiables et sécurisés.

L'enseignement de la chaire Sciences du logiciel vise à explorer cette problématique et à présenter la recherche contemporaine dans ce domaine. Le cours privilégie les approches dites « formelles », par opposition à l'empirisme souvent de mise en génie logiciel. Ces approches s'appuient sur des fondements mathématiquement rigoureux, connus ou en émergence : sémantiques formelles, logiques de programmes, systèmes déductifs, équivalences de programmes, calculs de processus... Historiquement, ces concepts ont émergé de considérations de programmation très terre-à-terre avant de se parer de rigueur mathématique. Le cours s'efforce de retracer ce cheminement des idées en partant de l'intuition du programmeur et en allant jusqu'à la mécanisation de ces approches formelles.

Les premières années de cet enseignement auraient pu s'intituler « Programmer, démontrer », car ils ont exploré plusieurs modes d'interaction entre la programmation de logiciels et la démonstration d'énoncés mathématiques : programmer puis démontrer, comme dans les logiques de programmes pour la vérification déductive ; programmer pour démontrer, comme dans les logiques constructives et l'assistant à la démonstration Coq ; enfin, programmer égale démontrer, comme dans la féconde correspondance de Curry-Howard, objet de la première année du cours.

La recherche de la chaire Sciences du logiciel s'effectue dans le cadre de l'équipe-projet Cambium, commune avec l'Inria. Les travaux de l'équipe visent à améliorer la fiabilité, la sûreté et la sécurité du logiciel en faisant progresser les langages de programmation et les méthodes de vérification formelle de programmes. Les principaux thèmes de recherche sont les systèmes de types et les algorithmes d'inférence de types, la vérification déductive de programmes, le parallélisme à mémoire partagée, et les modèles mémoires faiblement cohérents. L'équipe conçoit et développe deux grands logiciels de recherche qui intègrent et font passer dans la pratique bon nombre de ses résultats : OCaml, un langage de programmation fonctionnel statiquement typé et son implémentation, et CompCert, un compilateur formellement vérifié pour logiciels embarqués critiques.