Bryan Renne |
Education
-
University of British ColumbiaDoctor of Medicine (M.D.)
Faculty of Medicine 8/2015 – 5/2019 -
CUNY Graduate Center 8/2002 – 5/2008Ph.D., Computer Science M.Phil., Computer Science
-
Cornell University 8/1998 – 5/2002B.Sc., Computer Science
Selected Experience
(full details: CV)
- Emergency Department Physician Saskatoon, Canada
-
University of Saskatchewan 8/2023 – 8/2024Resident Doctor, Family Medicine - Emergency Medicine (FM-EM) Department of Academic Family Medicine Saskatoon, Canada
-
University of Saskatchewan 1/2022 – 8/2023Resident Doctor, Family Medicine (completed, CCFP received 8/2023) Department of Academic Family Medicine Saskatoon, Canada
-
University of Saskatchewan 7/2019 – 12/2021Resident Doctor, Neurosurgery (transferred to Family Medicine 1/2022 at PGY3 level) Division of Neurosurgery, Department of Surgery Saskatoon, Canada
-
BC Children's Hospital 6/2016 – 8/2016Summer Student Researcher Division of Neurosurgery, Department of Surgery Supervisor: Paul Steinbok (Neurosurgery, BC Children's Hospital)
-
University of British Columba 6/2016 – 8/2016Volunteer Researcher, Personalized Medicine Initiative Department of Family Practice Supervisor: Martin Dawes (Head, UBC Dept. of Family Practice)
-
University of Amsterdam 1/2012 – 12/2014Postdoctoral Researcher Institute for Logic, Language and Computation (ILLC) Amsterdam, The Netherlands
-
University of British Columbia 2/2011 – 9/2014Visiting Postdoctoral Fellow Department of Philosophy Vancouver, Canada
-
University of Groningen 2/2009 – 1/2011Postdoctoral Researcher Faculty of Philosophy Groningen, The Netherlands
Awards and Grants
(full details: CV)
- University of Saskatchewan Department of Emergency Medicine Top CCFP-EM Research Project Recipient (joint with D. Van Dijk), May 2024 University of Saskatchewan, Department of Emergency Medicine Saskatoon, Canada
- University of Saskatchewan Department of Surgery Resident Research Day 1st Place Podium Presentation Award (CA$1,000) Recipient, November 2021 University of Saskatchewan, Department of Surgery Saskatoon, Canada
- Summer Student Research Program Grant (CA$3,200 over 8 weeks) Recipient, Summer 2016 Supervisor: Paul Steinbok (Neurosurgery, BC Children's Hospital) University of British Columbia, Faculty of Medicine Vancouver, Canada
- Netherlands "Veni" Grant (€250,000 over 3 years) Recipient, 2012 – 2014 Netherlands Organisation for Scientific Research (NWO) Den Haag, The Netherlands
- CUNY Sponsored Dissertation Fellowship (US$18,000 over 1 year) Recipient, 2007 – 2008 CUNY Graduate Center New York, New York, USA
- CUNY Doctoral Student Research Grant (US$1,500) Recipient, 2006 – 2007 CUNY Graduate Center New York, New York, USA
Published Works in Medicine
(full details: CV)
-
An Eye-opening Lecture: A Study of Confidence and Knowledge Change Yielded by a 45-minute Ophthalmologic Teaching Session for Family Medicine Residents — [abstract]32nd Annual Resident Scholarship Day, Department of Academic Family Medicine, University of Saskatchewan, June 2022
-
Traumatic Spinal Cord Injuries among Aboriginal and Non-Aboriginal Populations of Canada — [poster]International Spinal Cord Society (ISCoS) Annual Meeting, 2021
- Child's Nervous System, 36(6):1159-1169, 2020
- Journal of Neurosurgery: Pediatrics 5:1-11, Jan 2018
- Child's Nervous System 33:1805, 2017
Some Published Works in Logic
(full list: CV)
Note: authors by last name (i.e., no “first author” distinction).
Note: authors by last name (i.e., no “first author” distinction).
- The Review of Symbolic Logic, July 2019
- Artificial Intelligence, 275:457–486, 2019
- In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy, 2016
-
Update, Probability, Knowledge and BeliefIn L. Becklemishev and S. Demri, editors, Advances of Modal Logic (AiML), Volume 11, Budapest, Hungary. College Publications, 2016
- Synthese, 193(3):813–849, 2016
-
On a Minimal Logic of Default ConditionalsIn C. Beirle, G. Brewka, and M.Thimm, editors, Computational Models of Rationality: Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday, pages 73–83. College Publications, 2016
- In Q. Yang and M. Wooldridge, editors, Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI-15), pages 2904–2910, Buenos Aires, Argentina. AAAI Press, 2015
- E-print 1503.08141, arXiv.org, March 2015. arXiv:1503.08141 [cs.LO]
- E-print 1412.1862, arXiv.org, May 2015. arXiv:1412.1862 [cs.LO]
- E-print 1412.5090, arXiv.org, December 2014. arXiv:1412.5090 [cs.LO]
- E-print 1411.6279, arXiv.org, November 2014. arXiv:1411.6279 [cs.LO]
- Annals of Pure and Applied Logic, 165(1):49–81, 2014. ©2013 Elsevier BV
-
Comments on the Logic of JustificationIn J. van Benthem and F. Liu, editors, Logic Across the University: Foundations and Applications—Proceedings of the Tsinghua Logic Conference, Beijing, 14–16 October 2013, volume 47 of Studies in Logic, pages 13–14, London, 2013. College Publications
- In L. Ong and R. de Queiroz, editors, Proceedings of the 19th Workshop of Logic, Language, Information and Computation (WoLLIC 2012), volume 7456 of Lecture Notes in Computer Science, pages 168–190, Buenos Aires, Argentina. Springer-Verlag Berlin Heidelberg, 2012. ©2012 Springer-Verlag Berlin Heidelberg
- Synthese, 185(S1):43–82, 2012
- Review of Symbolic Logic, 4(4):536–559, 2011. ©2011 Association for Symbolic Logic
- In K. Apt, editor, Proceedings of the 13th Conference of Theoretical Aspects of Rationality and Knowledge (TARK XIII), Groningen, pages 205–211, The Netherlands. ACM, 2011. ©2011 ACM
- In P. Girard, O. Roy, and M. Marion, editors, Dynamic Formal Epistemology, volume 351 of Synthese Library, chapter 7, pages 127–149. Springer, 2011. ©2011 Springer Science+Business Media BV
- Journal of Logic and Computation, 21(6):1005–1034, 2011
- In X. Arrazola and M. Ponte, editors, Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-10). The University of the Basque Country Press, 2010
- In X. He, J. Horty, and E. Pacuit, editors, Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8–11, 2009, Proceedings (LORI-II), volume 5834 of Lecture Notes in Computer Science, pages 263–277. Springer-Verlag Berlin Heidelberg, 2009. ©2009 Springer-Verlag Berlin Heidelberg
- In A. Heifetz, editor, Proceedings of the 12th Conference of Theoretical Aspects of Rationality and Knowledge (TARK XII), pages 227–236, Stanford, California, USA. ACM, 2009. ©2009 ACM
- Information and Computation, 207(10):1015–1043, 2009. ©2009 Elsevier Inc
- Synthese, 165(2):225–245, 2008. ©2008 Springer Science+Business Media BV
- PhD thesis, The City University of New York, 2008
-
The Relative Expressivity of Public and Private Communication in BMS LogicIn J. van Benthem, S. Ju, and F. Veltman, editors, A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007 (LORI-I), volume 8 of Texts in Computer Science, pages 213–229. College Publications, 2007
-
Bisimulation and Public Announcements in Logics of Explicit KnowledgeIn S. N. Artemov and R. Parikh, editors, Proceedings of the Workshop on Rationality and Knowledge, 18th European Summer School in Logic, Language and Information (ESSLLI 2006), Málaga, Spain, 2006
-
Semantic Cut-Elimination for Two Explicit Modal LogicsIn J. Huitink and S. Katrenko, editors, Proceedings of the 11th ESSLLI Student Session, Málaga, Spain, 2006
- In G. Mints and R. de Queiroz, editors, Proceedings of the 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006), volume 165 of Electronic Notes in Theoretical Computer Science, pages 133–144, Stanford, California, USA, 2006. ©2006 Elsevier BV Note: superseded by Information and Computation version (above, same title).