@phdthesis{19903, abstract = {Cooperation, that is, one person paying a cost for another's benefit, is a fundamental principle without which no form of society could exist. The extent to which humans cooperate with each other is also an essential feature that differentiates them from other animals. Cooperation occurs even in the absence of altruistic motivations, when it is selfishly incentivised by the expectation of a future reward. For example, many economic interactions are well described that way. This kind of cooperation requires that people exhibit reciprocal behaviour that acts as a mechanism that rewards cooperation. With game-theoretic models, it is possible to formally study potential such mechanisms and under what conditions they can exist. This thesis contributes to this effort by analysing recently introduced models of cooperation that advance on previous work by taking into account the potential for pre-existing inequality among cooperating individuals as well as the different forms that reciprocity can take. Individuals may differ both intrinsically, in their abilities, as well as extrinsically, in the amount of resources they have available. Allowing for such differences in a model of cooperation helps to understand how inequality affects the potential for, and outcomes of, cooperation among unequals. In this thesis, it is shown that in the presence of intrinsic inequality, a similar unequal distribution of resources can increase the potential for cooperation. This effect is stronger the smaller the group is in which cooperation takes place. It is also shown that under particular assumptions, if the unequal members of a group vary the size of their contributions to a cooperative effort over time, they can thereby increase their efficiency and improve the collective outcome. Cooperative behaviour in a two-person interaction can be rewarded either by direct reciprocation whenever the same two people interact again, or indirectly by a third party who observed the interaction. In the latter case of indirect reciprocity, individuals are proximally rewarded by a good reputation, which ultimately translates to being rewarded with cooperative behaviour by others. This mechanism can enable selfishly motivated cooperation even in circumstances where individuals are unlikely to meet again, akin to how money facilitates trade. While these two forms of reciprocity have mostly been studied in isolation, this thesis analyses both direct and indirect reciprocity in a general model in order to compare their relative effectiveness under different circumstances. The contribution of this thesis is an extension of previous work regarding a specific kind of interaction, whose parameters allow for convenient mathematical analysis, to the most general set of possible interactions.}, author = {Hübner, Valentin}, issn = {2663-337X}, pages = {157}, publisher = {Institute of Science and Technology Austria}, title = {{Reciprocity and inequality in social dilemmas}}, doi = {10.15479/AT-ISTA-19903}, year = {2025}, } @phdthesis{20607, author = {Mondal, Soumyadip}, isbn = {978-3-99078-071-8}, issn = {2663-337X}, pages = {71}, publisher = {Institute of Science and Technology Austria}, title = {{Oxygen and sulfur redox : Conversion kinetics and phase equilibria}}, doi = {10.15479/AT-ISTA-20607}, year = {2025}, } @phdthesis{20234, abstract = {Game Theory is the mathematical formalization of social dynamics - systems where agents interact over time and the evolution of the state of the system depends on the decisions of every player. This thesis takes the perspective of a single player and focuses on what they can guarantee in the worst case over the behavior of other players. In other words, we consider that the objective of every other player in the game is exactly the opposite to the player. We focus on sustained interactions over time, where the players repeatedly obtain quantitative rewards over time, and they are interested in maximizing their long-term performance. Formally, this thesis focuses on zero-sum games with the liminf average objective. Two fundamental questions that Game Theory aims to answer are the following. 1. How much can a player guarantee to obtain after the interaction? 2. How to act in order to obtain the previously mentioned guarantee? These questions are formalized by the concepts of "value" and "optimal strategies". We study their properties on games that exhibit one or more of the following properties. 1. Partial Observation: the players can not perfectly observe the current state of the system during the game. We consider the model of (finite) Partially Observable Markov Decision Processes and prove that finite-memory strategies are sufficient to approximately guarantee the value. 2. Perturbed Description: the formal description of the game is perturbed by a small parameter. We consider the model of (finite) Perturbed Matrix Games, and provide algorithms to check various robustness properties and to compute the parameterized value and optimal strategies. 3. Stochastic Transitions: the actions of the players determine the behavior of the evolution of the system, described as a probability distribution over the next state. We consider the model of (finite) Perturbed Stochastic Games and provide formulas for the marginal value. 4. Infinite States: the system can be in infinitely many states. We consider the model of Random Dynamic Games on a class of infinite graphs, prove the existence of the value, and quantify the concentration of finite-horizon values.}, author = {Saona Urmeneta, Raimundo J}, issn = {2663-337X}, pages = {125}, publisher = {Institute of Science and Technology Austria}, title = {{Robustness of solutions in game theory : Values and strategies in partially observable, perturbed, stochastic, and infinite games}}, doi = {10.15479/AT-ISTA-20234}, year = {2025}, } @phdthesis{20575, abstract = {This thesis deals with eigenvalue and eigenvector universality results for random matrix ensembles equipped with non-trivial spatial structure. We consider both mean-field models with a general variance profile (Wigner-type matrices) and correlation structure (correlated matrices) among the entries, as well as non-mean-field random band matrices with bandwidth W >> N^(1/2). To extract the universal properties of random matrix spectra and eigenvectors, we obtain concentration estimates for their resolvent, the local laws, which generalize the celebrated Wigner semicircle law for a broad class of random matrices to much finer spectral scales. The local laws hold for both a single resolvent as well as for products of multiple resolvents, known as resolvent chains, and express the remarkable approximately-deterministic behavior of these objects down to the microscopic scale. Our primary tool for establishing the local laws is the dynamical Zigzag strategy, which we develop in the setting of spatially-inhomogeneous random matrices. Our proof method systematically addresses the challenges arising from non-trivial spatial structures and is robust to all types of singularities in the spectrum, as we demonstrate in the correlated setting. Furthermore, we incorporate the analysis of the deterministic resolvent chain approximations into the dynamical framework of the Zigzag strategy, synthesizing a unified toolkit for establishing multi-resolvent local laws. Using these methods, we prove complete eigenvector delocalization, the Eigenstate Thermalization Hypothesis, and Wigner-Dyson universality in the bulk for random band matrices down to the optimal bandwidth W >> N^(1/2). For mean-field ensembles, we establish universality of local eigenvalue statistics at the cups for random matrices with correlated entries, and the Eigenstate Thermalization Hypothesis for Wigner-type matrices in the bulk of the spectrum. Finally, this thesis also contains other applications of the multi-resolvent local laws to spatially-inhomogeneous random matrices, obtained prior to the development of the Zigzag strategy. In particular, we provide a complete analysis of mesoscopic linear-eigenvalue statistics of Wigner-type matrices in all spectral regimes, including the novel cusps, and rigorously establish the prethermalization phenomenon for deformed Wigner matrices. The main body of this thesis consists of seven research papers (listed on page xi), each presented in a separate chapter with its own introduction and all relevant context, suitable to be read independently. We ask the reader’s indulgence for the repetitions in the historical overviews and other minor redundancies that remain among the chapters as a result. The overall Introduction, preceding the chapters, provides a condensed, informal summary of the main ideas and concepts at the core of these works. }, author = {Riabov, Volodymyr}, isbn = {978-3-99078-064-0}, issn = {2663-337X}, pages = {436}, publisher = {Institute of Science and Technology Austria}, title = {{Universality in random matrices with spatial structure}}, doi = {10.15479/AT-ISTA-20575}, year = {2025}, } @phdthesis{20811, abstract = { This thesis is organized into two parts, each comprising two chapters: Chapter 1 and 2 offer models for the evolution of vaccine resistance in response to diverse vaccination strategies. Chapter 3 and 4 review the statistics of records, their connection to models of innovation and an application to the cultural evolution of sports. In chapter 1 we present a modelling study from 2021 on the evolution of SARS-CoV-2. At that time the vaccine-resistant Omicron variant had not yet evolved. In our model we consider a population that is becoming vaccinated over time, while a pathogen is spreading in the population and eventually becoming resistant to the vaccine. We explore effective pharmaceutical and non-pharmaceutical interventions to prevent the emergence of vaccine resistance. In chapter 2 we model a particular set of complex vaccination strategies, mosaic and pyramid vaccination, where an immunologically diverse portfolio of vaccines is considered. We find that a bet-hatching strategy, in which vaccine types are distributed in the population, is effective at hindering the evolution of vaccine resistance if mutation rates are high. In chapter 3 we switch gears and present a review on the statistics of records. We highlight similarities and analogies to other models in the fields of statistical physics, evolution and innovation. This offers interesting complimentary perspectives on well-known models. In chapter 4 we apply models of record statistics and innovation to study cultural evolution in sport. We propose a model of sport evolution that combines deterministic improvements in performance and stochastic bursts of improvements due to innovation. }, author = {Rella, Simon}, issn = {2663-337X}, pages = {95}, publisher = {Institute of Science and Technology Austria}, title = {{Adaptive processes in biology and culture : Models of evolving vaccine resistance and the record statistics of innovation}}, doi = {10.15479/AT-ISTA-20811}, year = {2025}, } @phdthesis{19540, abstract = {This thesis deals with several different models for complex quantum mechanical systems and is structured in three main parts. In Part I, we study mean field random matrices as models for quantum Hamiltonians. Our focus lies on proving concentration estimates for resolvents of random matrices, so-called local laws, mostly in the setting of multiple resolvents. These estimates have profound consequences for eigenvector overlaps and thermalization problems. More concretely, we obtain, e.g., the optimal eigenstate thermalization hypothesis (ETH) uniformly in the spectrum for Wigner matrices, an optimal lower bound on non-Hermitian eigenvector overlaps, and prethermalization for deformed Wigner matrices. In order to prove our novel multi-resolvent local laws, we develop and devise two main methods, the static Psi-method and the dynamical Zigzag strategy. In Part II, we study Bardeen-Cooper-Schrieffer (BCS) theory, the standard mean field microscopic theory of superconductivity. We focus on asymptotic formulas for the characteristic critical temperature and energy gap of a superconductor and prove universality of their ratio in various physical regimes. Additionally, we investigate multi-band superconductors and show that inter-band coupling effects can only enhance the critical temperature. In Part III, we study quantum lattice systems. On the one hand, we show a strong version of the local-perturbations-perturb-locally (LPPL) principle for the ground state of weakly interacting quantum spin systems with a uniform on-site gap. On the other hand, we introduce a notion of a local gap and rigorously justify response theory and the Kubo formula under the weakened assumption of a local gap. Additionally, we discuss two classes of problems which do not fit into the three main parts of the thesis. These are deformational rigidity of Liouville metrics on the torus and relativistic toy models of particle creation via interior-boundary-conditions (IBCs). }, author = {Henheik, Sven Joscha}, isbn = {978-3-99078-057-2}, issn = {2663-337X}, pages = {720}, publisher = {Institute of Science and Technology Austria}, title = {{Modeling complex quantum systems : Random matrices, BCS theory, and quantum lattice systems}}, doi = {10.15479/AT-ISTA-19540}, year = {2025}, } @phdthesis{20212, author = {Miranda, Osvaldo}, isbn = {978-3-99078-063-3}, issn = {2663-337X}, keywords = {Pten, mtor, cortical development, MADM, Mapk}, pages = {119}, publisher = {Institute of Science and Technology Austria}, title = {{Unraveling the role of Pten in cortical stem cell lineage progression using MADM}}, doi = {10.15479/AT-ISTA-20212}, year = {2025}, } @phdthesis{20737, author = {Casado Polanco, Raquel}, isbn = {978-3-99078-072-5}, issn = {2663-337X}, keywords = {NOTCH, radial glial progenitor, lineage progression, cortical development}, pages = {133}, publisher = {Institute of Science and Technology Austria}, title = {{Role of NOTCH signaling in radial glial progenitor lineage progression}}, doi = {10.15479/AT-ISTA-20737}, year = {2025}, } @phdthesis{19557, author = {Schwarz, Lena A}, issn = {2663-337X}, pages = {124}, publisher = {Institute of Science and Technology Austria}, title = {{Mapping developmental dynamics of autism spectrum disorder mouse models at single-cell resolution}}, doi = {10.15479/AT-ISTA-19557}, year = {2025}, } @phdthesis{20393, author = {Kishi, Kasumi}, issn = {2663-337X}, pages = {102}, publisher = {Institute of Science and Technology Austria}, title = {{Regulation of notochord and floor plate size during mouse development}}, doi = {10.15479/AT-ISTA-20393}, year = {2025}, } @phdthesis{19630, abstract = {This thesis consists of three chapters, each corresponding to one publication. While each of these projects tackles a topic in a different area of research, they all share a common thread in the type of topological structure they handle - a partition of space into volumes separated by interfaces that meet in non-manifold junctions. In Chapter 2, we study clusters of soap bubbles from a simulation perspective. In particular, we develop a surface-only algorithm that couples large scale motion and shape deformation of soap bubble clusters with the small scale evolution of the thin film's thickness, which is responsible for visual phenomena like surface vortices, Newton's interference patterns, capillary waves, and deformation-dependent rupturing of films in a foam. We model film thickness as a reduced degree of freedom in the Navier-Stokes equations and from them derive three sets of equations governing normal and tangential motion of the soap film surface, as well as the evolution of the thin film thickness. We discretize these equations on a non-manifold triangle mesh, extending and adapting operators to handle complex topology. We also present an incompressible fluid solver for 2.5D films and an advection algorithm for convecting fields across non-manifold surface junctions. Our simulations enhance bubble solvers with additional effects caused by convection, rippling, draining, and evaporation of the thin film. In Chapter 3, we introduce a multi-material non-manifold mesh-based surface tracking algorithm that converts mesh defects, such as overlaps, self-intersections, and inversions into topological changes. Our algorithm generalizes prior work on manifold surface tracking with topological changes: it preserves surface features like mesh-based methods, and it robustly handles topological changes like level set methods. Our method also offers improved efficiency and robustness over the state of the art. We demonstrate the effectiveness of the approach on a range of examples, including complex soap film simulations, such as those presented in Chapter 2, but with an order of magnitude more interacting bubbles than what we could achieve before, and Boolean unions of non-manifold meshes consisting of millions of triangles. Lastly, in Chapter 4, we utilize developments in the theory of random geometric complexes facilitated by observations from Discrete Morse theory. We survey the methods and results obtained with this new approach, and discuss some of its shortcomings. We use simulations to illustrate the results and to form conjectures, getting numerical estimates for combinatorial, topological, and geometric properties of weighted and unweighted Delaunay mosaics, their dual Voronoi tessellations, and the Alpha and Wrap complexes contained in the mosaics.}, author = {Synak, Peter}, issn = {2663-337X}, pages = {106}, publisher = {Institute of Science and Technology Austria}, title = {{Methods for fluid simulation, surface tracking, and statistics of non-manifold structures}}, doi = {10.15479/AT-ISTA-19630}, year = {2025}, } @phdthesis{20920, abstract = {Verifiable Delay Functions (VDFs) introduced by Boneh et al. (CRYPTO'18) are functions that require a prescribed number of sequential steps T to evaluate, yet their output can be verified in time much faster than T. Since their introduction, VDFs have gained a lot of attention due to their applications in blockchain protocols, randomness beacons, timestamping and deniability. This thesis explores the theory and applications of VDFs, focusing on enhancing their soundness, efficiency and practicality. The only practical VDFs known to date are based on repeated squaring in hidden order groups. Consider the function VDF(x,T)=x^(2^T). The iterated squaring assumption states that, for a random group element x, the result of VDF cannot be computed significantly faster than performing T sequential squarings if the group order is unknown. To make the result verifiable a prover can compute a proof of exponentiation (PoE) \pi. Given \pi, the output of VDF can be verified in time much less than T. We first present new constructions of statistically sound proofs of exponentiation, which are an important building block in the construction of SNARKs (Succinct Non-Interactive Argument of Knowledge). Statistical soundness means that the proofs remain secure against computationally unbounded adversaries, in particular, it remains secure even when the group order is known. We thereby address limitations in previous PoE protocols which either required (non-standard) hardness assumptions or a lot of parallel repetitions. Our construction significantly reduces the proof size of statistically sound PoEs that allow for a structured exponent, which leads to better efficiency of SNARKs and other applications. Secondly, we introduce improved batching techniques for PoEs, which allow multiple proofs to be aggregated and verified with minimal overhead. These protocols optimize communication and computation complexity in large-scale blockchain environments and enable scalable remote benchmarking of parallel computation resources. We then construct VDFs with enhanced properties such as zero-knowledge and watermarkability. It was shown by Arun, Bonneau and Clark (ASIACRYPT'22) that these features enable new cryptographic primitives called short-lived proofs and signatures. The validity of such proofs and signatures expires after a predefined amount of time T, i.e., they are deniable after time T. Our constructions improve upon the constructions by Arun, Bonneau and Clark in several dimensions (faster forging times, arguably weaker assumptions). Finally, we apply PoEs in the realm of primality testing, providing cryptographically sound proofs of non-primality for large Proth numbers. This work gives a surprising application of VDFs in the area of computational number theory. Together, our contributions advance both the theoretical foundations and the real-world usability of VDFs in general and in particular of PoEs, making them more adaptable and secure for current and emerging cryptographic applications.}, author = {Hoffmann, Charlotte}, issn = {2663-337X}, pages = {116}, publisher = {Institute of Science and Technology Austria}, title = {{Theory and applications of verifiable delay functions}}, doi = {10.15479/AT-ISTA-20920}, year = {2025}, } @phdthesis{20556, abstract = {Verifiable Delay Functions (VDFs) introduced by Boneh et al. (CRYPTO'18) are functions that require a prescribed number of sequential steps T to evaluate, yet their output can be verified in time much faster than T. Since their introduction, VDFs have gained a lot of attention due to their applications in blockchain protocols, randomness beacons, timestamping and deniability. This thesis explores the theory and applications of VDFs, focusing on enhancing their soundness, efficiency and practicality. The only practical VDFs known to date are based on repeated squaring in hidden order groups. Consider the function VDF(x,T)=x^(2^T). The iterated squaring assumption states that, for a random group element x, the result of VDF cannot be computed significantly faster than performing T sequential squarings if the group order is unknown. To make the result verifiable a prover can compute a proof of exponentiation (PoE) \pi. Given \pi, the output of VDF can be verified in time much less than T. We first present new constructions of statistically sound proofs of exponentiation, which are an important building block in the construction of SNARKs (Succinct Non-Interactive Argument of Knowledge). Statistical soundness means that the proofs remain secure against computationally unbounded adversaries, in particular, it remains secure even when the group order is known. We thereby address limitations in previous PoE protocols which either required (non-standard) hardness assumptions or a lot of parallel repetitions. Our construction significantly reduces the proof size of statistically sound PoEs that allow for a structured exponent, which leads to better efficiency of SNARKs and other applications. Secondly, we introduce improved batching techniques for PoEs, which allow multiple proofs to be aggregated and verified with minimal overhead. These protocols optimize communication and computation complexity in large-scale blockchain environments and enable scalable remote benchmarking of parallel computation resources. We then construct VDFs with enhanced properties such as zero-knowledge and watermarkability. It was shown by Arun, Bonneau and Clark (ASIACRYPT'22) that these features enable new cryptographic primitives called short-lived proofs and signatures. The validity of such proofs and signatures expires after a predefined amount of time T, i.e., they are deniable after time T. Our constructions improve upon the constructions by Arun, Bonneau and Clark in several dimensions (faster forging times, arguably weaker assumptions). Finally, we apply PoEs in the realm of primality testing, providing cryptographically sound proofs of non-primality for large Proth numbers. This work gives a surprising application of VDFs in the area of computational number theory. Together, our contributions advance both the theoretical foundations and the real-world usability of VDFs in general and in particular of PoEs, making them more adaptable and secure for current and emerging cryptographic applications.}, author = {Hoffmann, Charlotte}, issn = {2663-337X}, pages = {116}, publisher = {Institute of Science and Technology Austria}, title = {{Theory and applications of verifiable delay functions}}, doi = {10.15479/AT-ISTA-20556}, year = {2025}, } @phdthesis{19048, abstract = {Rotations are found in physics problems at all scales: from spatial motion of celestial bodies, to transitions between quantum states of atoms and molecules. Mathematically, they represent a fundamental class of transformations and symmetries. Unlike spatial displacements, rotational transformations in three-dimensional space are non-commutative: the result of applying a sequence of rotations depends on the order of these operations. This feature makes the emergent physics that involves rotations rather intricate, but instrumental for studies of highly-interconnected many-body systems. In the presence of an environment, rotational properties of an object change, due to the interaction with particles of the environment. Owing to the complexity of this interaction, it can be engineered to exhibit certain properties of interest. In this Thesis, we examine several scenarios of how the rotational behavior of an impurity can be modified by interactions with its environment.}, author = {Maslov, Mikhail}, issn = {2663-337X}, pages = {86}, publisher = {Institute of Science and Technology Austria}, title = {{Emergent physics of rotating quantum impurities in many-body environments}}, doi = {10.15479/at:ista:19048}, year = {2025}, } @phdthesis{20149, abstract = {Immune responses depend on the coordinated and efficient migration of leukocytes. These cells, which are embedded and tightly confined within tissues, must navigate and traverse diverse and complex three-dimensional environments. Leukocytes adapt their locomotory behavior to the mechanical, geometrical, and biochemical characteristics of their surroundings. In low-density environments, where the pore size of the interstitial matrix allows free passage, these cells position the nucleus directly behind the lamellipodium, the protrusive actin structure that forms the leading front of the cell. In this configuration, they use the nucleus as a gauge to identify the path of least resistance. Here, we show that in high-density environments, where the pore size precludes free passage of the cell body, leukocytes reposition the microtubule-organizing center (MTOC) and associated organelles in front of the nucleus. In this configuration, they use actin structures protruding orthogonally to the direction of migration in order to open a path for the cell body. We identify two distinct actin populations that serve this purpose at different subcellular localizations. At the leading edge, local indentation of the plasma membrane leads to recruitment of the Wiskott-Aldrich syndrome protein (WASp), which, via Arp2/3, results in the formation of individual actin foci. At the cell body, actin polymerization is triggered by DOCK8, a Cdc42 exchange factor, resulting in the formation of a central actin pool. We demonstrate that the central and peripheral actin pools are functionally communicating and that depletion of the central actin pool leads to increased actin accumulation at the cell front, resulting in excessive extension of the leading edge.}, author = {Dos Reis Rodrigues, Patricia}, issn = {2663-337X}, pages = {114}, publisher = {Institute of Science and Technology Austria}, title = {{Coordination of protrusive forces in immune cell migration }}, doi = {10.15479/AT-ISTA-20149}, year = {2025}, } @phdthesis{20203, abstract = {Tribocharging, or contact electrification, is the phenomenon in which two initially neutral materials exchange electric charge through contact and subsequent separation. While it is widely observed in everyday life and crucial to numerous natural processes, even the most basic aspects of tribocharging are still a mystery—what are the charge carriers involved and what drives their exchange? This work spans three separate projects that address different aspects of tribocharging. First, we introduce a novel strategy combining Finite Element Method (FEM) simulations with Kelvin Probe Force Microscopy (KPFM) to quantitatively extract surface charge density from surface voltage maps. Second, we present a simple theoretical model that allows for the existence of triboelectric cycles, under the assumption that multiple charge carrying species are involved. Third, we present experimental evidence that identical materials can spontaneously evolve into a triboelectric series, driven by contact history. Modeling this behavior enables the replication of experimental results with simulations, and even experimentally forcing the appearance of a pre-designed series by manipulating contact history. Together, the findings from these projects challenge traditional views on tribocharging, provide new tools for probing it, and open up new avenues of research—all with the hopes of bringing us closer to understanding this puzzling phenomenon.}, author = {Sobarzo Ponce, Juan Carlos A}, isbn = {978-3-99078-062-6}, issn = {2663-337X}, pages = {96}, publisher = {Institute of Science and Technology Austria}, title = {{Tribocharging of identical insulators : Triboelectric series, triboelectric cycles and surface charges}}, doi = {10.15479/AT-ISTA-20203}, year = {2025}, } @phdthesis{19478, author = {Chen, Huihuang}, issn = {2663-337X}, pages = {118}, publisher = {Institute of Science and Technology Austria}, title = {{The cAMP second messenger in auxin signalling}}, doi = {10.15479/AT-ISTA-19478}, year = {2025}, } @phdthesis{20276, abstract = {Complex 3D shapes can be created by morphing flat 2D configurations. Such deformations either preserve the intrinsic material geometry (e.g., folding paper) or modify it through localized contraction. Once transformed, the 3D shape can be further controlled to achieve a target functionality. A key challenge is to take the material specifications and the actuation process as input to automatically design the target 3D shape and its functionality. This thesis presents two novel computational pipelines for the design and control of shape-morphing structures used to create functional prototypes. The first pipeline borrows from the art of origami to fold paper into intricate shapes and applies this principle to make 3D lighting displays. We introduce, PCBend a computational design approach that covers a surface with individually addressable RGB LEDs, effectively forming a low-resolution surface by folding rigid printed circuit boards (PCBs). We optimize cut patterns on PCBs to act as hinges and co-design LED placement, circuit routing, and fabrication constraints to produce PCB blueprints. The PCBs are fabricated using automated standard manufacturing services with LEDs embedded on them. Finally, the fabricated PCBs are cut along the contour and folded onto a 3D-printed support. The 3D lighting display is then controlled to display complex surface light patterns. Creating 3D shapes through folding is only possible if their planar configuration, called ”unfolding” exists without any distortion or overlap. Existing methods often permit distortion or require multiple patches, which are unsuitable for fabrication pipelines that rely on folding non-stretchable materials. We reinforce such fabrication pipelines by providing a geometric relaxation to the problem, where the input shape is modified to admit overlap-free unfolding. The second fabrication pipeline extends shape morphing to soft robotics by emulating nature’s blueprint of distributed actuation. Inspired by vertebrates, we build musculoskeletal robots using modular active actuators, employing Liquid Crystal Elastomers (LCEs) as shrinkable artificial muscles integrated with 3D-printed bones. The chemical composition of LCEs is altered to enable untethered actuation through infrared radiation, allowing active control of individual muscles and their corresponding bones. The combined motion of individual bones defines the robot’s overall shape and functionality. Our proposed system significantly expands both the design and control spaces of soft robots, which we harness using our computational design tools. We build several physical robots that exhibit complex shape morphing and varied terrain navigation, showcasing the versatility of our pipeline. This thesis explores applications ranging from intricate light patterns displayed on 3D shapes formed by folding rigid PCBs to untethered robots that use contractile muscles to exhibit shape morphing and locomotion. Through these examples, the thesis highlights how computational design and distributed actuation, integrated with novel materials, can transform passive structures into functional prototypes.}, author = {Bhargava, Manas}, isbn = {978-3-99078-065-7}, issn = {2663-337X}, pages = {96}, publisher = {Institute of Science and Technology Austria}, title = {{Design and control of deformable structures : From PCB lighting displays to elastomer robots}}, doi = {10.15479/AT-ISTA-20276}, year = {2025}, } @phdthesis{20074, abstract = {Prenatal immune challenges pose significant risks to human embryonic brain and eye development. However, we still lack knowledge about the safe usage of anti-inflammatory drugs during pregnancy. Human induced pluripotent stem cell (hIPSC)-derived brain organoid models provide a unique opportunity to investigate neuronal development and have started to explore functional consequences upon viral infection. However, brain organoids usually lack microglia, the brain-resident immune cells. They are present in the early human embryonic brain and actively participate in neuronal circuit development. At the same time, microglia are known for their immune-sensing properties and will influence viral-mediated effects. In my thesis, I was interested to study the multifunctional role of human microglia during retinal development. In chapter 1, I characterize the innate occurrence of IBA1+-microglia-like cells within the retinal organoid differentiation (Bartalska et al., 2022). Therefore, we differentiate hIPSC using an unguided retinal organoid differentiation protocol and observe the presence of IBA1+-microglia-like cells alongside retinal cups between week 3 and 4 in 2.5D culture. However, instead of infiltrating the neuroectodermal sides, they enrich within non-pigmented, 3D-cystic compartments that develop in low numbers parallel to 3D-retinal organoids. To enrich for IBA1+-microglia precursors (preMG), we guided the differentiation with a low-dosed BMP4 application, which prevents retinal cup development and enhances microglia and 3D-cysts formation. We characterize the differentiated preMG for their microglia-like identity and validated their functionality. In parallel, mass spectrometry identifies the 3D-cysts to express mesenchymal and epithelial markers. We confirm that comparable 3D-cysts are also the preferential environment for IBA1+-microglia-like cells within the unguided retinal organoid differentiation. In chapter 2, I investigate how microglia influence retinal development and whether they contribute to viral-mediated consequences (Schmied et al., 2025). Here, we assemble preMG, which we have characterized in chapter 1, into 3D-retinal organoids. Once the outer plexiform layer forms, microglia-like cells (iMG) populate them and interact with retinal cell types. However, at this developmental stage, the ganglion cell number decreases in 3D-retinal organoids. Thus, we adapted the model into 2D which promotes their survival. Integrated iMG engulf ganglion cells and control their cell number. In parallel, we apply the immunostimulant POLY(I:C) to mimic a fetal viral infection. Although POLY(I:C) stimulation affects iMG phenotype, it does not influence their interaction with ganglion cells. Furthermore, iMG presence significantly contributes to the supernatant’s inflammatory secretome and increases retinal cell proliferation. Simultaneous exposure to the non-steroidal anti-inflammatory drug (NSAID) ibuprofen dampens POLY(I:C)-mediated consequences of the iMG phenotype and ameliorates cell proliferation. Remarkably, while POLY(I:C) disrupts neuronal calcium dynamics independent of iMG presence, ibuprofen rescues this effect only in the presence of iMG. Mechanistically, ibuprofen blocks the enzymes cyclooxygenase 1 and 2 (COX1/ PTGS1 and COX2/ PTGS2) simultaneously, from which iMG predominantly express COX1. Selective inhibition of COX1 does not restore the calcium peak amplitude upon POLY(I:C) stimulation, indicating ibuprofen’s effect depends on the presence and interplay of both, COX1 and COX2. In summary, we characterized the 3D-retinal organoid model for the occurrence of IBA1+-microglia like cells. As the innately developing IBA1+-cells enrich in mesenchymal over retinal structures, we optimized a protocol to differentiate IBA1+-microglia precursors. By combining these two models we generate microglia-assembled retinal organoids. Our results underscore the importance of microglia during neurodevelopment, in the context of prenatal immune challenges and provide insight into the mechanisms by which ibuprofen exerts its protective effects during embryonic development.}, author = {Hübschmann, Verena}, isbn = {978-3-99078-060-2}, issn = {2663-337X}, pages = {151}, publisher = {Institute of Science and Technology Austria}, title = {{ Human microglia impact neuronal development in retinal organoids}}, doi = {10.15479/AT-ISTA-20074}, year = {2025}, } @phdthesis{20467, author = {Miteva, Florianne E}, issn = {2663-337X}, pages = {99}, publisher = {Institute of Science and Technology Austria}, title = {{The role of cyclooxygenase 1 on microglial response to inflammatory stressors}}, doi = {10.15479/AT-ISTA-20467}, year = {2025}, }