In this interview, Curt Burmeister, chief technology officer and co-head of SS&C Algorithmics, discusses the challenges for clients in today’s complex environment, where high-powered computing and ...

Technology has, arguably, never been sexier or more glamorous. Artificial intelligence stocks are flying high, and the questions AI poses are being debated in homes, bars, boardrooms and parliaments ...

Abstract: Computational Social Choice is an interdisciplinary research area involving Economics, Political Science, and Social Science on the one side, and Mathematics and Computer Science (including ...

Abstract: Computation offloading between the edge and the cloud is an effective way for deployed service to fully utilize the resources at both sides for its QoS improvement and overall cost reduction ...

My main line of work is around the state-of-the-art SMT constraint solver Z3 (opens in new tab). Z3 was developed with Leonardo de Moura, Lev Nachmanson and Christoph Wintersteiger. Z3 is used for ...