Toggle navigation
IT@ÅA
Research
Education
People
Projects
Publications
People with expertise in
model-based testing
Tanwir Ahmad
tanwir.ahmad@abo.fi
+358 (0)2 215 4695
Room:
345A
Junaid Iqbal, MSc, MCS
junaid.iqbal@abo.fi
Room:
345A
Faezeh Siavashi
faezeh.siavashi@abo.fi
Room:
344H
Dragos Truscan
dragos.truscan@abo.fi
+358 (0)2 215 4075
Room:
346E
×
Location of room
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