About CCSpec

The Research Group

The Computer Software Engineering - Scalable and Secure Systems (CSE - S3) Lab at the University of Central Florida was established by Dr. Damian Dechev in 2010. His work focuses on concurrency and multithreading using C++. Dr. Dechev completed his Ph.D. degree in 2009 at Texas A&M University under the supervision of Dr. Bjarne Stroustrup. The CSE-S3 lab has been supported by the National Science Foundation, Sandia National Laboratories, and the Department of Energy.

Developers

Christina Peterson

Christina Peterson received her Bachelor of Science in Computer Science from the University of Central Florida in December 2013. She is currently pursuing her PhD at the University of Central Florida. Her research interests include transactional memory, formal verification of concurrent systems, and combinatorial topology theory for asynchronous computability.

Pierre LaBorde

Pierre LaBorde received his Bachelor of Science (2011), and Master of Science (2013), in Computer Science from the University of Central Florida, and is currently pursuing his PhD in Computer Science at UCF. His research work is focused on developing concurrent lock-free and wait-free data structures. His research interests include: Distributed Computing, Practical Non-Blocking Synchronization, Data Structures, Multicore Programming, Locking Algorithms, Hardware Transactional Memory

Damian Dechev

Dr. Damian Dechev is an Associate Professor at the CS Department at the University of Central Florida and the founder of the Computer Software Engineering - Scalable and Secure Systems Lab at UCF. Damian completed his Ph.D. in 2009 from Texas A&M University under the supervision of Dr. Bjarne Stroustrup. Dr. Dechev specializes in the design and analysis of multiprocessor data structures and algorithms. Dr. Dechev's research in multiprocessor algorithm design has been supported by grants from the National Science Foundation and Sandia National Laboratories.