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

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