Directory

Filters

particularly interactive theorem proving and automated deduction1
machine learning137
software engineering61
data science51
security47
systems35
distributed systems28
networks26
natural language processing22
databases21
robotics19
computer vision18
cloud computing14
deep learning12
reinforcement learning11
internet of things10
mining software repositories10
nlp9
formal methods8
cybersecurity7
human-computer interaction7
iot7
programming languages7
bioinformatics6
computational linguistics6
ml6
data management5
data mining5
human-robot interaction5
cryptography4
data analytics4
data cleaning4
empirical software engineering4
evolutionary computation4
model-driven engineering4
multi-agent systems4
neural networks4
optimization4
pattern recognition4
recommender systems4
software maintenance4
applied cryptography3
applied machine learning3
artificial intelligence3
automated program repair3
computer architecture3
federated learning3
image processing3
network security3
privacy3
program synthesis3
software analytics3
software evolution3
software quality3
software testing3
theoretical ml3
3d scene understanding2
access control2
ai safety2
artificial intelligence (ai)2
big-data analytics2
big-data systems2
blockchain2
compilers2
computational neuroscience2
computational number theory2
computational social science2
computer networks2
concurrency2
cyber-physical systems2
data privacy2
data quality2
database systems2
decision-making2
distributed computing2
dynamic analysis2
edge2
edge computing2
edge/cloud2
embodied ai2
explainable ai2
generative models2
genetic programming2
health informatics2
high-performance computing2
information retrieval2
knowledge representation2
lexical semantics2
llms2
localization2
machine translation2
medical image analysis2
ml for se2
multimedia systems2
network optimization2
networking2
parallel & distributed computing2
performance evaluation2
persuasive technology2
program analysis2
refactoring2
representation learning2
requirements engineering2
scientific computing2
single-cell genomics2
smart grids2
social robotics2
software architecture2
software security2
systems security2
text mining2
trustworthy ml2
video streaming2
web services2
3d content-based search1
3d reconstruction1
3d sensing and modeling1
5g1
5g and 6g1
abstract approximation1
access control models and methods1
access to data1
active databases1
actuation and planning for connected vehicles1
ad hoc and sensor networks1
adversarial robustness1
affective computing1
agent-directed simulation1
agile software methods1
ai1
ai & character behaviour in games1
ai & computer vision for healthcare1
ai & society1
ai for science1
ai for science and engineering1
ai for services1
ai for visual data1
ai in healthcare1
ai planning1
ai-backed event detection1
ai-based security and trustworthy networks solutions1
ai-driven cybersecurity1
ai-enabled wireless networks1
ai-native next generation networks1
ai-personalized health (nserc mcdonald fellow)1
ai/ml software1
ai/software security1
ai4science1
aiops1
algorithm design and data structures1
algorithmic bias1
algorithms by autonomous robots1
also vr/ar/graphics1
ambient intelligence & iot1
and proof theory1
animal-health ai1
application of machine learning and natural language processing (nlp) to critical areas1
application security1
applications of ai1
applied ai/ml1
applied ai/ml to comms1
applied machine learning and computational intelligence1
applied ml (vector institute)1
applied ml / data mining1
applied security1
applying ml to financial management decision-making1
ar/vr for engineering1
architecture1
architecture design1
architecture for mobile e-business1
artificial intelligence of things (aiot)1
artificial intelligence: knowledge representation1
aspect-oriented & functional programming1
aspect-oriented software development1
assistive robots1
authorization1
automated mechanism design1
automated reasoning1
automatic text classification1
automation and intelligent manufacturing1
automl1
autonomic computing1
autonomic networks1
autonomous mobile robotics1
autonomous systems1
behavioural/ecological data1
bias and fairness in nlp systems1
big data management and analytics1
big-data & cloud software engineering1
big-data infrastructures1
big-data management & mining1
big-data ml1
big-data pattern analysis1
bio-inspired computing1
bioinformatics and computational biology1
bioinformatics ml1
biology inspired robotics1
biomechanical modeling1
biomedical engineering1
biomedical imaging analysis1
biometrics1
black-box optimization1
blockchain applications1
brain data analysis1
brain function1
bug localization1
build systems1
business process modelling and mining1
cancer1
capacity planning1
cdma1
cellular automata1
cenparmi)1
certified robustness1
ci/cd1
clinical decision support1
cloud1
cloud and edge computing1
cloud data services1
clouds1
clustering & pattern recognition1
code & design smells1
code clone detection1
code generation1
code review1
code search1
cognitive computational neuroscience1
cognitive modeling1
cognitive systems1
communication protocols1
communications1
compiler construction (multi-core/simd)1
complex systems1
computational biology1
computational cognitive science1
computational epidemiology1
computational geometry1
computational intelligence applied to defense and security (vp r&d1
computational modeling & simulation1
computational pathology1
computational photography1
computational risk/finance1
computational statistics1
computer & network security1
computer & wireless networks1
computer algebra1
computer arithmetic1
computer graphics1
computer networks & systems1
computer security1
computer security (also games / retrocomputing)1
computer vision (3d reconstruction1
computer vision (mila member)1
computer-aided diagnosis1
computing sustainability1
conceptual modeling1
concurrent algorithms & data structures1
construction1
context-driven & demand-driven computing1
continual/federated learning1
control1
conversation modeling1
conversational agents1
conversational ai1
cps safety & security1
creativity1
cryptography (joint math & cs)1
cybersecurity and network security1
cybersecurity measures and threat detection1
data change exploration1
data compression1
data leverage1
data loss prevention (dlp) strategies1
data mining & applications1
data mining & big-data analysis1
data privacy (dir.1
data profiling1
data sanitization1
data services1
data sharing1
data systems1
data visualization1
data warehousing/olap1
data-centric ai1
data-centric ml1
data-science methodology for public health1
database & knowledge-base systems1
database systems / data management1
database systems & data management1
database theory1
databases (ispia)1
databases: business intelligence1
datalog1
debugging1
debugging of web/js apps1
decision-making under uncertainty1
deep rl1
defects1
dependable ai1
design & implementation of programming languages1
design of distributed system software1
design quality1
design-pattern mining1
development processes1
devops1
differential privacy1
digital agriculture1
digital libraries1
digital twins1
direct-to-satellite iot1
distributed & multimedia systems1
distributed algorithms1
distributed and mobile computing1
distributed computing pipelines1
distributed mobile entities1
distributed optimization / federated machine learning for transportation1
distribution learning1
edge ai for 6g1
edge/cloud computing1
electronic commerce1
embedded vision1
emerging-tech vulnerabilities1
empirical se1
empirical studies1
enterprise data security1
environmental & social science1
environmental informatics1
epidemiology1
error control coding1
ethics and reliability of simulation studies1
evolution1
evolutionary ml1
explainability and fairness of ai systems1
explanations for data1
fairness1
fairness in ml1
fairness)1
fault tolerance1
fault-tolerant computing1
feature extraction)1
federated data science1
formal design1
formal methods and verification1
formal methods in security1
formal models1
formal specification1
foundation models1
fpga / hardware acceleration1
fundamentals of software engineering1
fuzzy systems1
game ai1
game design & technologies1
generalization1
generative ai1
generative internet of things (giot)1
genetic improvement1
genomics & public-health bioinformatics1
genomics/bioinformatics1
geometric deep learning1
global software ecosystems1
graph algorithms & drawing1
graph processing1
handwriting analysis (director1
haptics1
hardware1
hardware security1
health ai1
health communication1
healthcare informatics1
high-performance & parallel computing1
high-performance parallel text processing (parabix)1
human motion capture and gesture analysis1
human-ai collaborative systems1
iiot1
image analysis1
image and video analysis1
image compression/encoding1
image security1
immersive analytics1
immersive media1
in-memory & storage1
in-network computing1
information & network security1
information & network security (icore information security lab)1
information extraction1
institute for big data analytics)1
intelligent agents and multi-agent systems1
intelligent agents for semantic web1
intelligent sensor networks1
interactive learning algorithms1
internet measurement1
internet of medical things (iomt) and health-care security1
internet of things (iot) applications1
internet of things / internet of vehicles1
internet systems1
interpretability1
interpretability)1
intrusion detection systems1
intrusions detection and prevention1
iot / wireless / protocol security1
iot/ioe1
ir for se (raise lab)1
knowledge management1
knowledge modeling1
knowledge-based systems1
language modeling1
language modelling1
large-scale graph ml1
large-scale optimization1
larus technologies)1
learning1
learning from limited data1
learning from preferences1
learning-based & safe robot control1
learning-based control (+ physics-based character animation)1
legacy software1
legal and regulatory compliance1
legal conformance1
linguistic features for social-media analysis1
llm evaluation1
llm for se1
logical frameworks and their application in domains such as programming languages1
long-context1
machine and deep learning solutions1
machine learning for genomics / computational biology1
machine learning on networks1
machine vision and image processing1
machine/deep learning1
malware1
malware analysis1
manipulation planning1
maritime analytics1
massively scaled applications1
mathematical software1
mechanized mathematics1
mechatronics1
medical ai1
medical image computing1
medical image processing1
medical imaging1
medical-imaging ai1
memory systems1
meta-programming for software engineering (agda)1
metaverse1
metaverse security1
microbial genomics1
microrobots1
mimo1
ml & data analytics1
ml & learning theory1
ml for biological data1
ml for brain data1
ml for cybersecurity1
ml for fraud/fintech1
ml for health1
ml for language1
ml for security1
ml for sensing (health/fitness monitoring)1
ml for wireless comms1
ml-based vulnerability detection1
mlops1
mmwave & non-contact sensing1
mobile applications1
mobile apps1
mobile sensing1
mobile systems1
mobile/android privacy1
mobile/wireless systems1
model-based development1
model-based se1
modeling and simulation1
modelling1
modelling & comprehension1
modulation1
motion analysis1
motion planning1
motor control1
multi-access edge computing1
multi-agent / multi-robot path planning1
multi-agent learning1
multi-agent systems (madmuc lab)1
multi-modal large language models1
multi-paradigm modeling1
multidatabases1
multimedia1
multimedia information retrieval1
multimedia networking1
multimedia/video streaming1
named data networking1
natural language understanding and generation1
network / social-network analysis1
network & iot security1
network analysis1
network analysis (dbscan co-author)1
network and distributed systems security1
network computing and control1
network costing1
network performance1
network protocols1
network science1
network security analytics1
network slicing1
network systems1
network traffic measurement & performance evaluation1
network/systems management1
networks security1
neural scaling laws1
neuro-symbolic artificial intelligence1
neuroimaging1
neuroimaging analysis1
neuroscience1
next-gen 5g/6g networks1
nl interfaces to knowledge graphs1
nlp for healthcare1
nonlinear system solving1
nonmonotonic logic1
nonparametric estimation1
numerical methods1
ofdm sc-fdma1
online algorithms1
online optimization1
ontology-based analytics1
open-source software development1
operating systems1
optical & wireless networking1
parallel processing1
parallel programming1
parallel systems1
parsing1
peer social networks1
peer-to-peer1
peer-to-peer databases1
peer-to-peer systems1
peer-to-peer systems: e-commerce on peer-to-peer systems1
performance1
personalization1
persuasive tech1
planning1
plant phenotyping1
post-quantum cryptography1
privacy & security1
privacy and governance1
privacy and security1
privacy-enhancing technologies1
procedural content generation1
program comprehension1
program generation1
program slicing1
program verification1
programmable data plane intelligence1
programming theory & languages1
project management1
protocol & crypto-implementation security1
qos in heterogeneous wired and wireless networks1
quality of service and security management for web applications1
quantum computing1
quantum ml1
quantum-inspired ml1
query processing1
query processing & optimization1
real time systems1
reasoning about actions1
recommendation systems for se (lab for software modification research)1
refactoring & refactoring mining1
reinforcement-learning theory1
representation learning (speechbrain)1
reproducibility (neuroinformatics)1
requirements1
requirements engineering and regulatory compliance1
research methods1
resilient and reliable communications for 6g and beyond1
resource management for computer systems1
reverse engineering1
rich internet applications1
ris1
robots navigation1
robust perception1
robustness to adversarial perturbations1
rough sets1
safe control1
safety & security1
satellite-integrated networks1
scenario- and goal-oriented requirements engineering1
scheduling of stochastic systems1
scientific ml1
scientific workflows1
sdn1
search-based se (automotive/aerospace)1
secure1
secure comms1
secure software engineering1
security & privacy1
security analytics1
security vulnerabilities1
security: ad hoc1
segmentation1
self-adaptive/autonomic computing1
semantic communications1
semantic web1
sense of direction1
sensor analytics1
sensor and ubiquitous networks1
sensor calibration1
sensor networks1
sequential decision-making1
service-oriented computing1
services1
smart contracts1
smart grid and electric vehicles1
smart systems1
soa1
social computing1
social media processing1
social mining1
social network analysis1
social-network security1
soft continuum & medical robots1
software architecture (microservices)1
software defined networking1
software design1
software development1
software ecosystems1
software engineering methods/tools to improve research-software quality1
software evolution analysis1
software for ai/ml1
software maintenance & evolution1
software performance engineering1
software quality assurance1
software releases1
software supply chain1
software testing & qa1
software verification1
software verification and validation1
spatiotemporal & graph data1
speech & clinical nlp (vector institute)1
speech & signal processing1
static/dynamic/historical analyses1
statistical relational learning1
streaming data1
string algorithms & data structures1
structure-from-motion1
supply chains1
swarm intelligence1
systems biology1
systems modeling1
tactile sensing and dexterous robotic manipulation1
tangible & mixed-reality interfaces1
technical debt1
temporal graph mining1
testing1
text analysis and machine learning1
text analytics of software artifacts1
text data mining1
traffic analysis1
transaction models1
transaction processing1
trust and reputation modeling1
trustworthy ai1
trustworthy artificial intelligence and software systems1
trustworthy artificial intelligence for software engineering1
trustworthy ml (differential privacy1
trustworthy ml (interpretability1
uncertain data management1
uncertainty quantification1
underwater robotics / auvs1
underwater sensor networks1
use case based requirement engineering1
user modeling1
user profiling and behavioral analysis1
user requirements notation (urn)1
v2x1
validation1
validation and testing1
vehicular networking1
verification1
video analysis1
virtual worlds1
vision1
vision & sensing1
vision-language1
visual surveillance1
web privacy1
web security1
wireless and mobile ad hoc and mesh networks1
wireless communication and mobile networking1
wireless communications1
wireless energy transfer1
wireless multimedia1
wireless networks1
wireless sensor networks1
wireless/5g networks1
wireless/iot security1
wireless/mobile1
wireless/wireline network resource & performance optimization1

University

Department

Computer Science108
Computer Science and Software Engineering35
Computing Science44
Computing and Software27
Electrical Engineering and Computer Science48

page 1 / 1

1 professor

Amy Felty
Professor Emeritus
University of Ottawa · Electrical Engineering and Computer Science
software engineering · security · systems
- formal methods
- particularly interactive theorem proving and automated deduction
- logical frameworks and their application in domains such as programming languages
- systems biology
- privacy and security
- and proof theory
QS #2192026Website Scholar

Directory

Amy Felty