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 		Irum Rauf Irum Rauf
irum.rauf@abo.fi
Room: 344C
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

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