Skip to main content
Shpat Morina on Muck Rack

Shpat Morina

As seen in: Animation Magazine
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile

Get in touch with Shpat

Contact Shpat, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

Articles

‎Building Better Systems on Apple Podcasts

|
By Shpat Morina, Joey Dodds
| Apple Podcasts
22 episodes Exploring tools and approaches that make us more effective engineers and make our systems safe and reliable. Join us for discussions on recent developments in topics such as best practices in reliability and security, applied formal methods, encryption, and safe and secure hardware. Exploring tools and approaches that make us more effective engineers and make our systems safe and reliable.
Open in Who Shared Issue with article?

‎Building Better Systems: #14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean on Apple Podcasts

|
By Joey Dodds, Shpat Morina, Leo de Moura
| Apple Podcasts
In this episode, we talk with Leo de Moura, a principal researcher at Microsoft Research. We’ll dive into his work on Lean, how goals for Lean have evolved, and who can use it. We also discuss how Leo was able to implement such a system without being a programming languages expert
Open in Who Shared Issue with article?

Animation Magazine

|
By Mercedes Milligan Verified, Shpat Morina
| Animation Magazine Verified
Kill It and Leave This Town After a busy week packed with screenings of competitive & non-competitive films, panels, presentations and workshops, the 12th edition of Anibar International Animation Festival came to an end Friday night in Peja. The Closing Ceremony at the Lake Cinema announced the winning films in six competition categories, in the presence of Kosovo’s Prime Minister Albin Kurti. The festival competitions were judged by three different juries.
Open in Who Shared Issue with article?
See all 3 articles