People with expertise in model-based testing

Tanwir Ahmad Tanwir Ahmad
tanwir.ahmad@abo.fi
+358 (0)2 215 4695
Room: 345A 		Junaid Iqbal Junaid Iqbal, MSc, MCS
junaid.iqbal@abo.fi
Room: 344H 		Dragos Truscan Dragos Truscan
dragos.truscan@abo.fi
+358 (0)2 215 4075
Room: 346E

Research Expertise

The following research expertise is available at the Department of Information Technologies

dtron self* properties django framework deep learning software engineering computational systems biology performance testing ubiquitous computing web applications conformance testing computational genomics software process improvement market basket analysis java combinatorial optimisation uncertainty measurement data privacy software testing network controlabillity model driven software development reputation monitoring models of concurrency statistical model checking natural computing biomodeling executable modeling financial benchmarking and performance analysis cloud computing system-level design python wireless mesh networks automated reasoning drones distributed systems refinement energy-efficient software dna nanotechnology formal languages network modeling in medicine functional testting biomedeling experience based trust quantitative model refinement trustworthiness computational biomedicine bankruptcy prediction adaptive methods scheduling algorithms parallel programming customer segmentation data science media streaming uppaal programming models for multi-cores bioinformatics model-based testing resource allocation formal methods network analysis peer-to-peer networks precision medicine formal hardware design control systems optimization computational modelling network modeling and analysis performance engineering text mining algorithmic self-assembly data mining code optimization model checking distributed video transcoding architecture theory of computing monitoring financial stability embedded systems load testing information security dependable systems trusted networks and services combinatorial algorithms artificial intelligence corporate taxation and tax auditing machine learning energy efficient many-core systems subjective logic