show episodes
 
Artwork

1
ASRA RAPP

American Society of Regional Anesthesia and Pain Medicine

icon
Unsubscribe
icon
Unsubscribe
Monthly
 
The American Society of Regional Anesthesia and Pain Medicine presents the Regional Anesthesia and Pain Podcast (ASRA RAPP). Designed to bring you ongoing conversations in this exciting field, the podcast discusses current topics in both regional anesthesia and pain medicine, invites authors of significant publications to help explain their work, debates the merits and pitfalls of new technology and therapy, and informs you about important events where you can participate in the ASRA Pain Me ...
  continue reading
 
Loading …
show series
 
In this episode we continue with our conversation with David MacQueen, he is an Emeritus Professor from the University of Chicago, and has worked at Bell Labs for 20 years. Bell Labs began as the research and development section of the American Telephone and Telegraph company, aka AT&T, which originally hold exclusive hold of the telephone patent. …
  continue reading
 
David MacQueen has worked at Bell Labs for around 20 years during it’s Golden Age. Professor at Chicago University for 23 years. He is one of the designers of SML, one of the fathers of HOPE the programming language that introduced the notion of Algebraic Datatypes. So this interview was very special to me personally where I could get to hear all t…
  continue reading
 
In this episode Pierre-Marie Pédrot, one of the main Coq/Rocq developers joins us to talk about Krivine, Kleene and Gödel Realizability Models, how it relates to the BHK interpretation and CPS Translations, and how it was all already part of Gödel's work in Dialectica! If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.…
  continue reading
 
In this episode Pierre-Marie Pédrot who is one of the main Coq/Rocq developers joins us to talk about what is Type Theory, what is Martin-Löf Type Theory, what are the properties we should care about in our type theory and why. If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall Links Pierre-Marie's …
  continue reading
 
Mario Carneiro is the creator of Mathlib, Lean4Lean and Metamath0. He is currently doing his Postdoc at Chalmers University working on CakeML. In this episode we talk about foundations of theorem provers, type systems properties, semantics and interoperabilities. If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/ty…
  continue reading
 
Guest host Pankti Acharya (@PanktiAcharya3) from the Resident & Fellow Committee (#ASRARFC) joins Christy Hunt in a special episode on getting involved in advocacy and pain medicine. Stay tuned for more advocacy episodes brought to you by the #ASRARFC. Guests: - Christine Hunt, DO ________________ Thanks to The Preps from Philadelphia, PA for the m…
  continue reading
 
Raj Gupta (@dr_rajgupta) joins Christy Hunt, Ryan D'Souza, and Crystal Joseph to discuss the exciting 23rd Annual Pain Medicine Meeting (#ASRAFALL24), coming up this November 21-23, 2024, in Las Vegas, NV. Register for the meeting at asra.com/pain. Streamed 9/20/2024. Guests: - Christine Hunt, DO - Ryan D'Souza, MD (@Ryan_S_DSouzaMD) - Crystal Jose…
  continue reading
 
In this episode Eric Bond and Patrick Lafontaine joins us to talk about the life in industry vs the life in academia. Eric is a PhD student at Michigan University under Max New, he works with some pretty cool esoteric cubical agda stuff. Before starting his PhD he has spent some time at the consultancy companies Two Six Technologies and 47 Degrees …
  continue reading
 
In this episode we talk with Fabrizio Montesi, a Full Professor at the University of South Denmark. He is one of the creators of the Jolie Programming Language, President of the Microservices Community and Author of the book 'Introduction to Choreographies'. In today’s episode we talk about the formal side of Distributed Sytems, session types, the …
  continue reading
 
Satnam Singh has got incredible experience in both academia and industry. He has worked in Google, Facebook, Microsoft, Microsoft Research, Xilinx, etc. He has been a lecturer in Glasgow, Birmingham and University of California for a couple of years. He has worked with many interesting tools such Coq, Haskell, Verilog, Tensorflow. These days he wor…
  continue reading
 
In this episode we go into a deep dive into the formal methods side of Voting systems, and for this nobody better than our guest: Joe Kiniry, A Principal Scientist at Galois, Principled CEO and Chief Scientist of Free & Fair, a Galois spin-out focused on high-assurance elections technologies and services. For the past 20 years Joe has worked tirele…
  continue reading
 
In this episode we continue our conversation with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer. He has also worked as the Executive Director of the Haskell Foundation, at Galois and did his PhD developing a bunch of cool stuff for Idris. In today’s episode we talk about the story behind writing The Litt…
  continue reading
 
In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer. He has also worked as the Executive Director of the Haskell Foundation, at Galois and did his PhD developing a bunch of cool stuff for Idris. David is a super upbeat person and I feel that we could spend hundreds of hours talking…
  continue reading
 
In this episode we talk with Guannan Wei, from Purdue University. Guannanfinished his PhD last year under Tiark Rompf, and is currently doing hisPost-Doc with Tiark. Guannan has worked on a plethora of differentcompilers topics, and in this conversation we will talk about Staging,Futamura Projections, Symbolic Execution, Compiler Applications in Sm…
  continue reading
 
Host Dr. Raj Gupta previews the amazing program and events of the upcoming ASRA Pain Medicine Spring Meeting in San Diego, CA on March 21-23 with Dr. Ki Jinn Chin, Dr. Ed Mariano, Dr. Jeni Noerenberg, Dr. Steve Porter, and Dr. Melody Herman. Go to https://asra.com/raapm for more details. Support the show Twitter: @ASRA_Society, @dr_rajgupta…
  continue reading
 
In this episode we celebrate 3 years of existence of this podcast byreflecting on the journey so far, what is my philosophy, how do Iapproach the interviews, my overall goals for the show, and some of our plansfor the future. In order to achieve this, I first take a detour and tell you a little moreabout my personal history, and my carreer in type …
  continue reading
 
In this episode we talk with Eduardo Rafael. He isself-thaught programming languages enthusiast, youtuber, twitch streamer,multi-skilled programmer that has worked in different aspects of computerscience such as PL, operating systems, blockchain, and many other stuff. Inthis conversation we talk about his experience as a developer and hacker thatdi…
  continue reading
 
Raj Gupta talks with Dr. Kiki Nin, Dr. Paul Su, and Dr. Adam Fischler about the ASRA Society LGBTQIA+ Special Interest Group. Today's topic focuses on the care of transgender patients during gender affirmation surgery and other operations. Support the show Twitter: @ASRA_Society, @dr_rajguptaBy American Society of Regional Anesthesia and Pain Medicine
  continue reading
 
Andrew Marmaduke is a PhD Candidate from the University of Iowa, he worksunder Aaron Stump and has been working on revamping the theorem proverCedille 2. In this episode we tackle fundamental questions about thefoundations of the theorem provers, Cedille and Cedille 2. If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.…
  continue reading
 
Dr. Raj Gupta talks with Dr. Alexios Carayannopoulos about the upcoming 2023 Fall Meeting that will be Nov 10-11, 2023 in New Orleans, LA. Go to https://asra.com/pain for more details. Early registration deadline is September 28. Support the show Twitter: @ASRA_Society, @dr_rajguptaBy American Society of Regional Anesthesia and Pain Medicine
  continue reading
 
Not satisfied with implementing one of the most popular automated theoremprovers, Z3, Leo de Moura also tackles another extremely hard problem inour field and implements a brand new interactivetheorem prover from scratch, Lean. In this episode we dive into the mind andphilosophy of this man. If you enjoy the show please consider supporting us at ou…
  continue reading
 
Check out this conversation with host Raj Gupta and 4 members of the ASRA Pain Medicine Resident Section Committee. We discuss the opportunity that the committee offers to medical students, residents, and fellows interested in getting involved in the society and advancing their careers within regional anesthesia, acute pain, and chronic pain. Guest…
  continue reading
 
In this episode we continue our conversation with Jan de Muijnck-Hughes aResearch Associate at Glasgow University. He works using all sorts of fancytype systems mostly targeted for hardware specification, particularly withthe aid of the theorem prover Idris. This episode we start by talking alittle about Impostor Syndrome in academia and how he has…
  continue reading
 
Dr. Raj Gupta from Vanderbilt University Medical Center in Nashville, TN talks with the Cancer and Supportive Care Special Interest Group of ASRA Pain Medicine about the importance reducing barriers to care for cancer pain patients, expanding access to all forms of pain management, and the value of patients become educated about pain management and…
  continue reading
 
In this episode we have a deep conversation with Jan de Muijnck-Hughes, talksabout all the cool research he has done with idris, hardware and different kindsof interesting type systems such as session types, quantitative types and gradedtypes. In the second half we discuss all the different kinds of problems thathas been going on in PL academia lat…
  continue reading
 
Dr. Raj Gupta from Vanderbilt University Medical Center in Nashville, TN discusses the importance of regional anesthesia and pain management for pediatric surgical cases. His guests are Dr. Michelle Kars from Northwell Cohen Children’s Medical Center in New York and Dr. Abhijit Biswas from London Health Sciences Centre and St. Joseph’s Hospital, We…
  continue reading
 
In this episode we have over Dan Plyukhin, a PhD Candidate fromthe University of Illinois Urbana-Champaign. We talk about Dan’s research is in the field of parallelism, morespecifically garbage collection in the presence of actors. Then we also talk about Pedro's research on translating GADTs from OCaml to Coq,and the burnout process that lead him …
  continue reading
 
Raj Gupta joins #ASRASPRING23 Meeting Chair, Stephen Haskins, to share the exciting program of the 48th Annual Regional Anesthesiology and Acute Pain Medicine Meeting, this April 20-22, in Hollywood, FL! Tune in for a taste of what to expect from this meeting's centennial theme and get ready to celebrate 100 years of regional anesthesia. Register a…
  continue reading
 
#Billing in private practice, #financial implications of outpatient (#ambulatory) total joint surgery, staying up to date while working outside of #academics. Support the show Twitter: @ASRA_Society, @dr_rajguptaBy American Society of Regional Anesthesia and Pain Medicine
  continue reading
 
Gary Schwartz joins #ASRARegen SIG leaders Thomas Buchheit, Yashar Eshraghi, Christine Hunt, and Dmitri Souza to discuss the current state of regenerative medicine, its pearls and pitfalls, and how defining mechanisms of action can give us direction for the future. Support the show Twitter: @ASRA_Society, @dr_rajgupta…
  continue reading
 
Raj Gupta joins leaders Martha Bentley-McLachlan, Jennifer Grimmer, Oluwatobi Hunter, and Zohra Hussaini from the Nurse Practitioner, Physician Assistant, and Clinical Nurse SIG (#APPRNSIG) to discuss collaboration with and the roles of advanced practice providers in clinic settings. Support the show Twitter: @ASRA_Society, @dr_rajgupta…
  continue reading
 
Jimmy Koppel, got his PhD at MIT and found the Mirdin Company, where heteaches engineers to write better code! In this interview we talk about howto make better code, how the knowledge of computer science theory andprogramming languages can help engineers to achieve that, and much more! Links Jimmy's Personal Website Jimmy's Twitter Mirdin's Websit…
  continue reading
 
Registration for the symposium closes at 4 pm ET today, March 11. Save your spot at asra.com/pps Raj Gupta joins Hesham Elsharkawy, chair of the Persistent Perioperative Pain SIG (#ASRAPPPSIG) and chair of the upcoming Chronic Postoperative Pain Symposium (#ASRAPPS23), along with faculty members Hance Clark and David Edwards, to discuss how the sym…
  continue reading
 
Raj Gupta (@dr_rajgupta) joins Kellie Jaremko, the vice-chair of the Resident and Medical Student Pain Education #ASRAResMedEd SIG along with guests Harrison Plunkett, Yasmin Sritapan, and Vats Ambai to discuss trainee opportunities and career development within ASRA Pain Medicine. Guests: -Kellie Jaremko, MD, PhD (@Neuro_Kellie) -Harrison Plunkett…
  continue reading
 
Raj Gupta (@dr_rajgupta) joins Hari Kalagara and Jarna Shah LIVE from the Exhibit Hall of the 21st Annual Pain Medicine Meeting! Streamed 11/17/2022. Guests: - Hari Kalagara, MD (@KalagaraHari) - Jarna Shah, MD (@JarnaShahMD) ________________ Thanks to The Preps from Philadelphia, PA for the music: “Hindsight" and “Left Behind". The band features S…
  continue reading
 
Raj Gupta (@dr_rajgupta) joins #ASRAMilitary leaders Sandeep Dhanjal, Stephen Rodriguez, and Erin Tracy, to discuss what civilian acute and chronic pain physicians can learn from the military experience, what the military still needs to learn from the civilian medical community, and how military personnel with chronic pain move between military and…
  continue reading
 
Kevin Buzzard has been very passionate spreading the word amongmathematicians to use theorem provers mechanize theorems of modernmathematics. In this conversation we will talk about his vision in teachingundergrads to use the Lean theorem prover, what is the Xena Project, his viewof how theorem provers can change the way we do mathematics, and much…
  continue reading
 
In this episode we partner with Formal Land, a company that works in formallyverifying the Tezos codebase! I have worked with them in the past developingnew features to their source-to-source compiler CoqOfOcaml. In this episode wetalk about their work with Tezos and how their techniques are applicable toother codebases as well! For this we talk wi…
  continue reading
 
Raj Gupta (@dr_rajgupta) joins #ASRAFALL22 meeting chair Amy Pearson and planning committee member Alexios Carayannopoulos to share the exciting program of the 21st Annual Pain Medicine Meeting, this November 17-19, in Orlando, FL! Tune in for a taste of what to expect from this meeting's "Making Connections" theme, with new program innovations tha…
  continue reading
 
In this episode we interview Lawrence Paulson, one of the creating fathers ofIsabelle. We talk about the development process, how it drew inspirations andideas from LCF and Boyer Moore. What tools were used, it’s strenghts andweaknesses, and all about the historical context at the time! We also brieflytalk about his formalization of the Gödel's Inc…
  continue reading
 
Raj Gupta (@dr_rajgupta) joins #ASRAGreenSIG leaders Vivian Ip, Deirdre Kelleher, and E.B. Fouts-Palmer to preview the "Environmental Sustainability and Your Practice" symposium (#ASRAGreen22) and discuss recent ASRA Pain Medicine News publications on reducing your carbon footprint, the financial benefits of reducing desflurane use, and the detrime…
  continue reading
 
Does the advent of new portable ultrasounds create opportunities for POCUS in both low-resource countries and combat support hospitals? Raj Gupta (@dr_rajgupta) joins leaders from the #ASRAGlobalHealth SIG (Mark Brouillette and Lena Dohlman) and #ASRAPOCUS SIG (Melissa Byrne) to discuss clinical applications, handhelds, limitations and barriers, an…
  continue reading
 
In this episode we talk about Sigplan, the organization behind the mostimportant conferences and proceedings in our field. What is the SIGPLAN? Whatexactly does it do? How is it organized? How are things published? To answerthese and many other questions we talk with Jens Palsberg, a professor atUCLA, who is the past chair of the SIGPLAN. And also …
  continue reading
 
In this episode Cody Roux teaches some interesting concepts that people careabout in Mathematics and Logic as a way to try to understand what is going onin the universe around us! In particular we will try to explain concepts suchas Impredicativity, Excluded Middle, Group Theory, Model Theory, KripkeModels, Realizability, The Markov Principle, Cut …
  continue reading
 
Raj Gupta (@dr_rajgupta) and #ASRAHeadache SIG leaders Nat Schuster, Meredith Barad, and Gaurav Chauhan discuss the SIG's mission and recent advances in headache treatment: Why are there so many novel, non-opioid migraine medications, so few novel, non-opioid pain medications, and what can the pain field learn from the recent headache advancements?…
  continue reading
 
In this episode Conal Elliott gives a more concrete presentationon what is Denotational Design is and how to use it in practice. It is a continuation of episode #17, in which we had an in-depth philosophicalconversation to explain why he believes thatDenotational Design is a superior form of reasoning in the realm of computerscience. We also contin…
  continue reading
 
Raj Gupta (@dr_rajgupta) joins Regulatory Consultant Bob Jasak, and #PrivatePracticeSIG leaders Maggie Holtz, Jennifer Noerenberg, and Jerry Jones, to discuss the new Federal balance billing and patient cost-sharing protections (#NoSurprisesAct), what the federal law means for state regulation of surprise bills, and more. Streamed 6/28/2022. Guests…
  continue reading
 
Loading …

Quick Reference Guide

Listen to this show while you explore
Play