Sort by
Refine Your Search
-
Category
-
Field
-
, networked robotics, passivity-based control, human–robot interaction, and AI-assisted shared control. A key aspect of the project is that the development of new AI or foundation models is not the focus
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
environments, approaches related questions in an interdisciplinary manner (i.e., at the intersection of psychology, technology, and human–computer interaction). We welcome candidates with a strong interest in
-
and coastal dynamics, and multi-physics systems (eg, wind–structure interaction) . About Us The newly established Chair of Computational Methods in Civil and Environmental Engineering develops advanced
-
strong dissemination and commercialization potential. Participation in a highly ambitious international research program. Access to state-of-the-art infrastructure. Close interaction with leading experts
-
, Uncertainty, and Dynamics.” About the Project Market interaction is increasingly automated by artificial learning agents. Examples include pricing agents in electronic retail or bidding agents in display
-
adults actively seek, select, and evaluate information to learn about the world. The lab combines behavioral, computational, and cross-cultural approaches to study curiosity, exploration, and reasoning