Dr. Alessandra Palmigiano

• 2008 – 2011
  NWO-funded (Veni) postdoctoral appointment, ILLC, UvA
  
  

• 2009 – 2013
  Assistant professor (UD), ILLC, University of Amsterdam (UvA)
  
  

• Since 2013
  Associate professor (UHD), TBM, Delft University of Technology (TUDelft)
  
  

• Since 2015
  Visiting Associate Professor, Department of Pure and Applied Mathematics, University of Johannesburg (South Africa)
  
  

• I have established myself as a leading expert in algebraic, duality-theoretic and proof-theoretic methods in logic, focusing on the logics for social behaviour. In 2012, I started developing algebraic and duality-based techniques for multi-agent interaction, a topic that – surprisingly – had not been pursued till then. This became the topic of my NWO Vidi grant, awarded in 2013 at the same time as a Delft Technology Fellowship (targeted to female high-potential researchers in all disciplines) and an NWO-Aspasia. With a budget of 1.850.000 euros, since 2013, I have been leading the Applied Logic group, counting 4 PhD-students and 4 postdocs, and investigating logics for social interaction. With my collaborators, I have introduced the theories of updates on algebras (involving 11 researchers), unified correspondence (involving 12 coauthors), and multi-type calculi (involving 10 coauthors). Very recently, I have established strong and systematic connections between multi-type calculi and unified correspondence. This is surprising, since these theories pertain to very different logical traditions, pursued independently and intensively since 1980s.

• Algebraic proof theory: This research line aims at developing the meta-theory of certain proof calculi with a uniform design (the so-called multi-type calculi), so as to guarantee that, for each calculus, soundness, completeness, conservativity, cut elimination and subformula property hold and can be proved uniformly. Key instances of this theory have appeared in papers such as "Multi-type Display Calculus for Dynamic Epistemic Logic ", "Multi-type Display Calculus for Propositional Dynamic Logic", "A Multi-type Calculus for Inquisitive Logic", and "The Logic of Resources and Capabilities". In particular, the latter one most transparently exemplifies the general underlying strategy, and the crucial role played by algebraic techniques. The general cut-elimination theorem and subformula property have been addressed in "Multi-type Sequent Calculi", and the systematic connections between the issue of the generation of analitic calculi in structural proof theory and algebraic canonicity and correspondence theory have been addressed, in a single-type framework, in "Unified Correspondence as a Proof-Theoretic Tool".

• I have recently drafted three more papers pertaining to this research line: "Linear logic properly displayed", "Lattice logic properly displayed", and "Multi-type Algebraic Proof Theory". Each of the first two provides a key instance of the multi-type methodology applied to logics which are not properly displayable, according to the characterization theorem given in the paper "Unified Correspondence as a Proof-Theoretic Tool". The third one is the multi-type version of "Unified Correspondence as a Proof-Theoretic Tool".

• NWO Veni Selection committee 2012, 2014

Soft Skills

• I believe in the benefits of outreach activities, especially for an abstract and technical discipline such as logic. I have delivered several lectures addressed to a general public, both in the Netherlands (Boerhaave Museum, FestivalDrift, Lorentz Center Highlights) and in China (Yucai College, Chonqing).