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)
-
University of Saskatchewan 1/2022—Resident Doctor, Family Medicine Department of Academic Family Medicine Saskatoon, Canada
-
University of Saskatchewan 7/2019 – 12/2021Resident Doctor, Neurosurgery (transferred to Family Medicine Jan. 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 Surgery Resident Research Day 1st Place Podium Presentation Award (CA$1,000) Recipient, November 2021 University of Saskatchewan, College of Medicine, 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
-
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).
Some Talks Given in Medicine (others: CV)
- "Peritumoral Edema and Meningioma." University of Saskatchewan Neuroscience Grand Rounds Saskatoon, Canada, 5 March 2021
- "Nonaneurysmal Subarachnoid Hemorrhage." University of Saskatchewan Neuroscience Grand Rounds Saskatoon, Canada, 20 December 2019
- "Cerebellar Mutism after Posterior Fossa Tumor Resection in Children: A Multi-center International Retrospective Study to Determine Possible Modifiable Factors." 45th Annual Meeting of International Society for Pediatric Neurosurgery (ISPN) Denver, USA, 11 October 2017
Invited Talks Given in Logic
(others: CV)
- "Nonmonotonic Reasons and Revisable Justified Belief." Workshop on The Logical Dynamics of Information, Agency and Interaction Institute for Logic, Language & Computation (ILLC), University of Amsterdam Amsterdam, The Netherlands, 3 October 2014
- "What is the role of epistemic logic in economic theory and game theory?" 14th Society for the Advancement of Economic Theory (SAET) Conference on Current Trends in Economics, Satellite Workshop C Foundational Issues in Economics and Game Theory Waseda University Tokyo, Japan, 24 August 2014 (Short speech followed by leadership of an informal group discussion)
- "Dynamic Justification Logic for Formal Epistemology." 14th Society for the Advancement of Economic Theory (SAET) Conference on Current Trends in Economics, Session on Logical Perspectives on Social Interaction and Epistemic Justification Waseda University Tokyo, Japan, 21 August 2014
- "The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence." NASA Langley Research Center, Safety-Critical Avionics Systems Branch Hampton, Virginia, USA, 13 January 2014
- "The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence." Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHIT), Université Paris 1 Panthéon-Sorbonne Paris, France, 16 May 2013
- "The Dynamic Logic of Justified Knowledge and Belief." The Constructive in Logic and Applications: A Conference in Honor of the 60th Birthday of Sergei Artemov CUNY Graduate Center New York, New York, USA, 23 May 2012
- "Arrow Update Logic." ICE-TCS Lectures Series Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS), Reykjavík University Reykjavík, Iceland, 17 September 2010
- "Multi-Agent Justification Logic: Communication and Evidence Elimination." ICE-TCS Workshop on Logic and Concurrency Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS), Reykjavík University Reykjavík, Iceland, 15 September 2010
- "Multi-Agent Justification Logic: Communication and Evidence Elimination." Information Processing, Rational Beliefs and Social Interaction (10w2133) Banff International Research Station (BIRS) for Mathematical Innovation and Discovery Banff Centre, Banff, Alberta, Canada, 28 August 2010
- "How to Tell Time in Epistemic Logic." Work-in-Progress Workshop of Professor Margaret Anne Cameron Department of Philosophy, University of Victoria University of Victoria, Victoria, British Columbia, Canada, 10 August 2010
- "Evidence Elimination in Justification Logic." Justification Logics Seminar Research Group for Theoretical Computer Science and Logic, Institute of Computer Science and Applied Mathematics, Faculty of Science, University of Bern Bern, Switzerland, 20 May 2010
- "Evidence Elimination in Multi-Agent Justification Logic." Logic and Interactive Rationality (LIRa) seminar Institute for Logic, Language & Computation (ILLC), University of Amsterdam Amsterdam, The Netherlands, 17 February 2010
- "Dynamic Epistemic Logic." Summer 2009 seminar of Professor Ray Jennings Department of Philosophy, Simon Fraser University Burnaby, British Columbia, Canada, 27 July 2009
- "'Strategies Made Explicit in Dynamic Game Logic': A Paper by Sujata Ghosh." The P. van Emde Boas Swap Session of The Third Workshop in Decisions, Games, & Logic (DGL'09) Université de Lausanne, Faculté des Hautes Etudes Commerciales (HEC Lausanne) Lausanne, Switzerland, 15 June 2009
- "Simple Evidence Derogation in Justification Logic." Groningen Logic Colloquium (Grolog) University of Groningen Groningen, The Netherlands, 19 February 2009
- "Reasoning About Evidence in Hypothetical Situations." Epistemology Meets Logic, Informally Stanford University Stanford, California, USA, 31 May 2008
- "Epistemic Updates in Justification Logics." Dynamic Logic Montréal Université du Québec à Montréal Montréal, Québec, Canada, 20 June 2007
- "Propositional Games with Explicit Strategies." 13th Workshop on Games, Logic, Language, and Computation (GLLC 14) University of Amsterdam Amsterdam, The Netherlands, 3 October 2006
Organizational Activity
- Program Committee Member 12th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2016) Maastricht, The Netherlands, 20–22 July 2016
- Program Committee Member 5th International Conference on Logic, Rationality and Interaction (LORI V) National Taiwan University Taipei, 28–31 October 2015
- Program Committee Member 11th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2014) Bergen, Norway, 27–30 July 2014
- Program Committee Member 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) Beijing, China, 3–9 August 2013
- Program Committee Member 2013 Symposium on Logical Foundations of Computer Science (LFCS 2013) San Diego, California, USA, 6–8 January 2013
- Program Committee Member 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2012) Sevilla, Spain, 18–20 June 2012
- Program Committee Member 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) Barcelona, Spain, 16–22 July 2011
- Local Organizing Committee Member 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2011) Groningen, The Netherlands, 11–15 July 2011
- Co-chair, Logic and Computation Section 12th ESSLLI Student Session Dublin, Ireland, 6–17 August 2007
Teaching
- 2014 North American Summer School for Logic, Language, and Information (NASSLLI 2014), University of Maryland, College Park, MD, USA. 21–27 June 2014
- Project Course, MSc in Logic Program, Institute for Logic, Language and Computation, University of Amsterdam. 4 June–7 July 2013
-
Justification LogicProject Course, MSc in Logic Program, Institute for Logic, Language and Computation, University of Amsterdam. 5–28 June 2012
- Hunter College, Department of Computer Science. Spring 2005
- Hunter College, Department of Computer Science. Spring 2004, Fall 2004, Fall 2003