Ph.D. student in mathematical logic at the Helsinki Logic Group.
Research interests
 Strong and nonclassical logics
 Application of logic in studying phenomena of quantum physics
 Quantum computation
 Model theory of dependence logic
Contact info
Room:  B315, Exactum 
Address:  Department of Mathematics and Statistics, P.O. Box 68 (Pietari Kalmin katu 5), 00014 University of Helsinki 
Email:  joni.puljujarvi[at]helsinki.fi 
Papers
Published

Åsa Hirvonen & Joni Puljujärvi
Games and Scott sentences for positive distances between metric structures
Annals of Pure and Applied Logic, Volume 173, Issue 7 (2022)
Preprints

Samson Abramsky, Joni Puljujärvi & Jouko Väänänen
Team Semantics and Independence Notions in Quantum Physics
arXiv:2107.10817 (July 2021) 
Åsa Hirvonen & Joni Puljujärvi
Games and Scott sentences for linear isomorphisms of Banach spaces
arXiv:2102.00993v1 (February 2021; an old version of the published paper)
Teaching
 Fall 2021: Akateemiset taidot
 Fall 2020 & Spring 2021: Akateemiset taidot
 Spring 2020: Mathematical logic (teaching assistant)
Talks
 Independence Logic and Quantum Physics, Finnish Mathematical Days 2022, 20220104
 Team Semantics and Independence Notions in Quantum Physics, Workshop on Logics of Dependence and Independence, 20210810
 Team Semantics and Independence Notions in Quantum Physics, Helsinki Logic Seminar, 20210414
 On a Quest to Capture Linear Isomorphism, Part 2: From Games to Formulas, Helsinki Logic Seminar, 20200129
 On a Quest to Capture Linear Isomorphism, Part 1: Games on Banach Spaces, Helsinki Logic Seminar, 20200122
 Scott sentences of metric structures in infinitary continuous logic (master's thesis), Helsinki Logic Seminar, 20190409
For other information, see my portfolio.