Skip to main content
UMD Department of Computer Science
Toggle navigation
People
Faculty
Dept. Phonebook
Faculty
Staff
Students
As PDF
University Directory Search
Research
Research Areas
Algorithms & Theory
AI & Robotics
Bioinformatics & Computational Biology
Computer Vision & Machine Perception
Cybersecurity & Cryptography
Databases & Big Data
Graphics, Visualization, and VR/AR
High Performance & Scientific Computing
Human-Computer Interaction
Information Retrieval and Geographic Information Systems (GIS)
Machine Learning & Data Science
Natural Language Processing
Programming Languages & Software Engineering
Quantum Computing
Systems & Networking
UMIACS
CfAR
CLIP
HCIL
Maryland Cybersecurity Center (MC2)
Research Projects
Education
Undergraduate
About
Prospective Students
Combined BS/MS Program
Recruiters
For Current Students
Advising Policies
Honors Program
Research Opportunities
Graduate
Prospective Students
Current Students
Graduating PhDs
Online GRA Appt Form
Policy Manual
Looking for Academic Jobs
TA Handbook
Writing a Statement of Purpose
Survival Guide
UMD Graduate Policies
UMD Graduate Forms
Scholarly Papers
Fellowship Opportunities
Student Awards
Executive Council
Class Web Pages
Maryland Max Planck Ph.D. Program
Graduate Certificate
Class Schedules
Fall
Spring
Summer
Winter
Academic Calendar
Scholarships
CS Education for Tomorrow
News & Events
News
Talks
Events Calendar
CS Video & Audio
iCal Feed
Newsletters
Community
Alumni
Hall of Fame
PhD Alumni
Join The Alumni Mailing List
Submit Alumni News
Corporate Partners
Outreach Programs
Computer Science Connect
Cybersecurity Education
HS Programming Contest
REU Program
Curriculum-in-a-Box
MD Center for Women in Computing
Student Groups
Social Media
Facebook
Twitter
LinkedIn
Instagram
Giving
Employment
About
Local Home
Log In
Polyvios Pratikakis
Graduation Year:
2008
Dissertation:
Sound, Precise and Efficient Static Race Detection for Multi-Threaded Programs