Roberto Casadei

aggregate computing aggregate programming collective adaptive systems scala distributed computing self-organization coordination programming languages cloud computing functional programming collective services internet of things computational fields complex adaptive systems actors programming macroprogramming collective intelligence workshop digital twins spatial tuples tuple-based coordination self-* concurrency akka fog computing edge computing spring boot distributed middleware validation verification software testing testing fp unit testing scafi emergence unconventional paradigms reactive programming paper tools automation software engineering research dsl conferences acsos ecas cyber-physical systems self-integration programming paradigms space-time programming context-aware systems context-oriented programming cloud application development aws lambda function-as-a-service serverless amazon web services aws mobile edge computing safe code safety systems programming rust iot event-driven node.js nodejs asynchronous programming spring framwork cloud-native paas heroku spring cloud spring framework acceptance testing gradient algorithms scala aggregate self-organization pervasive object oriented programming oop type system techniques idioms advanced features patterns haskell junit java