معرفی
Joshua Sack is an Associate Professor in the Department of Mathematics and Statistics at California State University Long Beach (CSULB). He holds a Ph.D. in Mathematics from Indiana University (2007), with a dissertation on Dynamic Epistemic Logic, and a Certificate in Logic from the University of Amsterdam's ILLC. His research focuses on logic applications in quantum theory, probabilistic systems, algebra, and theoretical computer science. He has published extensively on topics including quantum logic, epistemic logic, and algebraic structures, with recent work on immune cell kill rate models and quantum protocols verification.
Education:
- Ph.D. in Mathematics, Indiana University (2007)
- Certificate in Logic, University of Amsterdam (2002)
- B.S. in Mathematics, University of Wisconsin (2001)
Research Interests: Dr. Sack explores interdisciplinary areas such as quantum logic foundations, probabilistic reasoning in multi-agent systems, and algebraic structures in topology and functional analysis. His work bridges logic, mathematics, and computer science, with applications to quantum computing and immunology modeling.
Key Publications Trends: His recent articles emphasize quantum logic formalisms (e.g., orthomodular lattices, quantum protocols), probabilistic epistemic systems, and algebraic studies of measurable functions. Earlier work includes contributions to dynamic epistemic logic and concurrency theory.
Events & Grants: He co-organized the 2014 Amsterdam Quantum Logic Workshop (sponsored by NWO/ILLC), and his research has been supported by collaborations with institutions like Oxford, Radboud University, and the University of Technology Sydney. His GitHub repository hosts code for immune cell kill rate models (co-authored with Ami Radunskaya).
Labs/Teams: Active in quantum logic and formal methods research groups, including contributions to the Quantomatic project and collaborations on probabilistic characteristic formulae frameworks.
