The Automation research group conducts a wide range of research in automation in a broad sense; systems that exhibit a significant amount of autonomy and exist for the benefit of people and society. Resource efficiency and sustainability are key factors. Complexity and information integration are key challenges.
Our vision is to be at the forefront of research in the intersection of formal methods, optimization, and machine learning, with a focus on applications in industrial automated and autonomous systems. We aim to develop, implement, and prove the correctness of advanced algorithms and techniques that can optimize autonomous processes, reduce waste, and improve the performance of autonomous operations. Through our innovative research and collaborations with industry partners, we strive to drive progress and advancement in the field and to help companies that rely on autonomous and automated processes to achieve new levels of productivity, quality, and efficiency.
