Project acronym 9 SALT
Project Reassessing Ninth Century Philosophy. A Synchronic Approach to the Logical Traditions
Researcher (PI) Christophe Florian Erismann
Host Institution (HI) UNIVERSITAT WIEN
Call Details Consolidator Grant (CoG), SH5, ERC-2014-CoG
Summary This project aims at a better understanding of the philosophical richness of ninth century thought using the unprecedented and highly innovative method of the synchronic approach. The hypothesis directing this synchronic approach is that studying together in parallel the four main philosophical traditions of the century – i.e. Latin, Greek, Syriac and Arabic – will bring results that the traditional enquiry limited to one tradition alone can never reach. This implies pioneering a new methodology to overcome the compartmentalization of research which prevails nowadays. Using this method is only possible because the four conditions of applicability – comparable intellectual environment, common text corpus, similar methodological perspective, commensurable problems – are fulfilled. The ninth century, a time of cultural renewal in the Carolingian, Byzantine and Abbasid empires, possesses the remarkable characteristic – which ensures commensurability – that the same texts, namely the writings of Aristotelian logic (mainly Porphyry’s Isagoge and Aristotle’s Categories) were read and commented upon in Latin, Greek, Syriac and Arabic alike.
Logic is fundamental to philosophical enquiry. The contested question is the human capacity to rationalise, analyse and describe the sensible reality, to understand the ontological structure of the world, and to define the types of entities which exist. The use of this unprecedented synchronic approach will allow us a deeper understanding of the positions, a clear identification of the a priori postulates of the philosophical debates, and a critical evaluation of the arguments used. It provides a unique opportunity to compare the different traditions and highlight the heritage which is common, to stress the specificities of each tradition when tackling philosophical issues and to discover the doctrinal results triggered by their mutual interactions, be they constructive (scholarly exchanges) or polemic (religious controversies).
Summary
This project aims at a better understanding of the philosophical richness of ninth century thought using the unprecedented and highly innovative method of the synchronic approach. The hypothesis directing this synchronic approach is that studying together in parallel the four main philosophical traditions of the century – i.e. Latin, Greek, Syriac and Arabic – will bring results that the traditional enquiry limited to one tradition alone can never reach. This implies pioneering a new methodology to overcome the compartmentalization of research which prevails nowadays. Using this method is only possible because the four conditions of applicability – comparable intellectual environment, common text corpus, similar methodological perspective, commensurable problems – are fulfilled. The ninth century, a time of cultural renewal in the Carolingian, Byzantine and Abbasid empires, possesses the remarkable characteristic – which ensures commensurability – that the same texts, namely the writings of Aristotelian logic (mainly Porphyry’s Isagoge and Aristotle’s Categories) were read and commented upon in Latin, Greek, Syriac and Arabic alike.
Logic is fundamental to philosophical enquiry. The contested question is the human capacity to rationalise, analyse and describe the sensible reality, to understand the ontological structure of the world, and to define the types of entities which exist. The use of this unprecedented synchronic approach will allow us a deeper understanding of the positions, a clear identification of the a priori postulates of the philosophical debates, and a critical evaluation of the arguments used. It provides a unique opportunity to compare the different traditions and highlight the heritage which is common, to stress the specificities of each tradition when tackling philosophical issues and to discover the doctrinal results triggered by their mutual interactions, be they constructive (scholarly exchanges) or polemic (religious controversies).
Max ERC Funding
1 998 566 €
Duration
Start date: 2015-09-01, End date: 2020-08-31
Project acronym ALPHA
Project Alpha Shape Theory Extended
Researcher (PI) Herbert Edelsbrunner
Host Institution (HI) INSTITUTE OF SCIENCE AND TECHNOLOGYAUSTRIA
Call Details Advanced Grant (AdG), PE6, ERC-2017-ADG
Summary Alpha shapes were invented in the early 80s of last century, and their implementation in three dimensions in the early 90s was at the forefront of the exact arithmetic paradigm that enabled fast and correct geometric software. In the late 90s, alpha shapes motivated the development of the wrap algorithm for surface reconstruction, and of persistent homology, which was the starting point of rapidly expanding interest in topological algorithms aimed at data analysis questions.
We now see alpha shapes, wrap complexes, and persistent homology as three aspects of a larger theory, which we propose to fully develop. This viewpoint was a long time coming and finds its clear expression within a generalized
version of discrete Morse theory. This unified framework offers new opportunities, including
(I) the adaptive reconstruction of shapes driven by the cavity structure;
(II) the stochastic analysis of all aspects of the theory;
(III) the computation of persistence of dense data, both in scale and in depth;
(IV) the study of long-range order in periodic and near-periodic point configurations.
These capabilities will significantly deepen as well as widen the theory and enable new applications in the sciences. To gain focus, we concentrate on low-dimensional applications in structural molecular biology and particle systems.
Summary
Alpha shapes were invented in the early 80s of last century, and their implementation in three dimensions in the early 90s was at the forefront of the exact arithmetic paradigm that enabled fast and correct geometric software. In the late 90s, alpha shapes motivated the development of the wrap algorithm for surface reconstruction, and of persistent homology, which was the starting point of rapidly expanding interest in topological algorithms aimed at data analysis questions.
We now see alpha shapes, wrap complexes, and persistent homology as three aspects of a larger theory, which we propose to fully develop. This viewpoint was a long time coming and finds its clear expression within a generalized
version of discrete Morse theory. This unified framework offers new opportunities, including
(I) the adaptive reconstruction of shapes driven by the cavity structure;
(II) the stochastic analysis of all aspects of the theory;
(III) the computation of persistence of dense data, both in scale and in depth;
(IV) the study of long-range order in periodic and near-periodic point configurations.
These capabilities will significantly deepen as well as widen the theory and enable new applications in the sciences. To gain focus, we concentrate on low-dimensional applications in structural molecular biology and particle systems.
Max ERC Funding
1 678 432 €
Duration
Start date: 2018-07-01, End date: 2023-06-30
Project acronym AMBH
Project Ancient Music Beyond Hellenisation
Researcher (PI) Stefan HAGEL
Host Institution (HI) OESTERREICHISCHE AKADEMIE DER WISSENSCHAFTEN
Call Details Advanced Grant (AdG), SH5, ERC-2017-ADG
Summary From medieval times, Arabic as well as European music was analysed in terms that were inherited from Classical Antiquity and had thus developed in a very different music culture. In spite of recent breakthroughs in the understanding of the latter, whose technicalities we access not only through texts and iconography, but also through instrument finds and surviving notated melodies, its relation to music traditions known from later periods and different places is almost uncharted territory.
The present project explores relations between Hellenic/Hellenistic music as pervaded the theatres and concert halls throughout and beyond the Roman empire, Near Eastern traditions – from the diatonic system emerging from cuneiform sources to the flourishing musical world of the caliphates – and, as far as possible, African musical life south of Egypt as well – a region that maintained close ties both with the Hellenised culture of its northern neighbours and with the Arabian Peninsula.
On the one hand, this demands collaboration between Classical Philology and Arabic Studies, extending methods recently developed within music archaeological research related to the Classical Mediterranean. Arabic writings need to be examined in close reading, using recent insights into the interplay between ancient music theory and practice, in order to segregate the influence of Greek thinking from ideas and facts that must relate to contemporaneous ‘Arabic’ music-making. In this way we hope better to define the relation of this tradition to the ‘Classical world’, potentially breaking free of Orientalising bias informing modern views. On the other hand, the study and reconstruction, virtual and material, of wind instruments of Hellenistic pedigree but found outside the confinements of the Hellenistic ‘heartlands’ may provide evidence of ‘foreign’ tonality employed in those regions – specifically the royal city of Meroë in modern Sudan and the Oxus Temple in modern Tajikistan.
Summary
From medieval times, Arabic as well as European music was analysed in terms that were inherited from Classical Antiquity and had thus developed in a very different music culture. In spite of recent breakthroughs in the understanding of the latter, whose technicalities we access not only through texts and iconography, but also through instrument finds and surviving notated melodies, its relation to music traditions known from later periods and different places is almost uncharted territory.
The present project explores relations between Hellenic/Hellenistic music as pervaded the theatres and concert halls throughout and beyond the Roman empire, Near Eastern traditions – from the diatonic system emerging from cuneiform sources to the flourishing musical world of the caliphates – and, as far as possible, African musical life south of Egypt as well – a region that maintained close ties both with the Hellenised culture of its northern neighbours and with the Arabian Peninsula.
On the one hand, this demands collaboration between Classical Philology and Arabic Studies, extending methods recently developed within music archaeological research related to the Classical Mediterranean. Arabic writings need to be examined in close reading, using recent insights into the interplay between ancient music theory and practice, in order to segregate the influence of Greek thinking from ideas and facts that must relate to contemporaneous ‘Arabic’ music-making. In this way we hope better to define the relation of this tradition to the ‘Classical world’, potentially breaking free of Orientalising bias informing modern views. On the other hand, the study and reconstruction, virtual and material, of wind instruments of Hellenistic pedigree but found outside the confinements of the Hellenistic ‘heartlands’ may provide evidence of ‘foreign’ tonality employed in those regions – specifically the royal city of Meroë in modern Sudan and the Oxus Temple in modern Tajikistan.
Max ERC Funding
775 959 €
Duration
Start date: 2018-09-01, End date: 2023-08-31
Project acronym ANALYTIC
Project ANALYTIC PROPERTIES OF INFINITE GROUPS:
limits, curvature, and randomness
Researcher (PI) Gulnara Arzhantseva
Host Institution (HI) UNIVERSITAT WIEN
Call Details Starting Grant (StG), PE1, ERC-2010-StG_20091028
Summary The overall goal of this project is to develop new concepts and techniques in geometric and asymptotic group theory for a systematic study of the analytic properties of discrete groups. These are properties depending on the unitary representation theory of the group. The fundamental examples are amenability, discovered by von Neumann in 1929, and property (T), introduced by Kazhdan in 1967.
My main objective is to establish the precise relations between groups recently appeared in K-theory and topology such as C*-exact groups and groups coarsely embeddable into a Hilbert space, versus those discovered in ergodic theory and operator algebra, for example, sofic and hyperlinear groups. This is a first ever attempt to confront the analytic behavior of so different nature. I plan to work on crucial open questions: Is every coarsely embeddable group C*-exact? Is every group sofic? Is every hyperlinear group sofic?
My motivation is two-fold:
- Many outstanding conjectures were recently solved for these groups, e.g. the Novikov conjecture (1965) for coarsely embeddable groups by Yu in 2000 and the Gottschalk surjunctivity conjecture (1973) for sofic groups by Gromov in 1999. However, their group-theoretical structure remains mysterious.
- In recent years, geometric group theory has undergone significant changes, mainly due to the growing impact of this theory on other branches of mathematics. However, the interplay between geometric, asymptotic, and analytic group properties has not yet been fully understood.
The main innovative contribution of this proposal lies in the interaction between 3 axes: (i) limits of groups, in the space of marked groups or metric ultralimits; (ii) analytic properties of groups with curvature, of lacunary or relatively hyperbolic groups; (iii) random groups, in a topological or statistical meaning. As a result, I will describe the above apparently unrelated classes of groups in a unified way and will detail their algebraic behavior.
Summary
The overall goal of this project is to develop new concepts and techniques in geometric and asymptotic group theory for a systematic study of the analytic properties of discrete groups. These are properties depending on the unitary representation theory of the group. The fundamental examples are amenability, discovered by von Neumann in 1929, and property (T), introduced by Kazhdan in 1967.
My main objective is to establish the precise relations between groups recently appeared in K-theory and topology such as C*-exact groups and groups coarsely embeddable into a Hilbert space, versus those discovered in ergodic theory and operator algebra, for example, sofic and hyperlinear groups. This is a first ever attempt to confront the analytic behavior of so different nature. I plan to work on crucial open questions: Is every coarsely embeddable group C*-exact? Is every group sofic? Is every hyperlinear group sofic?
My motivation is two-fold:
- Many outstanding conjectures were recently solved for these groups, e.g. the Novikov conjecture (1965) for coarsely embeddable groups by Yu in 2000 and the Gottschalk surjunctivity conjecture (1973) for sofic groups by Gromov in 1999. However, their group-theoretical structure remains mysterious.
- In recent years, geometric group theory has undergone significant changes, mainly due to the growing impact of this theory on other branches of mathematics. However, the interplay between geometric, asymptotic, and analytic group properties has not yet been fully understood.
The main innovative contribution of this proposal lies in the interaction between 3 axes: (i) limits of groups, in the space of marked groups or metric ultralimits; (ii) analytic properties of groups with curvature, of lacunary or relatively hyperbolic groups; (iii) random groups, in a topological or statistical meaning. As a result, I will describe the above apparently unrelated classes of groups in a unified way and will detail their algebraic behavior.
Max ERC Funding
1 065 500 €
Duration
Start date: 2011-04-01, End date: 2016-03-31
Project acronym AQUAMS
Project Analysis of quantum many-body systems
Researcher (PI) Robert Seiringer
Host Institution (HI) INSTITUTE OF SCIENCE AND TECHNOLOGYAUSTRIA
Call Details Advanced Grant (AdG), PE1, ERC-2015-AdG
Summary The main focus of this project is the mathematical analysis of many-body quantum systems, in particular, interacting quantum gases at low temperature. The recent experimental advances in studying ultra-cold atomic gases have led to renewed interest in these systems. They display a rich variety of quantum phenomena, including, e.g., Bose–Einstein condensation and superfluidity, which makes them interesting both from a physical and a mathematical point of view.
The goal of this project is the development of new mathematical tools for dealing with complex problems in many-body quantum systems. New mathematical methods lead to different points of view and thus increase our understanding of physical systems. From the point of view of mathematical physics, there has been significant progress in the last few years in understanding the interesting phenomena occurring in quantum gases, and the goal of this project is to investigate some of the key issues that remain unsolved. Due to the complex nature of the problems, new mathematical ideas
and methods will have to be developed for this purpose. One of the main question addressed in this proposal is the validity of the Bogoliubov approximation for the excitation spectrum of many-body quantum systems. While its accuracy has been
successfully shown for the ground state energy of various models, its predictions concerning the excitation spectrum have so far only been verified in the Hartree limit, an extreme form of a mean-field limit where the interaction among the particles is very weak and ranges over the whole system. The central part of this project is concerned with the extension of these results to the case of short-range interactions. Apart from being mathematically much more challenging, the short-range case is the
one most relevant for the description of actual physical systems. Hence progress along these lines can be expected to yield valuable insight into the complex behavior of these many-body quantum systems.
Summary
The main focus of this project is the mathematical analysis of many-body quantum systems, in particular, interacting quantum gases at low temperature. The recent experimental advances in studying ultra-cold atomic gases have led to renewed interest in these systems. They display a rich variety of quantum phenomena, including, e.g., Bose–Einstein condensation and superfluidity, which makes them interesting both from a physical and a mathematical point of view.
The goal of this project is the development of new mathematical tools for dealing with complex problems in many-body quantum systems. New mathematical methods lead to different points of view and thus increase our understanding of physical systems. From the point of view of mathematical physics, there has been significant progress in the last few years in understanding the interesting phenomena occurring in quantum gases, and the goal of this project is to investigate some of the key issues that remain unsolved. Due to the complex nature of the problems, new mathematical ideas
and methods will have to be developed for this purpose. One of the main question addressed in this proposal is the validity of the Bogoliubov approximation for the excitation spectrum of many-body quantum systems. While its accuracy has been
successfully shown for the ground state energy of various models, its predictions concerning the excitation spectrum have so far only been verified in the Hartree limit, an extreme form of a mean-field limit where the interaction among the particles is very weak and ranges over the whole system. The central part of this project is concerned with the extension of these results to the case of short-range interactions. Apart from being mathematically much more challenging, the short-range case is the
one most relevant for the description of actual physical systems. Hence progress along these lines can be expected to yield valuable insight into the complex behavior of these many-body quantum systems.
Max ERC Funding
1 497 755 €
Duration
Start date: 2016-10-01, End date: 2021-09-30
Project acronym ARIPHYHIMO
Project Arithmetic and physics of Higgs moduli spaces
Researcher (PI) Tamas Hausel
Host Institution (HI) INSTITUTE OF SCIENCE AND TECHNOLOGYAUSTRIA
Call Details Advanced Grant (AdG), PE1, ERC-2012-ADG_20120216
Summary The proposal studies problems concerning the geometry and topology of moduli spaces of Higgs bundles on a Riemann surface motivated by parallel considerations in number theory and mathematical physics. In this way the proposal bridges various duality theories in string theory with the Langlands program in number theory.
The heart of the proposal is a circle of precise conjectures relating to the topology of the moduli space of Higgs bundles. The formulation and motivations of the conjectures make direct contact with the Langlands program in number theory, various duality conjectures in string theory, algebraic combinatorics, knot theory and low dimensional topology and representation theory of quivers, finite groups and algebras of Lie type and Cherednik algebras.
Summary
The proposal studies problems concerning the geometry and topology of moduli spaces of Higgs bundles on a Riemann surface motivated by parallel considerations in number theory and mathematical physics. In this way the proposal bridges various duality theories in string theory with the Langlands program in number theory.
The heart of the proposal is a circle of precise conjectures relating to the topology of the moduli space of Higgs bundles. The formulation and motivations of the conjectures make direct contact with the Langlands program in number theory, various duality conjectures in string theory, algebraic combinatorics, knot theory and low dimensional topology and representation theory of quivers, finite groups and algebras of Lie type and Cherednik algebras.
Max ERC Funding
1 304 945 €
Duration
Start date: 2013-04-01, End date: 2018-08-31
Project acronym AYURYOG
Project Medicine, Immortality, Moksha: Entangled Histories of Yoga, Ayurveda and Alchemy in South Asia
Researcher (PI) Dagmar Wujastyk
Host Institution (HI) UNIVERSITAT WIEN
Call Details Starting Grant (StG), SH6, ERC-2014-STG
Summary The project will examine the histories of yoga, ayurveda and rasashastra (Indian alchemy and iatrochemistry) from the tenth century to the present, focussing on the disciplines' health, rejuvenation and longevity practices. The goals of the project are to reveal the entanglements of these historical traditions, and to trace the trajectories of their evolution as components of today's global healthcare and personal development industries.
Our hypothesis is that practices aimed at achieving health, rejuvenation and longevity constitute a key area of exchange between the three disciplines, preparing the grounds for a series of important pharmaceutical and technological innovations and also profoundly influencing the discourses of today's medicalized forms of globalized yoga as well as of contemporary institutionalized forms of ayurveda and rasashastra.
Drawing upon the primary historical sources of each respective tradition as well as on fieldwork data, the research team will explore the shared terminology, praxis and theory of these three disciplines. We will examine why, when and how health, rejuvenation and longevity practices were employed; how each discipline’s discourse and practical applications relates to those of the others; and how past encounters and cross-fertilizations impact on contemporary health-related practices in yogic, ayurvedic and alchemists’ milieus.
The five-year project will be based at the Department of South Asian, Tibetan and Buddhist Studies at Vienna University and carried out by an international team of 3 post-doctoral researchers. The research will be grounded in the fields of South Asian studies and social history. An international workshop and an international conference will be organized to present and discuss the research results, which will also be published in peer-reviewed journals, an edited volume, and in individual monographs. A project website will provide open access to all research results.
Summary
The project will examine the histories of yoga, ayurveda and rasashastra (Indian alchemy and iatrochemistry) from the tenth century to the present, focussing on the disciplines' health, rejuvenation and longevity practices. The goals of the project are to reveal the entanglements of these historical traditions, and to trace the trajectories of their evolution as components of today's global healthcare and personal development industries.
Our hypothesis is that practices aimed at achieving health, rejuvenation and longevity constitute a key area of exchange between the three disciplines, preparing the grounds for a series of important pharmaceutical and technological innovations and also profoundly influencing the discourses of today's medicalized forms of globalized yoga as well as of contemporary institutionalized forms of ayurveda and rasashastra.
Drawing upon the primary historical sources of each respective tradition as well as on fieldwork data, the research team will explore the shared terminology, praxis and theory of these three disciplines. We will examine why, when and how health, rejuvenation and longevity practices were employed; how each discipline’s discourse and practical applications relates to those of the others; and how past encounters and cross-fertilizations impact on contemporary health-related practices in yogic, ayurvedic and alchemists’ milieus.
The five-year project will be based at the Department of South Asian, Tibetan and Buddhist Studies at Vienna University and carried out by an international team of 3 post-doctoral researchers. The research will be grounded in the fields of South Asian studies and social history. An international workshop and an international conference will be organized to present and discuss the research results, which will also be published in peer-reviewed journals, an edited volume, and in individual monographs. A project website will provide open access to all research results.
Max ERC Funding
1 416 146 €
Duration
Start date: 2015-06-01, End date: 2020-05-31
Project acronym BEHAVIORAL THEORY
Project Behavioral Theory and Economic Applications
Researcher (PI) Botond Koszegi
Host Institution (HI) KOZEP-EUROPAI EGYETEM
Call Details Starting Grant (StG), SH1, ERC-2012-StG_20111124
Summary "This proposal outlines projects to develop robust and portable theories studying the impact of psychological phenomena in economic settings. The proposed work falls in three broad research agendas.
My first main agenda is to formally model and economically apply a simple observation: that when people make decisions, they do not focus equally on all attributes of their available options, and overweight the attributes they focus on. I will build a set of portable models of focusing in attribute-based choice and risky choice based on the idea that a person focuses more on attributes in which her options differ more. I will also use the framework to develop novel, focus-based, theories of intertemporal choice and social preferences, as well as analyze the implications of focusing for product design, principal-agent relationships, and other economic questions.
My second main agenda is to explore some implications for market outcomes, welfare, and policy of the possibility that consumers misperceive certain aspects of products. I will investigate the circumstances that facilitate the profitable deception of consumers; firms' incentives for ""innovating"" deceptive products, including novel financial products aimed at exploiting investors; how firms' ability to distinguish naive and sophisticated consumers affects the consequences of deception; whether learning on the part of consumers will help them to avoid making mistakes; and how regulators and other observers can detect consumer mistakes from market data.
Two further projects apply the model of reference-dependent utility I have developed in earlier work to understand the pricing and advertising behavior of firms. I will also aim to disseminate some of my work, along with other cutting-edge research in psychology and economics, in a Journal of Economic Literature survey on ""Behavioral Contract Theory."""
Summary
"This proposal outlines projects to develop robust and portable theories studying the impact of psychological phenomena in economic settings. The proposed work falls in three broad research agendas.
My first main agenda is to formally model and economically apply a simple observation: that when people make decisions, they do not focus equally on all attributes of their available options, and overweight the attributes they focus on. I will build a set of portable models of focusing in attribute-based choice and risky choice based on the idea that a person focuses more on attributes in which her options differ more. I will also use the framework to develop novel, focus-based, theories of intertemporal choice and social preferences, as well as analyze the implications of focusing for product design, principal-agent relationships, and other economic questions.
My second main agenda is to explore some implications for market outcomes, welfare, and policy of the possibility that consumers misperceive certain aspects of products. I will investigate the circumstances that facilitate the profitable deception of consumers; firms' incentives for ""innovating"" deceptive products, including novel financial products aimed at exploiting investors; how firms' ability to distinguish naive and sophisticated consumers affects the consequences of deception; whether learning on the part of consumers will help them to avoid making mistakes; and how regulators and other observers can detect consumer mistakes from market data.
Two further projects apply the model of reference-dependent utility I have developed in earlier work to understand the pricing and advertising behavior of firms. I will also aim to disseminate some of my work, along with other cutting-edge research in psychology and economics, in a Journal of Economic Literature survey on ""Behavioral Contract Theory."""
Max ERC Funding
1 275 448 €
Duration
Start date: 2012-11-01, End date: 2018-10-31
Project acronym Big Splash
Project Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large Scales
Researcher (PI) Christopher John Wojtan
Host Institution (HI) Institute of Science and Technology Austria
Call Details Starting Grant (StG), PE6, ERC-2014-STG
Summary Computational simulations of natural phenomena are essential in science, engineering, product design, architecture, and computer graphics applications. However, despite progress in numerical algorithms and computational power, it is still unfeasible to compute detailed simulations at large scales. To make matters worse, important phenomena like turbulent splashing liquids and fracturing solids rely on delicate coupling between small-scale details and large-scale behavior. Brute-force computation of such phenomena is intractable, and current adaptive techniques are too fragile, too costly, or too crude to capture subtle instabilities at small scales. Increases in computational power and parallel algorithms will improve the situation, but progress will only be incremental until we address the problem at its source.
I propose two main approaches to this problem of efficiently simulating large-scale liquid and solid dynamics. My first avenue of research combines numerics and shape: I will investigate a careful de-coupling of dynamics from geometry, allowing essential shape details to be preserved and retrieved without wasting computation. I will also develop methods for merging small-scale analytical solutions with large-scale numerical algorithms. (These ideas show particular promise for phenomena like splashing liquids and fracturing solids, whose small-scale behaviors are poorly captured by standard finite element methods.) My second main research direction is the manipulation of large-scale simulation data: Given the redundant and parallel nature of physics computation, we will drastically speed up computation with novel dimension reduction and data compression approaches. We can also minimize unnecessary computation by re-using existing simulation data. The novel approaches resulting from this work will undoubtedly synergize to enable the simulation and understanding of complicated natural and biological processes that are presently unfeasible to compute.
Summary
Computational simulations of natural phenomena are essential in science, engineering, product design, architecture, and computer graphics applications. However, despite progress in numerical algorithms and computational power, it is still unfeasible to compute detailed simulations at large scales. To make matters worse, important phenomena like turbulent splashing liquids and fracturing solids rely on delicate coupling between small-scale details and large-scale behavior. Brute-force computation of such phenomena is intractable, and current adaptive techniques are too fragile, too costly, or too crude to capture subtle instabilities at small scales. Increases in computational power and parallel algorithms will improve the situation, but progress will only be incremental until we address the problem at its source.
I propose two main approaches to this problem of efficiently simulating large-scale liquid and solid dynamics. My first avenue of research combines numerics and shape: I will investigate a careful de-coupling of dynamics from geometry, allowing essential shape details to be preserved and retrieved without wasting computation. I will also develop methods for merging small-scale analytical solutions with large-scale numerical algorithms. (These ideas show particular promise for phenomena like splashing liquids and fracturing solids, whose small-scale behaviors are poorly captured by standard finite element methods.) My second main research direction is the manipulation of large-scale simulation data: Given the redundant and parallel nature of physics computation, we will drastically speed up computation with novel dimension reduction and data compression approaches. We can also minimize unnecessary computation by re-using existing simulation data. The novel approaches resulting from this work will undoubtedly synergize to enable the simulation and understanding of complicated natural and biological processes that are presently unfeasible to compute.
Max ERC Funding
1 500 000 €
Duration
Start date: 2015-03-01, End date: 2020-02-29
Project acronym Browsec
Project Foundations and Tools for Client-Side Web Security
Researcher (PI) Matteo MAFFEI
Host Institution (HI) TECHNISCHE UNIVERSITAET WIEN
Call Details Consolidator Grant (CoG), PE6, ERC-2017-COG
Summary The constantly increasing number of attacks on web applications shows how their rapid development has not been accompanied by adequate security foundations and demonstrates the lack of solid security enforcement tools. Indeed, web applications expose a gigantic attack surface, which hinders a rigorous understanding and enforcement of security properties. Hence, despite the worthwhile efforts to design secure web applications, users for a while will be confronted with vulnerable, or maliciously crafted, code. Unfortunately, end users have no way at present to reliably protect themselves from malicious applications.
BROWSEC will develop a holistic approach to client-side web security, laying its theoretical foundations and developing innovative security enforcement technologies. In particular, BROWSEC will deliver the first client-side tool to secure web applications that is practical, in that it is implemented as an extension and can thus be easily deployed at large, and also provably sound, i.e., backed up by machine-checked proofs that the tool provides end users with the required security guarantees. At the core of the proposal lies a novel monitoring technique, which treats the browser as a blackbox and intercepts its inputs and outputs in order to prevent dangerous information flows. With this lightweight monitoring approach, we aim at enforcing strong security properties without requiring any expensive and, given the dynamic nature of web applications, statically infeasible program analysis.
BROWSEC is thus a multidisciplinary research effort, promising practical impact and delivering breakthrough advancements in various disciplines, such as web security, JavaScript semantics, software engineering, and program verification.
Summary
The constantly increasing number of attacks on web applications shows how their rapid development has not been accompanied by adequate security foundations and demonstrates the lack of solid security enforcement tools. Indeed, web applications expose a gigantic attack surface, which hinders a rigorous understanding and enforcement of security properties. Hence, despite the worthwhile efforts to design secure web applications, users for a while will be confronted with vulnerable, or maliciously crafted, code. Unfortunately, end users have no way at present to reliably protect themselves from malicious applications.
BROWSEC will develop a holistic approach to client-side web security, laying its theoretical foundations and developing innovative security enforcement technologies. In particular, BROWSEC will deliver the first client-side tool to secure web applications that is practical, in that it is implemented as an extension and can thus be easily deployed at large, and also provably sound, i.e., backed up by machine-checked proofs that the tool provides end users with the required security guarantees. At the core of the proposal lies a novel monitoring technique, which treats the browser as a blackbox and intercepts its inputs and outputs in order to prevent dangerous information flows. With this lightweight monitoring approach, we aim at enforcing strong security properties without requiring any expensive and, given the dynamic nature of web applications, statically infeasible program analysis.
BROWSEC is thus a multidisciplinary research effort, promising practical impact and delivering breakthrough advancements in various disciplines, such as web security, JavaScript semantics, software engineering, and program verification.
Max ERC Funding
1 990 000 €
Duration
Start date: 2018-06-01, End date: 2023-05-31