Persons tagged with «formal methods»

Name Phone E-mail Tags
Picture of Hamed Arshad Arshad, Hamed Doctoral Research Fellow security protocols, access control, authentication, cryptography, network security, formal methods, model checking, key agreement, privacy, security
Picture of Crystal Chang Din Din, Crystal Chang Postdoctoral Fellow +47-22845516 concurrency, Object-orientation, formal methods, verification
Picture of Olaf Owe Owe, Olaf Professor +47-22852449 programming languages, semantics, formal methods, verification, concurrency, computer science, object-orientation
Picture of Peyman Rasouli Rasouli, Peyman Doctoral Research Fellow Machine Learning, Data Mining, Automated Reasoning, Formal Methods, Optimization
Picture of Rudolf Schlatte Schlatte, Rudolf Researcher +47-22852971 formal methods, computer science, programming language semantics, concurrency
Picture of Martin Steffen Steffen, Martin Professor +47-22850417 static analysis, program analysis, formal methods, PMA, concurrency, type systems, compositionality, programming language theory, verification, static analysis, compiler construction, model checking, object-orientation, verification, security, semantics, computer science
Picture of Volker Stolz Stolz, Volker Associate Professor +47-22852438 UML, formal methods, model transformation
Picture of Silvia Lizeth Tapia Tarifa Tapia Tarifa, Silvia Lizeth Researcher +47-22852763 formal methods, programming language theory, model-based predictions, parallel data access, cloud computing, parallel systems, distributed systems, object-orientation, modeling, deployment