معرفی
Stella Lara Mahler is a PreDoc Researcher at Vienna University of Technology (Technische Universität Wien), affiliated with the College of Informatics and the Theory and Logic research group (E192-05). She is actively involved in the FWF-funded project Pandaforest (2022–2025) focused on proof analysis in arithmetic and deontic logic.
Research Interests
- Proof theory and logical formalisms
- Primitive recursive arithmetic and inductive proofs
- Deontic Mīmāṃsā logic
- Formal verification and computational logic
Publication Trends: Her recent work bridges proof schemata with arithmetic foundations, explores Herbrand's theorem in inductive contexts, and applies analytic proof theory to deontic logic, emphasizing formal systems and computational modeling across multiple conferences and workshops.
Projects: Participates in the Pandaforest project, which investigates proof structures in arithmetic and deontic logic.
Stella Lara Mahler در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Anela LolicVienna University of Technology · پژوهشگر- JJosephine Femke DikVienna University of Technology · پژوهشگر
- AAgata CiabattoniVienna University of Technology · استاد
- SStefan HetzlVienna University of Technology · دانشیار
- PPetr CintulaVienna University of Technology · استاد مدعو
- XXavier ParentVienna University of Technology · پژوهشگر