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

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