Sort by
Refine Your Search
-
group, established in 2018 at the University of Oslo, has recently expanded to the University of Helsinki. The group specializes in developing computational methods to understand the regulatory mechanisms
-
, calibration, and the development of analysis tools and software. Our key focus areas are the physics of jets, top quarks, and EWSB, including the development of novel machine-learning methods for high-energy
-
methods to understand the regulatory mechanisms driving cancer heterogeneity and progression by integrating genomic data into genome-wide regulatory networks. Current projects include (i) modeling distal
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions