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

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