Roland Bol 교수 연구 프로필

cyber security, pedagogical development, process calculi, semantics of computer programs

natural language processing, data science, game theory, social network analysis, computational social science, information networks, socio-technical systems

network optimisation, mathematical optimisation, communication systems

data science, computational social science, social data mining, ai and machine learning

programming languages, parallel programming, theorem proving

programming languages, program verification, program synthesis, approximate computing