-
porous sedimentary to fractured crystalline systems, with volcanic and altered crystalline rocks presenting unique intermediate cases. Recent advances in operando micro-computed tomography (µCT) enable
-
and altered crystalline rocks presenting unique intermediate cases. Recent advances in operando micro-computed tomography (µCT) enable unprecedented real-time visualisation of these processes, yet
-
the identification and characterization of proteins and other biomolecules that work together and are involved in cellular processes and in disease. We house an excellent array of state-of-the-art mass spectrometers
-
inference algorithms as well as proofs of their correctness and efficiency) and systems (e.g., high performance, functional array programming DSLs) to tackle challenging probabilistic and differentiable