Research output per year
Research output per year
Fingerprint
Dive into the research topics where Raheleh Jalali Keshavarz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Completeness of Interpolation Algorithms in Classical and Non-classical Logics
Hetzl, S., Jalali, R. & Lang, T., 31 Dec 2026, In: Annals of Pure and Applied Logic. 177, 10, 35 p., 103808.Research output: Contribution to journal › Article › peer-review
Open Access -
Feasibility of Primality in Bounded Arithmetic
Jalali, R. & Jezil, O., 1 Apr 2026, In: Forum of Mathematics, Sigma. 14, 45 p., e49.Research output: Contribution to journal › Article › peer-review
Open Access -
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
Tabatabai, A. A. & Jalali, R., 31 Jan 2027, In: Annals of Pure and Applied Logic. 178, 1, p. 103814Research output: Contribution to journal › Article › peer-review
Open Access -
Universal Proof Theory: Topology, Algebra and Categories in Logic Lecture Notes of the Coimbra TACL Summer School
Jalali, R. & Iemhoff, R., 13 Mar 2026, Topology, Algebra and Categories in Logic : Lecture Notes of the Coimbra TACL Summer School, 14–18 June 2022. Manuel Clemetino, M., Gehrke, M. & Picado, J. (eds.). 1st ed. Cham, Switzerland: Springer, p. 51–98 48 p. ( Coimbra Mathematical Texts; vol. 5).Research output: Chapter or section in a book/report/conference proceeding › Book chapter
-
Uniform interpolation via nested sequents and hypersequents
Van der Giessen, I., Jalali, R. & Kuznets, R., 1 Sept 2025, In: Journal of Logic and Computation. 35, 6, 37 p., exae053.Research output: Contribution to journal › Article › peer-review
Open Access
Prizes
-
Fellowship of the Higher Education Academy (FHEA)
Jalali Keshavarz, R. (Recipient), 7 Jul 2026
Prize: Fellowship awarded competitively
-
Recognising Excellence Scheme 2025/26
Jalali Keshavarz, R. (Recipient), 6 Jul 2026
Prize: Prize (including medals and awards)
-
Aspasia grant
Jalali Keshavarz, R. (Recipient), 19 Feb 2021
Prize: Prize (including medals and awards)
Activities
-
Czech gathering of logicians (CGL)
Jalali Keshavarz, R. (Speaker)
27 May 2024 → 28 May 2024Activity: Academic conferences and events (excluding conference publications) › Conference presentation / attendance
-
Workshop on Admissible Rules and Unification III (WARU 2019)
Jalali Keshavarz, R. (Invited speaker)
19 May 2019Activity: Academic conferences and events (excluding conference publications) › Keynote presentation or prestigious invited talk
-
The special session “Pure and Applied Proof Theory” Logic Colloquium
Jalali Keshavarz, R. (Organiser)
29 Jun 2026 → 3 Jul 2026Activity: Academic conferences and events (excluding conference publications) › Major conference organising role
-
The Czech Gathering of Logicians
Jalali Keshavarz, R. (Invited speaker)
1 Jun 2023 → 2 Jun 2023Activity: Academic conferences and events (excluding conference publications) › Keynote presentation or prestigious invited talk
-
Weekly Logic Seminar for the Logic Group at the Institute for Research in Fundamental Sciences (IPM)
Jalali Keshavarz, R. (Invited speaker)
8 Oct 2026Activity: Academic conferences and events (excluding conference publications) › Conference presentation / attendance