We examine the effect of economic globalisation on income redistribution and hypothesise that it depends on ethnic fractionalisation. In highly fractionalised countries, powerful ethnicities are able to extract globalisation-induced benefits, whereas their governments face substantial political obstacles when redistributing income between ethnic groups. Using the newly constructed KOF Globalisation Index, we find supportive evidence for ...

This postdoctoral research project examines the relationships between architecture’s epistemology within the Greek and international contexts, scrutinizing their interdependences. It is focused on the analysis of three case studies: the travels to Greece of the Villa Medici pensionnaires in the 19th century, the trajectories of the architects of Mataroa, and the different approaches of bridging Helleno-centricism and modernism within the ...

SMT solvers are at the basis of many applications, such as program verification, program synthesis, and test case generation. For all these applications to provide reliable results, SMT solvers must answer queries correctly. However, since they are complex, highly-optimized software systems, ensuring their correctness is challenging. In particular, state-of-the-art testing techniques do not reliably detect when an SMT solver is unsound. In ...