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: 345A 		Faezeh Siavashi Faezeh Siavashi
faezeh.siavashi@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

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