NTHRYS › PhD Assistance › Software Engineering

Software Engineering

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Parallel and Distributed Program Verification

Advanced verification techniques addressing unique challenges of correctness, synchronization, and consensus in parallel and distributed systems.