Professors

/

Filters

program synthesis4
machine learning243
software engineering108
artificial intelligence80
data science64
natural language processing62
security58
systems58
computer vision55
distributed systems49
computer science45
algorithms44
deep learning44
human-computer interaction44
databases35
nlp33
robotics33
high-performance computing32
programming languages31
computer graphics30
cybersecurity30
machine learning and data science29
cloud computing28
data mining27
networking27
networks26
formal methods24
reinforcement learning24
ai and robotics23
bioinformatics23
computational geometry23
network security22
algorithms and theory21
internet of things21
computer architecture19
cryptography19
optimization19
iot18
program analysis18
systems security18
mining software repositories17
computer vision and machine perception16
data management16
visualization16
and architecture15
engineering15
operating systems15
privacy15
wireless networks15
computer networks14
computing and software14
federated learning14
cyber-physical systems13
graphics visualization and vr ar13
multi-agent systems13
scientific computing13
software security13
software testing13
blockchain12
computational linguistics12
computer security12
high performance and scientific computing12
image processing12
machine learning and data mining12
parallel computing12
visual computing12
advanced data storage technologies11
big data11
graph theory11
large language models11
parallel computing and optimization techniques11
quantum computing11
social networks11
theoretical computer science11
cloud computing and resource management10
combinatorial optimization10
computational biology10
cyber security10
cybersecurity and cryptography10
explainable ai10
geometric modeling10
pattern recognition10
recommender systems10
virtual reality10
data analytics9
data structures9
empirical software engineering9
information retrieval9
mobile computing9
software reliability9
trustworthy ai9
applied machine learning8
approximation algorithms8
bioinformatics and computational biology8
coding theory8
compilers8
concurrency8
distributed computing8
distributed systems and fault tolerance8
evolutionary computation8
game theory8
graph algorithms8
hci8
health informatics8
human-robot interaction8
machine learning and algorithms8
memory systems8
programming languages and software engineering8
security and privacy8
big data analytics7
databases and big data7
edge computing7
hpc7
human centered and social computing7
human computer interaction7
knowledge representation7
network science7
neural networks7
program verification7
social network analysis7
autonomous systems6
biometrics6
computer science education6
cryptography and data security6
data privacy6
database and information systems6
decision sciences6
differential privacy6
distributed algorithms6
information extraction6
information security6
intrusion detection6
mathematics6
medical imaging6
ml6
model-driven engineering6
physics and astronomy6
probabilistic graphical models6
scientific visualization6
security / privacy6
security and verification in computing6
software maintenance6
software verification6
stochastic gradient optimization techniques6
visual computing and hci6
adversarial robustness in machine learning5
ai5
ai safety5
algorithm design5
anomaly detection5
automated program repair5
complexity and algorithms in graphs5
computational complexity5
computational science and engineering5
data visualization5
database systems5
debugging5
fault tolerance5
graph neural networks5
human-centered computing5
iot security5
knowledge graphs5
machine learning theory5
network measurement5
networking and distributed systems5
operating systems and distributed systems5
question answering5
real-time systems5
representation learning5
requirements engineering5
social computing5
software evolution5
trustworthy ml5
vehicular networks5
web security5
wireless sensor networks5
3d reconstruction4
advanced bandit algorithms research4
advanced malware detection techniques4
algorithmic fairness4
applied cryptography4
ar/vr4
artificial life4
caching and content delivery4
complex systems4
computational biology and bioinformatics4
computational intelligence4
computer systems4
data cleaning4
data quality4
design and analysis of algorithms4
distributed and parallel computing systems4
embedded systems4
empirical se4
formal verification4
generative ai4
genetic programming4
graph mining4
graphical models4
haptics4
image analysis4
information retrieval and geographic information systems (gis)4
information theory4
iot and wearables technology4
learning theory4
lexical semantics4
llms4
logic4
medical image analysis4
network optimization4
network protocols4
performance evaluation4
semantic web4
software architecture4
software systems and architecture4
sparse and compressive sensing techniques4
static analysis4
storage systems4
text mining4
theory of computing4
topic modeling4
access control3
accessibility3
advanced database systems and queries3
advanced optimization algorithms research3
ai for software engineering3
applied ai3
augmented reality3
automated reasoning3
autonomous systems and learning3
biochemistry3
cloud and edge computing3
cloud security3
combinatorics3
communication networks3
compiler optimization3
computational fabrication3
computational neuroscience3
computational topology3
computer algebra3
computer games3
continual learning3
data security3
data systems3
data warehousing3
deep learning systems3
digital forensics3
discrete mathematics3
edge ai3
efficient ml3
electronic teaching3
fairness3
formal verification and testing3
game ai3
generative models3
genetics and molecular biology3
geometry processing3
hardware security3
healthcare informatics3
high performance computing3
high-assurance systems3
human-centered ai3
language-based security3
large-scale optimization3
machine learning and data classification3
machine learning systems3
malware analysis3
medical informatics3
ml for cybersecurity3
ml for security3
ml systems3
modeling and simulation3
modeling methods and frameworks3
motion planning3
multimedia systems3
multimodal learning3
network simulation3
neuroscience3
optical networks3
optimization and variational analysis3
parallel and distributed computing3
physics-informed machine learning3
privacy-preserving technologies in data3
programming3
quantum information systems3
quantum machine learning3
query processing3
randomized algorithms3
reinforcement learning in robotics3
runtime systems3
scalable machine learning3
sdn3
secret sharing3
secure computation3
segmentation3
semantics3
sensor networks3
serious games3
signal processing3
smart grids3
social sciences3
software analytics3
software quality3
statistical inference3
statistical relational learning3
statistics3
theoretical ml3
transfer learning3
trusted computing3
trustworthy machine learning3
usable security3
verification3
virtual and augmented reality3
virtualization3
web services3
wireless security3
3d computer vision2
3d scene understanding2
3d vision2
5g2
accelerators and vlsi2
active learning2
advanced optical sensing technologies2
advanced vision and imaging2
adversarial robustness2
ai agents2
ai algorithms2
ai for science2
ai security2
algorithmic game theory2
algorithmic mechanism design2
and graphics2
and type systems2
answer set programming2
approximate inference2
approximation / online algorithms2
artificial intelligence (ai)2
artificial intelligence of things (aiot)2
audio-visual learning2
authentication2
automated debugging2
automated planning2
automl2
big-data analytics2
big-data systems2
binary rewriting2
bioinformatics algorithms2
biomedical computing2
biomedical engineering2
case-based reasoning2
cloud storage security2
clustering2
code clone detection2
code generation2
code review2
combinatorial algorithms2
communication protocols2
complex adaptive systems2
complex network analysis techniques2
complexity theory2
computability2
computational complexity theory2
computational epidemiology2
computational inverse problems2
computational number theory2
computational social science2
computer graphics and visualization techniques2
computing sustainability2
conceptual modeling2
coreference resolution2
crowdsourcing2
cs education2
cyber threat intelligence2
cybersecurity education2
data integration2
data management and algorithms2
data privacy and security2
data provenance2
data security and privacy2
data subset selection2
data-centric ai2
decision-making2
deep reinforcement learning2
developer tools2
digital agriculture2
digital fabrication2
digital twins2
discrete and computational geometry2
domain adaptation and few-shot learning2
driver distraction2
drug discovery2
dynamic analysis2
economics and computation2
edge2
edge/cloud2
educational data mining2
educational games2
efficient deep learning2
embedded security2
embedded systems design techniques2
embodied ai2
energy systems2
evolutionary algorithms2
evolutionary computing2
eye tracking2
fault localization2
few-shot learning2
formal methods in verification2
formal specification2
fpga2
fuzzy systems2
game design2
genetic algorithms2
geometric algorithms2
geometric deep learning2
geometric optimization2
geometric spanners2
geometry2
geometry and mesh generation2
graph learning2
health ai2
healthcare ai2
human factors2
human language technologies2
human motion and animation2
immersive analytics2
inference2
information visualization2
information-theoretic security2
intelligent agents and multi-agent systems2
intelligent systems2
interconnection networks2
interconnection networks and systems2
internet measurement2
internet security2
internet traffic analysis and secure e-voting2
interpretability2
interpretable machine learning2
kernel methods2
knowledge discovery2
knowledge management2
knowledge representation and reasoning2
language implementation2
learning analytics2
localization2
logic programming2
machine translation2
machine/deep learning2
malware2
malware detection2
manipulation2
matching markets2
medical image processing2
mimo systems2
mixed reality2
ml and systems2
ml for code2
ml for health2
ml for se2
ml security2
ml: theory and modeling2
mobile agent computing2
mobile and sensor systems2
mobile security2
mobile sensing2
mpi2
multi-agent learning2
multimedia2
natural language processing techniques2
network coding2
network security and intrusion detection2
network survivability2
networked systems2
non-functional requirements2
numerical methods2
object-oriented systems2
online algorithms2
online deception2
online social networks2
operations research2
parallel & distributed computing2
parallel and distributed systems2
parallel processing2
parallel programming2
peer-to-peer systems2
personalization2
persuasive technology2
probabilistic algorithms2
protocol analysis2
psychology2
quality of service2
quantum algorithms2
quantum computing algorithms and architecture2
quantum error correction2
quantum information2
real-time and embedded systems2
reasoning2
reasoning about actions2
refactoring2
reliability2
resource allocation2
responsible ai2
robot learning2
robot manipulation and learning2
robot perception2
secure multi-party computation2
secure software engineering2
security & privacy2
self-supervised learning2
sentiment analysis2
service computing2
side-channel attacks2
simulation2
single-cell genomics2
social robotics2
software design2
software maintenance and evolution2
software reliability and safety2
software verification and validation2
software-defined network security2
spatiotemporal data2
ssl/tls2
static program analysis2
statistical machine learning2
statistical methods and inference2
stochastic simulation2
stream mining2
stream processing2
string algorithms2
submodular optimization2
summarization2
sustainable computing2
system security2
systems biology2
systems software2
text generation2
three-dimensional computer vision2
threshold cryptography2
time series2
time series analysis2
transaction processing2
type systems2
unsupervised learning2
usability2
user modeling2
video streaming2
virtual reality applications and impacts2
visual analytics2
vulnerability detection2
web2
wireless2
wireless communications2
360 video1
360-degree video streaming1
3d1
3d content generation1
3d content-based search1
3d human digitization1
3d imaging for robotics1
3d printing1
3d sensing and modeling1
3d shape modeling1
3d shape modeling and analysis1
3d shape representation and object recognition1
3d visualization1
5g and 6g1
5g and 6g security1
5g/4g security1
6g1
6g networks1
abstract approximation1
abstract interpretation1
abstraction networks1
abuse detection1
access control models and methods1
access to data1
active databases1
active vision1
actor model1
actual causation1
actuation and planning for connected vehicles1
ad hoc & vehicular networks1
ad hoc and sensor networks1
ad/tracking1
adaptive ai1
adaptive instructional systems1
adaptive interfaces1
additive manufacturing1
additive manufacturing and 3d printing technologies1
advanced control systems optimization1
advanced fluorescence microscopy techniques1
advanced graph theory research1
advanced memory and neural computing1
advanced numerical methods in computational mathematics1
advanced radiotherapy techniques1
advanced sar imaging techniques1
aerial computing1
affective computing1
agent-directed simulation1
agentic ai1
agile software methods1
ai & character behaviour in games1
ai & computer vision for healthcare1
ai & society1
ai acceleration1
ai and agent systems1
ai and creativity1
ai and games1
ai and machine learning1
ai and machine learning for networking1
ai and ml for edge devices1
ai for conservation1
ai for science and engineering1
ai for services1
ai for social good1
ai for software security1
ai for visual data1
ai for wildlife conservation1
ai hardware1
ai in education and healthcare1
ai in healthcare1
ai in service interactions1
ai on edge1
ai planning1
ai-augmented learning in computing and stem education1
ai-backed event detection1
ai-based decision support systems1
ai-based security and trustworthy networks solutions1
ai-driven cybersecurity1
ai-driven development1
ai-empowered edge computing and caching1
ai-enabled wireless networks1
ai-native next generation networks1
ai-personalized health (nserc mcdonald fellow)1
ai/ml for user interaction1
ai/ml software1
ai/software security1
ai4science1
ai4se1
aiops1
aiot1
algebraic algorithms1
algebraic computation1
algorithm design and analysis1
algorithm design and data structures1
algorithm-system co-design1
algorithm-system co-design for ai acceleration1
algorithmic bias1
algorithmic number theory1
algorithmics1
algorithms & data structures1
algorithms and data compression1
algorithms and data structures1
algorithms and optimization1
algorithms by autonomous robots1
algorithms in bioinformatics1
algorithms with predictions1
also vr/ar/graphics1
alternative game controllers1
ambient and ubiquitous computing1
ambient intelligence & iot1
amir lab1
analysis of algorithms1
and data protection1
and knowledge1
and proof theory1
android app analysis1
animal re-identification1
animal-computer interaction1
animal-health ai1
animation1
animation systems1
anomaly event and fraud detection1
api summarization1
application of machine learning and natural language processing (nlp) to critical areas1
application security1
applications of ai1
applications of computational geometry in manufacturing1
applied ai/ml1
applied ai/ml to comms1
applied artificial intelligence1
applied geometric computing1
applied machine learning and computational intelligence1
applied machine learning in cybersecurity1
applied ml (vector institute)1
applied ml / data mining1
applied number theory1
applied security1
applying ml to financial management decision-making1
approximate databases1
apt1
ar/vr for engineering1
architectural design tools1
architecture1
architecture design1
architecture for mobile e-business1
architecture simulation1
artificial intelligence for health1
artificial intelligence for public health1
artificial intelligence in games1
artificial intelligence: knowledge representation1
aspect-oriented & functional programming1
aspect-oriented software development1
assistive robots1
association mining1
assured information sharing1
auction theory and applications1
auctions1
audio ml1
augmented and virtual reality1
augmented reality applications1
authentication and identity management1
authentication and privacy1
authorization1
automata and formal languages1
automata theory1
automated machine learning for nlp1
automated mechanism design1
automated performance tuning1
automated software synthesis1
automated software/system engineering1
automated verification1
automatic text classification1
automation and intelligent manufacturing1
automotive cybersecurity1
autonomic computing1
autonomic networks1
autonomous mobile robotics1
autonomous navigation1
autonomous vehicle systems1
backdoor/environment-poisoning attacks1
bandit algorithms1
barycentric coordinates1
battery management1
bayesian statistics1
beacon technology1
behavior-driven development1
behaviour analytics1
behaviour cultivation1
behavioural/ecological data1
belief propagation1
bias and fairness in nlp systems1
bias detection1
big data analysis1
big data analytics and data mining1
big data and database systems1
big data computing1
big data management and analytics1
big data science1
big data search and mining1
big data visualization and visual analytics1
big-data & cloud software engineering1
big-data infrastructures1
big-data management & mining1
big-data ml1
big-data pattern analysis1
binary analysis1
binary code analysis1
bio-inspired computing1
bio-medical computing1
bioinformatics ml1
biology inspired robotics1
biomechanical modeling1
biomedical image analysis1
biomedical image informatics1
biomedical imaging1
biomedical imaging analysis1
biomedical implants1
biomedical informatics1
biomedical sensors1
biometric recognition1
biometrics identification1
biosecurity1
black-box model interpretation1
black-box optimization1
blended realities1
blockchain and cryptocurrency1
blockchain and distributed systems security1
blockchain and edge computing1
blockchain applications1
blockchain systems1
blockchain technologies1
blockchain technology applications and security1
brain data analysis1
brain function1
broadening participation in computing1
bug detection1
bug localization1
build systems1
business1
business process modelling and mining1
cache1
cad1
cancer1
cancer biomarkers1
canine augmentation technology1
capacity planning1
cartesian genetic programming1
cascading failures1
causal inference1
cdma1
cellular automata1
cellular networks1
cellular security1
cenparmi)1
certified robustness1
chaos-based image/signal encryption1
character animation1
chemical sensors1
ci/cd1
circuit design1
citizen science1
classification1
classification and modelling1
clinical data1
clinical decision support1
clinical nlp1
cloud1
cloud data services1
cloud service selection1
cloud systems1
clouds1
clustering & pattern recognition1
code & design smells1
code search1
cognitive architectures1
cognitive computational neuroscience1
cognitive computing1
cognitive modeling1
cognitive modelling and computing1
cognitive science1
cognitive science applied to security1
cognitive systems1
coherence protocols1
collaborative robots1
collaborative security code reviews1
collaborative systems1
colour science1
colour vision1
combinatorial cryptography1
communication and privacy in federated learning1
communication networks and protocols1
communications1
community detection1
community-based software design1
community-engaged scholarship1
compiler construction (multi-core/simd)1
compilers and runtime environments1
complex dynamical systems1
complex network analysis1
complex networks1
complexity1
complexity analysis1
component-based systems1
compressive sensing1
computational advertising1
computational and text analysis methods1
computational biomedicine1
computational cognitive science1
computational drug discovery1
computational ecology1
computational finance1
computational genomics1
computational intelligence applied to defense and security (vp r&d1
computational media1
computational medicine1
computational modeling & simulation1
computational molecular biology1
computational narrative1
computational pathology1
computational photography1
computational public safety1
computational risk/finance1
computational science1
computational social choice1
computational statistics1
computational vision1
computer & network security1
computer & wireless networks1
computer and network security1
computer and storage systems1
computer animation1
computer architectures1
computer arithmetic1
computer communication networks1
computer networks & systems1
computer networks and protocols1
computer security (also games / retrocomputing)1
computer security and privacy1
computer systems and network security1
computer systems security1
computer vision (3d reconstruction1
computer vision (mila member)1
computer-aided design1
computer-aided diagnosis1
computer-assisted interventions1
computer-assisted surgery1
computer-supported cooperative work1
concurrency control1
concurrency theory1
concurrent algorithms & data structures1
concurrent computing1
concurrent programming languages1
conformal maps1
connected and autonomous vehicles1
consistency models1
constrained clustering1
constraint programming1
construction1
consumer market behavior and pricing1
container security1
context-aware computing1
context-driven & demand-driven computing1
contextual llms1
contextualized natural language understanding1
continual/federated learning1
control1
control and information processing in dynamical systems1
control theory1
controllable ai1
conversation modeling1
conversational agents1
conversational ai1
convex and non-convex algorithms1
cooperative communication and network coding1
coordinated mapping and searching1
corporate finance and governance1
cps1
cps safety & security1
creativity1
cresset lab1
critical infrastructure protection1
crowdsensing1
cryptanalysis1
cryptocurrency1
cryptographic and network security1
cryptographic implementations and security1
cryptographic protocols1
cryptography (joint math & cs)1
cryptography for ai1
cs education tools1
cs/ai education1
cscw1
cultural algorithms1
cvis lab1
cyber crime1
cyber forensics1
cyber security and privacy1
cyber-physical security1
cyber-physical systems security1
cybercrime1
cybercrime detection and prevention1
cybersecurity and network security1
cybersecurity and privacy1
cybersecurity measures and threat detection1
cybersecurity of cyber-physical systems1
dabnel lab1
data analysis and machine learning1
data analytics and anomaly detection1
data and web mining1
data change exploration1
data communication1
data compression1
data debugging1
data discovery1
data exploration1
data governance1
data interaction1
data leverage1
data loss prevention (dlp) strategies1
data mining & applications1
data mining & big-data analysis1
data mining algorithms and applications1
data mining and decision support systems1
data mining and machine learning1
data modeling1
data overload1
data policy1
data preparation1
data privacy (dir.1
data privacy and provenance1
data profiling1
data protection1
data quality and management1
data sanitization1
data security and user authentication1
data services1
data sharing1
data storage1
data streams1
data systems usability1
data valuation1
data visualization and analytics1
data warehouses and olap1
data warehousing/olap1
data-centric ml1
data-intensive computing1
data-intensive networks1
data-science methodology for public health1
data-stream processing1
database & knowledge-base systems1
database design1
database systems / data management1
database systems & data management1
database theory1
database transaction processing1
databases (ispia)1
databases: business intelligence1
datacenter systems1
datalog1
daylighting simulation1
de bruijn sequences1
debugging of web/js apps1
decentralized finance1
decentralized systems1
decision making1
decision making under uncertainty1
decision theory1
decision-making under uncertainty1
deep learning efficiency1
deep learning for code1
deep neural networks1
deep rl1
deep web1
deepfake detection1
defects1
deformable models1
delaunay triangulations1
dependability1
dependable ai1
dependable computing1
design1
design & implementation of programming languages1
design of distributed system software1
design quality1
design specification and verification1
design-pattern mining1
development processes1
devops1
dialogue systems1
digital geometry1
digital health1
digital libraries1
digital photography1
dimensionality reduction1
direct-to-satellite iot1
disaster robotics1
discourse1
discrete differential geometry1
discrete-event simulation1
disease modeling1
display clutter1
distributed & multimedia systems1
distributed and computational biology1
distributed and mobile agent computing1
distributed and mobile computing1
distributed and parallel computation1
distributed and real-time systems1
distributed computing pipelines1
distributed computing systems1
distributed intelligence security and privacy1
distributed ledgers1
distributed mobile entities1
distributed object-based systems1
distributed optimization / federated machine learning for transportation1
distributed systems security1
distribution learning1
dl systems1
dna computing1
dna storage1
domain adaptation1
domain adaptation and generalization1
domain knowledge in ml1
domain-specific computation1
domain-specific modelling1
dsmp lab1
dsp algorithms1
dynamic software updating1
e-health security and privacy1
e-learning software1
earth and space science informatics1
ebpf-based defences1
eclipse1
ecology and conservation applications1
econometrics and finance1
economics1
edge ai for 6g1
edge-ai1
edge/cloud computing1
edge/fog/cloud computing1
educational research1
educational technology1
efficient algorithms and data structures1
efficient llms1
efficient machine learning1
eigenvalue problems1
electric power system optimization1
electronic commerce1
electronic structure1
electronic voting systems security1
embedded vision1
embodied agents1
emergent behaviour1
emerging-tech vulnerabilities1
empirical studies1
energy-efficient architecture1
energy-efficient computing1
energy-efficient networking1
energy-efficient privacy-preserving ml1
energy-efficient wireless networks1
enterprise data security1
environmental & social science1
environmental informatics1
epidemiology1
error control coding1
error correction1
ethical and responsible technologies1
ethics and reliability of simulation studies1
event extraction1
evolution1
evolutionary algorithms and applications1
evolutionary ml1
exascale systems1
experimental algorithmics1
explainability and fairness of ai systems1
explainable algorithms1
explainable and controllable ai1
explainable ml1
explainable systems1
explanation and trust1
explanations for data1
extended reality1
eye-tracking1
fabrication1
fabrication technologies for games1
face and expression recognition1
face recognition and analysis1
face/iris recognition1
facility location1
fair allocation1
fairness in ml1
fairness)1
fake news detection1
fault-tolerant computing1
fault-tolerant distributed systems1
feature extraction)1
federated and transfer learning1
federated data science1
fibroblast growth factor research1
field-programmable gate arrays1
financial markets and investment strategies1
financial text analytics1
finite fields1
firmware/hypervisor/os security1
first-principles simulation1
floating-point analysis1
flow visualization1
formal design1
formal languages1
formal methods and security1
formal methods and verification1
formal methods in security1
formal methods in software engineering1
formal models1
formal software design modeling and analysis1
formal specification and verification1
foundation models1
fpga / hardware acceleration1
fpga cad1
fundamentals of software engineering1
fuzzing1
game design & technologies1
game design and development1
game development1
game studies1
game-based training and assessment1
game-playing agents1
games1
games and serious games1
games for health1
games for social good1
gamification1
gaussian processes and bayesian inference1
gaze tracking and assistive technology1
gem51
generalization1
generative internet of things (giot)1
genetic improvement1
genome-wide association studies1
genomics1
genomics & public-health bioinformatics1
genomics/bioinformatics1
geometric computing1
geometric design1
geometric graphs1
geometric location analysis1
geometric modeling and processing1
geometric networks1
geometric processing and visualization1
global optimization1
global software ecosystems1
goal modeling1
goal-oriented modeling1
gpu computing1
gradual type systems1
graph algorithms & drawing1
graph analytics1
graph and network mining1
graph and social network mining1
graph machine learning1
graph mining and network science1
graph processing1
graph product structure theory1
graphical and probabilistic models1
graphics1
graphrag1
graphs1
graphs@tmu1
gray codes1
handwriting analysis (director1
hardware1
hardware software co-design1
hardware/architectural security1
hardware/software co-design1
hashing1
head-up displays1
health1
health and wellness technology1
health communication1
health data privacy1
health technology1
heterogeneous memory1
heterogeneous recommendations1
heuristic search1
high performance microprocessors1
high-dimensional data modeling and searching1
high-dimensional statistics1
high-level programming languages1
high-performance & parallel computing1
high-performance data analytics1
high-performance data management1
high-performance mlsys1
high-performance networking1
high-performance parallel text processing (parabix)1
human aspects of software engineering1
human computation1
human digitization1
human motion capture and gesture analysis1
human pose and action recognition1
human-ai collaborative systems1
human-ai interaction1
human-ai teaming1
human-automation interaction and safety1
human-autonomy teaming1
human-centered interfaces1
human-computer interactions1
human-in-the-loop ai1
human-in-the-loop analytics1
human/medical robotics1
hypothesis testing1
icasl lab1
ieee fellow1
iiot1
image analysis and computer vision1
image and video analysis1
image compression/encoding1
image processing techniques and applications1
image registration1
image retrieval1
image security1
image stylization1
image-based 3d reconstruction1
image-guided radiotherapy1
imageomics1
immersive media1
immersive systems1
immune-inspired security1
in-memory & storage1
in-network computing1
inclusive design1
individual-based modeling1
indoor and outdoor localization technologies1
infectious disease monitoring1
influence maximization1
information & network security1
information & network security (icore information security lab)1
information flow1
information flow security1
information security and privacy1
information systems1
innovative human-technology interaction1
institute for big data analytics)1
instructional design1
intelligent agents for semantic web1
intelligent and emerging storage1
intelligent controls and reasoning1
intelligent human-computer interaction1
intelligent sensor networks1
intelligent software systems1
intelligent transportation1
intelligent transportation systems1
interactive 3d games1
interactive and immersive displays1
interactive data exploration1
interactive learning algorithms1
interactive ml1
interactive narrative1
interactive narratives1
interactive systems1
internet architecture1
internet infrastructure1
internet measurements1
internet of drones1
internet of medical things (iomt) and health-care security1
internet of things (iot) applications1
internet of things (iot) security1
internet of things / internet of vehicles1
internet of vehicles (iov)1
internet systems1
internet topology1
interpretability)1
interprocessor communication1
interruption management1
intrinsic motivation1
intrusion detection systems1
intrusions detection and prevention1
iobt1
iot / wireless / protocol security1
iot and edge/fog computing1
iot and scada security1
iot security and privacy1
iot/ioe1
iov1
ir for se (raise lab)1
java1
keyword search1
knowledge engineering1
knowledge graph analysis1
knowledge graph analytics1
knowledge modeling1
knowledge-based systems1
knowledge-guided ml1
label-efficient and active learning1
language modeling1
language modelling1
language models1
language models for code1
large scale data management1
large software systems1
large-scale computation1
large-scale graph ml1
large-scale linear algebra1
large-scale machine learning1
large-scale machine learning systems1
large-scale ml for chip design1
large-scale simulation1
larus technologies)1
lattices1
lattices and decoding algorithms1
learning1
learning and inference1
learning from limited data1
learning from preferences1
learning-based & safe robot control1
learning-based control (+ physics-based character animation)1
legacy software1
legacy system modernization1
legal and regulatory compliance1
legal conformance1
lia lab1
lifted planning1
lightweight cryptography1
linguistic features for social-media analysis1
link prediction1
linux kernel1
llm agent security1
llm agents1
llm evaluation1
llm for se1
llm systems1
llm/nlp1
logical frameworks and their application in domains such as programming languages1
long-context1
low-level platform security1
low-power vlsi1
low-power vlsi design1
low-rank approximation1
lpwan1
machine and deep learning solutions1
machine assisted decision making1
machine learning algorithms1
machine learning and elm1
machine learning and nlp for software engineering1
machine learning for audio1
machine learning for genomics / computational biology1
machine learning for healthcare1
machine learning for systems1
machine learning for time-series data1
machine learning in bioinformatics1
machine learning on networks1
machine learning security1
machine learning theory and applications1
machine learning with graphs1
machine perception1
machine unlearning1
machine vision and image processing1
machine-human interaction1
malware defense1
management and accounting1
manipulation planning1
manipulative interaction modelling1
maritime analytics1
market and mechanism design1
markov chains and monte carlo methods1
markov logic1
massive data1
massively scaled applications1
materialized views1
math education1
mathematical cryptography1
mathematical optimization1
mathematical software1
measurement1
mechanism design1
mechanized mathematics1
mechatronics1
medical ai1
medical data analysis1
medical image computation1
medical image computing1
medical ontologies1
medical robotics1
medical-imaging ai1
medicine1
memory and cache systems1
memory hierarchy1
memory management1
memory safety1
mental models of security1
mesh generation1
mesh processing1
message passing1
meta-programming for software engineering (agda)1
metagenomics algorithms1
metaverse1
metaverse security1
microarchitectural security1
microbial genomics1
microrobots1
middleware1
millimeter-wave propagation and modeling1
mimo1
mining stack overflow and github1
misinformation detection1
mixed reality and spatial computing1
mixed signal microprocessors1
ml & data analytics1
ml & learning theory1
ml and data analysis1
ml for biological data1
ml for brain data1
ml for eda1
ml for fraud/fintech1
ml for language1
ml for sensing (health/fitness monitoring)1
ml for systems1
ml for wireless comms1
ml in databases1
ml-based vulnerability detection1
mlops1
mlsys1
mmwave & non-contact sensing1
mobile & pervasive computing1
mobile ad hoc networks1
mobile and iot security1
mobile applications1
mobile apps1
mobile cloud computing1
mobile communication1
mobile computing & sensing1
mobile data management and privacy1
mobile device security1
mobile edge computing1
mobile health1
mobile social networks1
mobile software1
mobile systems1
mobile systems security1
mobile/android privacy1
mobile/wireless systems1
model interpretability for ai safety1
model-based development1
model-based se1
modelling1
modelling & comprehension1
modelling and simulation1
modularity1
modulation1
molecular computing1
molecular graphics1
monte carlo1
monte carlo methods1
motion1
motion analysis1
motion planning and control1
motor control1
motor control and adaptation1
mri1
multi-access edge computing1
multi-agent / multi-robot path planning1
multi-agent reinforcement learning1
multi-agent systems (madmuc lab)1
multi-core & parallel computing1
multi-modal large language models1
multi-paradigm modeling1
multi-paradigm modelling1
multi-robot coordination1
multi-robot path planning1
multi-task learning1
multiagent resource allocation1
multidatabases1
multimedia and online video streaming1
multimedia databases1
multimedia information management1
multimedia information retrieval1
multimedia networking1
multimedia security1
multimedia security and watermarking1
multimedia/video streaming1
multimodal1
multimodal ai1
multimodal machine learning1
multimodal machine learning applications1
multimodal nlp1
multitasking1
multitasking and interruptions1
multiword expressions1
named data networking1
narrative schemas1
natural language understanding1
natural language understanding and generation1
naturalness of software1
network / social-network analysis1
network & iot security1
network analysis1
network analysis (dbscan co-author)1
network and computer security1
network and distributed systems security1
network and information security1
network and mobile security1
network and system security1
network architectures1
network coding security1
network computing1
network computing and control1
network control and analysis1
network costing1
network design1
network formation1
network models1
network monitoring and internet measurement1
network performance1
network resilience1
network security analytics1
network slicing1
network systems1
network traffic and congestion control1
network traffic measurement & performance evaluation1
network- and host-level security1
network/systems management1
networks (ad hoc1
networks security1
neural combinatorial optimization1
neural interfaces1
neural network verification1
neural networks and applications1
neural scaling laws1
neuro-symbolic artificial intelligence1
neuroimaging1
neuroimaging analysis1
neuromorphic computing1
neurosymbolic ai1
new media1
new media technology1
next-gen 5g/6g networks1
next-generation ai hardware1
nl interfaces to knowledge graphs1
nlp for healthcare1
nlp for security and software engineering1
nlp for software engineering1
noise-tolerant learning1
non-photorealistic rendering1
non-stationarity1
non-volatile memory1
nonlinear modeling1
nonlinear optimization1
nonlinear storytelling1
nonlinear system solving1
nonmonotonic logic1
nonparametric estimation1
number theory1
numerical linear algebra1
object pose estimation1
object recognition1
object tracking1
object-oriented testing1
oblivious ram1
ofdm sc-fdma1
olap1
online deception detection1
online optimization1
online privacy1
ontologies1
ontology quality assurance1
ontology-based analytics1
open data1
open-source ecosystems1
open-source software1
open-source software development1
operating systems security1
optical & wireless networking1
optical burst switching1
optical measurement and interference techniques1
optical networking1
optical switching1
optimization algorithms1
optimization for machine learning1
parallel & distributed systems1
parallel algorithm design1
parallel and distributed computation1
parallel and distributed computing and systems1
parallel and distributed data management1
parallel and distributed processing1
parallel and external-memory algorithms1
parallel discrete-event simulation1
parallel i/o1
parallel i/o and data storage1
parallel systems1
parallel/distributed algorithms1
parameterized complexity1
parsers1
parsing1
particularly interactive theorem proving and automated deduction1
passwords1
patch management1
pattern matching1
payment security1
pedagogy1
peer social networks1
peer-to-peer1
peer-to-peer computing1
peer-to-peer databases1
peer-to-peer network technologies1
peer-to-peer systems: e-commerce on peer-to-peer systems1
perception1
perceptual control1
perceptual organization1
performance1
performance analysis tools1
performance evaluation and optimization1
performance optimization1
performance tuning1
personal health analytics1
personal informatics1
persuasive security games1
persuasive tech1
pervasive computing1
pervasive computing for smart health1
phishing and web trust1
phylogenomics1
physical ai1
physical interactions1
physics-informed ml1
pir1
planar graphs1
planning1
plant phenotyping1
policy and privacy compliance on open platforms1
polyhedral compilation1
polyhedral optimization1
population-level risk assessment1
posix shell1
post-quantum cryptography1
post-quantum security1
precision agriculture1
prediction markets1
predictive modeling1
preference elicitation1
privacy & security1
privacy and governance1
privacy and security1
privacy enhancing techniques1
privacy preservation1
privacy-enhancing technologies1
privacy-preserving data mining1
privacy-preserving data publishing1
privacy-preserving ml1
private information retrieval1
probabilistic generative modeling1
probabilistic inference1
probabilistic models1
probabilistic reasoning1
procedural content generation1
procedural generation1
procedural modeling1
program analysis and optimization1
program comprehension1
program generation1
program hardening1
program repair1
program slicing1
program transformation1
program verification for os kernels1
programmable data plane intelligence1
programmable devices1
programming languages and compilers1
programming languages and formal methods1
programming methodology1
programming systems1
programming theory & languages1
project management1
proof assistants1
protein structure and dynamics1
protocol & crypto-implementation security1
protocol security1
protocol verification1
protocols1
provable security1
pseudorandomness1
public-key infrastructure1
qos1
qos in heterogeneous wired and wireless networks1
qualitative research1
quality of service and security management for web applications1
quantified self1
quantum ai1
quantum and electron transport phenomena1
quantum and post-quantum security1
quantum and reversible computing1
quantum codes1
quantum communications and networks1
quantum complexity theory1
quantum cryptography1
quantum information and cryptography1
quantum ml1
quantum networks1
quantum software engineering1
quantum-dot cellular automata1
quantum-inspired ml1
quasi-monte carlo1
query optimization1
query processing & optimization1
query processing on modern hardware1
question answering over knowledge graphs1
r1
radar systems and signal processing1
radiation effects in electronics1
randomized algorithms for big data1
randomized linear algebra1
randomized numerical linear algebra1
real time systems1
real-time & cyber-physical systems1
real-time scheduling1
real-time surgical decision support1
reasoning and explanation1
recommendation1
recommendation systems1
recommendation systems for se (lab for software modification research)1
recommendation systems in software engineering1
reconfigurable computing1
refactoring & refactoring mining1
registration1
reinforcement learning for systems1
reinforcement-learning theory1
relational learning1
relative correctness1
reliable and efficient concurrent software1
remote data integrity1
replication protocols1
representation learning (speechbrain)1
representations1
reproducibility (neuroinformatics)1
requirements1
requirements acceptance testing1
requirements engineering and regulatory compliance1
research methods1
resilient and reliable communications for 6g and beyond1
resilient computing1
resource management for computer systems1
resource management in heterogeneous networks1
response robotics1
responsible data management1
retrieval-augmented generation1
reverse engineering1
rich internet applications1
ris1
risk analysis1
robot control1
robot control with external sensing1
robotic grasping1
robotic manipulation1
robotic perception1
robotics and sensor-based localization1
robots navigation1
robust learning1
robust perception1
robustness and control1
robustness to adversarial perturbations1
root cause analysis1
rough sets1
routing in networks1
runtime support for non-general-purpose computation1
safe and secure autonomous systems1
safe control1
safe learning1
safer flight systems1
safety & security1
sample efficiency1
sampling-based algorithms1
satellite-integrated networks1
scada1
scada diagnostics1
scalability1
scalable systems1
scenario testing1
scenario- and goal-oriented requirements engineering1
scheduling1
scheduling of stochastic systems1
scientific computing and data management1
scientific data management1
scientific document processing1
scientific machine learning1
scientific ml1
scientific workflows1
sdn security1
se4ai1
search-based se1
search-based se (automotive/aerospace)1
search-based software engineering1
secure1
secure and dependable systems1
secure bgp1
secure comms1
secure data processing1
secure dns1
secure internet geolocation1
secure multiparty computation1
secure software design1
security & privacy for mobile systems1
security analytics1
security and assurance1
security and environmental sustainability1
security and privacy in distributed systems1
security and privacy of machine learning1
security education1
security for manufacturing systems and iot/iobt1
security in machine learning1
security of critical infrastructures1
security vulnerabilities1
security: ad hoc1
self-adaptive/autonomic computing1
self-assembly1
self-managed software systems1
self-organization1
self-regulated learning1
self-stabilization1
semantic communications1
semantic data integration1
semantic networks1
semantic technologies1
semantic web and ontologies1
semantics engineering1
semi-supervised learning1
semigroups and automata theory1
sense of direction1
sensor1
sensor analytics1
sensor and ubiquitous networks1
sensor calibration1
sensor fusion1
sensors & bio-instrumentation1
sequence analysis1
sequential decision making1
sequential decision-making1
serious games and rehabilitation1
serious gaming1
serverless1
service-oriented architecture and restful apis1
service-oriented computing1
services1
shape analysis1
shape correspondence1
shape optimization1
shape segmentation1
shape synthesis1
shortest-path problems1
side channels1
side-channel analysis1
silicon photonics for quantum information1
similarity search1
simulation output analysis1
single-nucleotide polymorphisms1
situation calculus1
sketching1
slam1
smalltalk1
smart and connected communities1
smart cities1
smart contracts1
smart grid and electric vehicles1
smart grid security1
smart systems1
smartphone security1
snomed ct1
soa1
social1
social and communication networks1
social and complex network analysis1
social choice and voting1
social learning spaces1
social media processing1
social mining1
social network simulations1
social robot interaction and hri1
social-network security1
societal implications of ai agents1
sociotechnical aspects1
sociotechnical system design1
soft and continuum robotics1
soft continuum & medical robots1
software & systems security1
software agents1
software analysis1
software and system engineering1
software architecture (microservices)1
software automation1
software data analytics1
software debugging1
software defined networking1
software design and testing1
software development1
software development processes1
software diversity1
software economics1
software ecosystems1
software engineering for ai1
software engineering methods/tools to improve research-software quality1
software engineering research1
software evolution analysis1
software evolution and modularity1
software for ai/ml1
software lifecycle management1
software maintenance & evolution1
software mining1
software patterns1
software performance engineering1
software process1
software product lines1
software quality assurance1
software releases1
software reliability estimation1
software safety and security1
software security and reliability1
software supply chain1
software supply chain security1
software system performance and reliability1
software testing & qa1
software testing and debugging techniques1
software testing and program analysis1
software testing and verification1
software transactional memory1
software-defined networking unmanned aerial vehicles space-air-ground integrated networking1
software-defined networks and 5g1
software-defined radio1
solar image analysis1
source code analysis and nlp1
sparse coding1
spatial and spatio-temporal data management1
spatial data1
spatial data analysis1
spatio-temporal data analysis1
spatio-temporal databases1
spatiotemporal & graph data1
specification1
spectral graph theory1
speech & clinical nlp (vector institute)1
speech & signal processing1
speech and audio processing1
speech enhancement1
speech processing1
speech recognition1
spoken dialogue systems1
sports analytics1
state estimation1
static/dynamic/historical analyses1
statistical association1
statistical computing1
statistical data analysis1
statistical estimation1
statistical genetics1
statistical methods1
statistical methods for large data1
statistical natural language processing1
statistical relational ai1
statistical signal processing1
steiner trees1
stochastic optimization1
streaming analytics1
streaming data1
string algorithms & data structures1
structural bioinformatics1
structural pattern recognition1
structure from motion1
structure-from-motion1
sublinear algorithms1
submodularity1
supply chains1
surgical data science1
surgical performance assessment1
swarm intelligence1
synthetic data1
system and network security1
systems and networking security1
systems for big data1
systems modeling1
systems performance1
systems programming1
tactile and haptic interfaces1
tactile and sensory interactions1
tactile sensing and dexterous robotic manipulation1
taint analysis1
tangible & mixed-reality interfaces1
tangible interaction1
tangibles1
team formation1
technical debt1
teleoperation and haptic systems1
temporal graph mining1
test data generation1
test generation1
test oracles1
testing1
text analysis and machine learning1
text analytics of software artifacts1
text and graph mining algorithms1
text classification1
text data mining1
text mining and natural language processing1
text summarization1
textual analytics1
texture synthesis1
theoretical biology1
theoretical reinforcement learning1
theory and algorithms1
theory of algorithms1
theory of computation1
threat detection1
threat intelligence1
time-sensitive sports analytics1
tissue engineering and regenerative medicine1
topological and geometric data analysis1
topological data analysis1
traffic analysis1
transaction models1
transcriptomic and interactomic data analytics1
transfer and federated learning1
transportation planning and optimization1
tree-structured & graph data1
triangle meshes1
trust1
trust and reputation modeling1
trust modeling1
trusted execution1
trusted hardware1
trustworthy and agentic ai1
trustworthy artificial intelligence and software systems1
trustworthy artificial intelligence for software engineering1
trustworthy iot1
trustworthy ml (differential privacy1
trustworthy ml (interpretability1
trustworthy ml/ai1
trustworthy program execution1
type and effect systems1
type theory1
ultrasound1
umls1
uncertain data management1
uncertainty quantification1
uncertainty reasoning1
underwater communications and networks1
underwater robotics / auvs1
underwater sensor networks1
unsupervised and semi-supervised learning1
usable authentication1
usable security and privacy1
usable security and privacy for children1
usable security for healthcare1
use case based requirement engineering1
use-inspired ai1
user authentication1
user authentication and security systems1
user interaction1
user modeling and adaptive systems1
user modelling1
user profiling and behavioral analysis1
user requirements notation (urn)1
user-centered design1
user-centred design1
v2x1
validation1
validation and testing1
variance reduction1
vector institute affiliate1
vehicular communications and networks1
vehicular networking1
verification of machine learning libraries1
video analysis1
video analysis and summarization1
video analytics1
virtual avatars1
virtual machine migration1
virtual machines1
virtual worlds1
visibility1
vision1
vision & sensing1
vision-language1
visual intelligence1
visual surveillance1
vlsi cad1
voice assistant security1
volume rendering1
voting1
voting theory1
vr1
vriend lab1
weakly supervised learning1
wearable and flexible electronics1
wearables1
web data mining and analysis1
web measurement1
web mining1
web privacy1
web-based systems1
wide-area ad hoc networks1
wired and wireless networks1
wireless ad hoc networks1
wireless and mobile ad hoc and mesh networks1
wireless and mobile networking1
wireless communication1
wireless communication and mobile networking1
wireless communications and networking1
wireless energy transfer1
wireless multimedia1
wireless network security1
wireless networking1
wireless networks and mobile computing1
wireless)1
wireless/5g networks1
wireless/iot security1
wireless/mobile1
wireless/wireline network resource & performance optimization1
xr1
zero-shot learning1

University

Department

page 1 / 1

4 professors

Aditya V. Thakur
Associate Professor; Graduate Group Vice Chair
University of California, Davis · Computer Science
programming languages · program analysis · formal verification
- abstract interpretation
- program synthesis
- ml for code
QS #1142026Website Scholar
Anders Miltner
Assistant Prof
Simon Fraser University · Computing Science
software engineering
- program synthesis
- programming languages
- formal methods
QS #3082026Website Scholar
Marta Kryven
Assistant Professor
Dalhousie University · Computer Science
machine learning
- computational cognitive science
- llms
- program synthesis
- decision-making
QS #2832026Website Scholar
Yuepeng Wang
Assistant Prof
Simon Fraser University · Computing Science
software engineering
- program synthesis
- program verification
- formal methods
QS #3082026Website Scholar

Command palette

Professors

Aditya V. Thakur

Anders Miltner

Marta Kryven

Yuepeng Wang