Find Academic Supervisors

Iulian NeamtiuView profile

Professor

• Mobile Application Security
• Android System Security
• Data Structure Analysis
• +6 more

Iulian Neamtiu is a Professor in the Department of Computer Science at New Jersey Institute of Technology (NJIT), part of the College of Computing Sciences. His research focuses on mobile system security, software testing, and algorithm implementation analysis with applications in healthcare apps and cybersecurity. Education: Ph.D. in Computer Science, University of Maryland-College Park (2008) M.S. in Computer Science, University of Maryland-College Park (2005) B.S. in Computer Science, Technical University of Cluj-Napoca (1999) Research interests include analyzing vulnerabilities in healthcare mobile apps, improving algorithm determinism, and developing tools for Android system security. His work addresses topics like personal data leaks, clustering algorithm stability, and nondeterminism-based attacks. Recent publications focus on medical app privacy, anomaly detection robustness, and Android implementation security. Key contributions include frameworks like VALERA for Android replay debugging and Livedroid for app state preservation. His research has been supported by NSF grants and industry collaborations.

Konstantin KapinchevView profile

Lecturer

• Concurrent Computing
• Parallel Computing
• Digital Signal Processing
• +1 more

Dr. Konstantin Kapinchev is Senior Lecturer in Computer Science at University of Greenwich's School of Computing and Mathematical Sciences. His research examines parallel computing architectures and financial signal processing techniques. Education includes a PhD in Computer Science from University of Kent and MSc in Computer Systems from Technical University of Varna. As Visiting Researcher at University of Kent, he contributes to signal processing methodologies. Technical committee roles include IEEE's International Conference on Signal Processing and Communication Systems.

Nagarajan RajaView profile

Professor

• Quantum Computing
• Cybersecurity
• Formal Methods
• +3 more

Professor Nagarajan Raja is a faculty member in the Department of Computer Science at Middlesex University, specializing in foundational aspects of computing. His research focuses on quantum information systems, cybersecurity through program analysis, and state machine theory. He leads the CST4040 module and contributes to formal methods for quantum protocols. Research interests include quantum computing, formal verification, and cybersecurity. His work spans theoretical frameworks for quantum systems, error correction, and protocol analysis using tools like Coq and Q#. He has published extensively on topics ranging from quantum process calculus to cryptographic applications. Publications highlight contributions to quantum error-correcting codes, automated equivalence checking of systems, and formal models for concurrent quantum processes. His work bridges theoretical foundations with practical applications in secure communication and computational efficiency. For collaboration or enquiries, contact Dr. Aboubaker Lasebae for research partnerships or the program director Dr. Serengul Smith for academic programs.

• Concurrent Computing
• Parallel Processing
• Distributed Systems
• +1 more

Julia Hiebel is an Adjunct Assistant Professor in the Department of Computer Science at Michigan Technological University (Michigan Tech). She specializes in teaching concurrent computing, focusing on parallel processing and distributed systems. Her academic role emphasizes educational contributions in computer science disciplines. While no formal educational background is detailed in the text, her affiliation with the Computer Science faculty indicates advanced academic credentials. Her research interests revolve around concurrent computing paradigms and their applications in modern systems. No grants, awards, or publications are explicitly mentioned in the provided information. She may contribute to laboratory or team initiatives within the department, though specific details are not disclosed.

Shuai MuView profile

Assistant Professor

• Distributed Systems
• Concurrency Control
• Large-Scale Storage Systems
• +4 more

Shuai Mu is an Assistant Professor in the Department of Computer Science at Stony Brook University. Previously, they held a post-doctoral researcher and lecturer position at New York University. They earned a Ph.D. in computer science from Tsinghua University in 2015. Shuai's research focuses on distributed systems, particularly concurrency control in large-scale storage systems. They aim to enhance system efficiency without compromising correctness guarantees like serializability. Key areas include database systems, transactional memory, wide-area replication, and hardware/software optimizations. Their work addresses challenges in distributed/multicore architectures and fault-tolerant replication. Recent publications emphasize sustainability in data centers, concurrency control algorithms, and hardware acceleration techniques. They have explored innovative approaches such as the Causalmesh causal cache for serverless computing and NCC for natural concurrency control in datastores. Teaching responsibilities include CSE 535. While no awards are explicitly listed, their research contributions reflect a strong commitment to advancing distributed systems theory and practice.

• High Performance Computing
• Cloud Computing
• Computing Sustainability
• +3 more

Roy Rohan Basu is an Assistant Professor at the Kahlert School of Computing at the University of Utah, joining in July 2025. His research focuses on High Performance Computing, Cloud Computing, and Computing Sustainability, with an emphasis on environmental impact mitigation and resource optimization in large-scale systems. Research interests include sustainable cloud architectures, serverless computing efficiency, and reducing carbon/water footprints in computing. He explores innovative solutions for cold-start mitigation, I/O bottlenecks, and energy-efficient resource allocation. Recent work highlights include analyzing forever chemicals' impact on computing infrastructure, optimizing carbon-aware serverless scheduling, and enhancing GPU-accelerated AI workloads. His research bridges theoretical models and practical implementations, addressing real-world challenges in scalable and sustainable computing. Articles from 2022–2025 reflect a growing focus on environmental sustainability in computing systems, with contributions to cloud resource management, quantum computing evaluation, and manufacturing process digital twins. No scientific awards or grants are explicitly listed in the provided information. His current role emphasizes advancing sustainable computing through interdisciplinary approaches.

Todd EavisView profile

Associate Professor

• Programming Languages
• Code Generation
• Continuous Integration and Delivery
• +3 more

Todd Eavis is an Associate Professor in the Department of Computer Science and Software Engineering at Concordia University. He received his PhD from Dalhousie University (2003) and completed an NSERC postdoctoral fellowship at Carleton University (Ottawa). His research focuses on programming language design, software development environments, and reducing complexity in build systems. Teaching includes courses on programming languages, operating systems, databases, and parallel programming at both undergraduate and graduate levels, such as COMP 228, COMP 248, COMP 6411, and COMP 6521. Research themes emphasize approachable software frameworks, 90/10 syntax, code generation, platform-agnostic development, and continuous integration/delivery. Key areas include query optimization in parallel DBMS, OLAP systems, and efficient data cube computation. Publications highlight contributions to database systems, parallel processing, and cloud-oriented software design. Notable works include work on real-time OLAP systems, NOX OLAP algebra optimization, and scalable data cube generation.

Geoff HamiltonView profile

Associate Professor

• Program Transformation
• Automated Theorem Proving
• Formal Verification
• +3 more

Dr. Geoff Hamilton is Associate Professor at Dublin City University's School of Computing. His research develops program transformation hierarchies for applications in theorem proving, verification, optimization, and energy-efficient computing. The distillation algorithm—a key contribution—achieves orders-of-magnitude efficiency gains over standard techniques. Work spans automated verification tools, termination provers, security protocol analyzers, and complexity bounds calculators. Recent publications focus on side-channel attacks, concurrency optimization, and tight complexity bounds for loop programs. Teaching includes comparative programming languages, cryptography, and formal methods. Research consistently advances transformation-based approaches for parallelization, verification, and resource analysis. Current directions include smart contract verification and energy-aware program optimization methodologies.

John J CollinsView profile

Associate Professor

• Compiler Optimization
• Software Parallelization
• Robotics
• +4 more

John J Collins is an Associate Professor at the University of Limerick, affiliated with the Department of Computer Science & Information Systems and Lero – the Research Ireland Centre for Software. His research focuses on compiler optimization, software parallelization, robotics, and evolutionary algorithms. Notable contributions include work on grammatical evolution and empirical studies in software requirements engineering. He has authored 36 research outputs since 1997, including a comprehensive handbook on grammatical evolution. Research Interests: Compiler flag optimization using genetic engineering Robotics (mobile robot control, SLAM) Machine vision applications Parallelization techniques in multi-core architectures Grammatical evolution methodologies Key Publications: His recent work includes a 2019 study on requirement engineering challenges across 11 organizations and a 2017 case study on data decomposition for parallel software systems. The 2018 Handbook of Grammatical Evolution remains a foundational text in evolutionary computing. Advising & Grants: While no specific advisees are listed, his research has been supported through institutional affiliations with Lero and the Department of Computer Science. Active in both academic publishing and applied software research. Labs/Teams: Principal member of Lero – the Irish Software Research Centre, contributing to collaborative projects in software systems and AI-driven development.

• Loop Transformation and Scheduling
• Parallel Processing
• Computer Science Education
• +3 more

Dr. Timothy W. O’Neil is a tenured Professor and Chair of the Department of Computer Science at The University of Akron. He joined UA in 2002 with prior teaching experience at institutions like the University of Notre Dame and Ohio State University. His research focuses on Loop Transformation, Parallel Processing, and Computer Science Education. He has authored/co-authored numerous publications in parallel computing and education, and serves as a member of IEEE. Education: Ph.D. (Notre Dame), M.S. (Ohio State in Computer Science and Mathematics), B.S./B.S.Ed. (Clarion University) Research Interests: Loop scheduling optimization, parallel processing architectures, and innovative teaching methodologies. He has advised graduate students and led grants as Principal Investigator. Teaching: Courses include Operating Systems, Parallel Processing, and Computer Science Education. Current courses (Spring 2025) include CPSC 4/526 (Operating Systems) and Topics in Computing Education. Grants and Service: Active in academic and industry committees. His work emphasizes reducing SWAP-C (Size, Weight, Power, and Cost) in microelectronic systems through novel fabrication techniques.

Lisa LacherView profile

Associate Professor

• Computer Science Education
• Software Engineering
• eLearning Technologies
• +3 more

Lisa Lacher is an Associate Professor of Information Technology and Program Director in the College of Science and Engineering at the University of Houston-Clear Lake. She specializes in computer science education, software engineering team dynamics, and innovative eLearning strategies. Her work emphasizes curriculum development using Scala, social sensitivity in collaborative environments, and leveraging modern tools like Discord for academic teamwork. Research interests include programming pedagogy, team collaboration metrics, and the integration of gaming technologies into higher education. She has explored topics such as eSports' impact on academic engagement, flipped classroom methodologies, and the role of philosophical belief systems in instructor effectiveness. Her publications since 2016 demonstrate a focus on improving technical education through empirical studies of teaching practices, team performance, and communication technologies. Notable themes include multithreading education, non-technical skills measurement in software teams, and the application of actor models in curricula. Lacher’s work bridges theory and practice, combining empirical research with actionable insights for educators and industry professionals. Her contributions highlight the evolving landscape of computer science education and collaborative learning environments.

Khondker Shajadul HasanView profile

Associate Professor

• Distributed Computing
• Blockchain Security
• Internet of Things
• +3 more

Khondker Shajadul Hasan is an Associate Professor of Computer Science in the College of Science and Engineering at the University of Houston–Clear Lake since Fall 2021, after serving as Assistant Professor from 2016. He teaches both undergraduate and graduate courses and directs research in distributed systems, blockchain security, GPU performance modeling, and IoT analytics. Education Ph.D. in Computer Science, University of Oklahoma, Norman, USA (2014) Dissertation: “Prediction Models for Estimating the Efficiency of Distributed Multi-core Systems” M.S. in Computer Science, Wichita State University, Kansas, USA (2001) Research Interests Dr. Hasan’s work bridges theory and practice in distributed computing , blockchain-based security frameworks , and GPU-accelerated high-performance computing . His group designs predictive models for multi-core CPU availability and energy-efficient scheduling, and explores private-blockchain solutions for securing data streams in IoT and aviation domains. Publications & Trends Across 10 refereed papers since 2017, he has advanced the state-of-the-art in secure IoT architectures, smart-farming analytics, and JVM-level concurrency optimization. His research consistently integrates machine-learning techniques with systems-level challenges, yielding practical tools for industry and academia. Awards & Honors Piper Award Semi-Finalist, University of Houston–Clear Lake (2017–2022) Distinguished Alumni Award, North South University (2017) Computer Science Advisory Board Award, University of Oklahoma (2013-14) Industry certifications from Schlumberger and InterSystems (2014-2015) Advising & Service Since 2016 he has mentored numerous graduate and undergraduate researchers and has served as faculty advisor for the Computer Club. He is an active member of editorial boards and technical program committees for IEEE and Elsevier journals/conferences worldwide. Laboratory & Collaborations Dr. Hasan directs the Parallel and Distributed Systems Lab at UHCL, collaborating with industry partners such as Schlumberger and academic groups across the USA and Asia on blockchain security, GPU performance modeling, and smart-IoT systems.

LillAnne JacksonView profile

Academic

• Memory Consistency for Multiprocessor Architectures
• Computational Geometry
• Teaching Concurrency
• +1 more

LillAnne Jackson is an Associate Teaching Professor and Associate Dean of Undergraduate Studies in the Department of Computer Science at the University of Victoria. She holds a PhD from the University of Calgary and has dual roles in academic leadership and teaching innovation within the Faculty of Engineering and Computer Science. Dr. Jackson’s research focuses on memory consistency for multiprocessor architectures, computational geometry, and pedagogical strategies for teaching concurrency in computer science. Her educational work emphasizes improving retention in STEM fields through innovative teaching methods and curriculum design. She has contributed to accreditation-driven curricular reforms and explored the efficacy of video-based instruction in technical education. Her technical research addresses challenges in parallel computing systems, including memory coherence models for architectures like Itanium and Sparc. Earlier work includes computational geometry projects such as polygon reconstruction algorithms and visibility analysis. Her articles span both technical computer science topics and educational methodologies, reflecting her dual expertise in technical systems and academic innovation. In her administrative role as Associate Dean, she oversees undergraduate academic policies and program development. She collaborates with faculty to enhance student experiences through curriculum modernization and pedagogical research. Dr. Jackson’s work bridges theoretical computer science with practical educational strategies to strengthen undergraduate education and technical workforce development.

• High-Performance Computing
• Parallel Processing
• Code Optimization
• +3 more

Georgios Goumas is an Associate Professor in the Division of Computer Science at the School of Electrical and Computer Engineering, National Technical University of Athens. His research focuses on high-performance computing, parallel systems, and efficient resource management for modern computing platforms. Research domains: Serverless computing scalability and memory management Quantum algorithm design for classification Virtual memory optimization Hardware acceleration for sparse computations NUMA-aware concurrent data structures Recent innovations include DaeMon for disaggregated systems, eBPF-based Linux memory management, and multi-GPU matrix multiplication optimizations. Publications demonstrate consistent advancement in low-level system efficiency across quantum, serverless, and heterogeneous computing domains. Dr. Goumas teaches undergraduate and graduate courses on Operating Systems, Parallel Processing, and Code Optimization Techniques. His lab develops open-source tools like Paralia runtime for auto-tuning linear algebra and FPGA-based accelerators for scientific computing.

Anant AgarwalView profile

Professor

• Computer Architecture
• Programming Languages and Software Engineering
• Systems and Networking
• +4 more

Anant Agarwal is a Professor of Electrical Engineering and Computer Science at MIT, holding the rank of 'Professor Post-Tenure' in both CS and EE disciplines. He serves as CEO of edX, a leading platform for open online education. His primary affiliation is with the MIT Electrical Engineering & Computer Science Department within the MIT College of Engineering. Agarwal's research focuses on computer architecture, parallel processing, caching systems, and the integration of AI in clinical information systems. He has pioneered work on multicore processors, memory management, and self-optimizing computing systems. His academic contributions span over two decades, with notable advancements in tiled processor architectures, cache coherence protocols, and the design of energy-efficient embedded systems. Agarwal has been instrumental in developing MITx and edX, revolutionizing online education through scalable platforms like the 6.002x Circuits course. His work emphasizes blending traditional and digital learning modalities to enhance global access to education. Key research themes include parallel computing, machine learning applications in healthcare, and the future of higher education. His publications reflect a sustained focus on improving system performance, optimizing data management, and advancing educational technologies. Agarwal's leadership at edX underscores his commitment to democratizing access to world-class learning resources.