جست‌وجوی استاد و پژوهشگر

Carlos Varelaمشاهده پروفایل

استاد

• Formal Verification
• Cyber-Physical Systems
• Cloud and Edge Computing
• +۵ مورد دیگر

Carlos Varela is a Professor in the Department of Computer Science at Rensselaer Polytechnic Institute (RPI). His research focuses on formal verification of cyber-physical systems, cloud/edge computing, and concurrent programming models. He leads the Worldwide Computing Lab at RPI ( link ). B.S., M.S., Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign Research Interests: Fundamental distributed computing principles for data-driven aerospace systems, including safety envelopes for flight systems, middleware for adaptive distributed systems, and formal verification of cyber-physical systems. His work extends to self-driving cars and health informatics. Publication Trends: His recent work emphasizes formal verification of aerospace systems, ethical decision-making in autonomous agents, and middleware for UAV networks. Keywords include cyber-physical systems, edge computing, and data-driven analytics. Scientific Awards: NSF CAREER Award Best Paper Awards at HPDC-GECO, eScience, CCGrid, CLEI, DASC Industry Awards from IBM, Google, Amazon, and PSEG Grants & Leadership: His research has been funded by the National Science Foundation and the Air Force Office of Scientific Research. He has chaired major conferences like CCGrid 2016 and DDDAS2022, authored a foundational textbook (MIT Press, 2013), and supervised 26 graduate students. As an instrument-rated private pilot with 1100+ flight hours, his work bridges theoretical computer science and practical aerospace systems.

Sebastian Schmidlمشاهده پروفایل

پژوهشگر

• Distributed Computing
• Data Profiling
• Time Series Anomaly Detection
• +۳ مورد دیگر

Sebastian Schmidl is a Ph.D. researcher at the Information Systems Group (University of Potsdam, Digital Engineering Faculty ). He is also affiliated with the Big Data Analytics Group at Philipps-Universität Marburg . Research Interests : Distributed computing, time series anomaly detection, data profiling, and scalable reactive systems using actor programming. Academic Roles : Supervised multiple master's and bachelor's theses, delivered guest lectures on reproducibility and order dependencies, and contributed to academic reviewing for conferences like SIGMOD and journals like SoftwareX. His recent publications focus on time series anomaly detection , data profiling query languages , and distributed algorithm design . He has collaborated extensively on benchmarking frameworks and optimization techniques for univariate and multivariate time series data.

Theodore S. Norvellمشاهده پروفایل

دانشیار

• Formal Software Verification
• Concurrent Programming
• Algorithm Animation
• +۲ مورد دیگر

Theodore Norvell is Associate Professor in Electrical and Computer Engineering at Memorial University, specializing in formal verification of software/hardware systems and concurrent programming languages. Holds PhD from University of Toronto and leads research on program correctness and algorithm animation. Co-developed The Teaching Machine for educational visualization. Publications focus on hardware/software codesign, reconfigurable architectures, and automated verification techniques.

Kwok-Bun Yueمشاهده پروفایل

استاد

• Databases
• Blockchain
• Concurrent Programming
• +۳ مورد دیگر

Dr. Kwok-Bun Yue is a Professor of Computer Science and Computer Information Systems at the University of Houston-Clear Lake (UHCL) within the College of Science and Engineering. Since 2019, he has directed UHCL's Data Science program and previously served as Chair of the Division of Computer and Mathematics for 16 years. Research Interests: His work focuses on databases, blockchain technology, concurrent programming, and computer/information systems education. Recent projects include blockchain applications for systems engineering, federated edge learning, and SQL integration with blockchain data. Scientific Contributions: He has secured $2.7 million in grants from NSF, NASA, and DoD, and authored over 50 publications. His research trends emphasize blockchain's role in data integrity, governance, and organizational transformation. Scientific Awards: UHCL Distinguished Professorship (2021) UHCL Alumni Association Outstanding Professor Award (2011) University of North Texas Distinguished Alumni (1997) UHCL Distinguished Teaching Award (1993) Leadership Roles: Includes editorial work at the Journal of Information Systems Education and a 16-year tenure in administrative leadership.

Tzu-Yi Chenمشاهده پروفایل

استاد

• Network/Graph Analysis
• Combinatorial Scientific Computing
• High Performance Computing
• +۳ مورد دیگر

Tzu-Yi Chen is a Professor and Chair of the Computer Science Department at Pomona College since 2002. His research focuses on network/graph analysis, combinatorial scientific computing, and societally-relevant computer science education. He holds a Ph.D. and M.S. from UC Berkeley, and a B.S. in Computer Science and Mathematics from MIT. Education: Ph.D./M.S., Computer Science, UC Berkeley B.S., Computer Science & Mathematics, MIT Research interests include developing efficient algorithms for complex networks, high performance computing, and improving CS education accessibility. Recent work addresses network recovery in power systems, evacuation modeling, and community detection in complex networks. He has been recognized with awards including the NCWIT Undergraduate Research Mentoring Award (2019) and the Wig Distinguished Professorship (2017). Teaching includes Algorithms, Discrete Mathematics, and introductory CS courses. He mentors students through programs like Peer Mentoring in STEM and has advised 15+ undergraduate researchers. Current projects explore computational methods for societal challenges and inclusive CS education strategies.

Murat Karabogaمشاهده پروفایل

مدرس

• Political Science
• Data Protection
• Regulatory Policy
• +۳ مورد دیگر

Murat Karaboga is a political scientist and project manager at the Fraunhofer Institute for Systems and Innovation Research ISI in Karlsruhe, specializing in the Information and Communication Technologies (ICT) unit within the Department of Emerging Technologies. He concurrently serves as a Lecturer in Political Science at Goethe University Frankfurt’s Institute for Political Science. His academic journey includes a BA in Political Science, Philosophy, and Education from Philipps-Universität Marburg (2010) and an MA in Political Science from Goethe University (2013). He completed his PhD in 2021 under Prof. Sandra Seubert, focusing on GDPR emergence and privacy beliefs. His research emphasizes technology assessment, digital policy, and privacy governance. Key projects include studying voice/speech recognition, deepfake impacts, and eye-tracking privacy (PRETINA). He has contributed to EU policy analyses on AI regulation, data acts, and the Digital Services Act (DSA), advocating for privacy-preserving technologies and ethical AI integration. Notable publications span GDPR policy frameworks, blockchain privacy challenges, and ethical AI governance. His work bridges academic research with applied policy consulting, addressing societal implications of emerging technologies.

• Software Testing
• Autonomous Systems
• Robotics

Rob Hierons is Professor and Chair in Testing at the University of Sheffield's School of Computer Science. His research develops automated testing techniques for software systems, focusing on model-based testing, distributed systems, and recently autonomous robotics. He aims to enhance software quality through efficient test generation from specifications and code. His work spans theoretical foundations and practical applications, including CSP-based testing models and diversity-based test optimization. Current interests include verification of robotic systems and causal testing frameworks. He has published extensively in software engineering venues and serves in editorial roles for major testing journals.

Sanket Tavarageriمشاهده پروفایل

استادیار

• Big Data
• Machine Learning
• High Performance Computing
• +۲ مورد دیگر

Sanket Tavarageri is an Assistant Professor in the Computer Engineering Department at San José State University. He holds a Ph.D. in Computer Science and Engineering from The Ohio State University and a B.Tech from National Institute of Technology Karnataka. His research encompasses big data systems, machine learning infrastructure, and high-performance compiler technologies. Research areas include: Polyhedral compilation techniques for deep learning workloads Automatic parallelization and optimization frameworks Hardware-software co-design for computational efficiency Scalable machine learning systems His publication portfolio demonstrates consistent innovation in compiler architecture and parallel systems from 2013-2021. Recent work focuses on AI-enhanced compilation, automatic parallelism for deep learning models, and hardware-aware optimizations. Publications appear in ACM TACO, IEEE Big Data, IPDPS, and PLDI conferences. Tavarageri maintains an active industry connection as a researcher at Google. Tools developed through his BRIGHT laboratory are available on GitHub and Bitbucket. His teaching covers compiler technology, parallel computing, and systems design with emphasis on practical implementation.

Randy Fortierمشاهده پروفایل

عضو هیئت علمی

• Software Security
• Web/Mobile Development
• Computer Graphics
• +۳ مورد دیگر

Randy Fortier is an Associate Teaching Professor and Associate Dean of Science (Undergraduate) at Ontario Tech University's Faculty of Science. He specializes in Computer Science education with a focus on software security, web/mobile development, graphics, and game development. His academic career includes teaching roles at the University of Windsor (1997-2003) and Thompson Rivers University (2003-2013). Education: BSc (Honours Computer Science, Software Development) from University of Windsor (1997), MSc (Computer Science) from University of Windsor (2003). Research interests span software security, mobile/web development, computer graphics, and game development. His earlier work focused on natural language processing and distributed virtual environments. His publications explore semantic web technologies, mobile speech interfaces, and scalable distributed systems architectures. Teaching portfolio includes over 15 courses ranging from introductory programming to advanced topics like interactive media and simulation modeling. He currently holds administrative leadership in undergraduate science education.

Alan Wagnerمشاهده پروفایل

دانشیار

• Parallel Computing
• High Performance Computing
• Message-Passing Systems (MPI)
• +۵ مورد دیگر

Alan Wagner is an Associate Professor in the Department of Computer Science at the University of British Columbia (UBC), where he has held tenure since 1987. He is a member of the Institute for Computational Intelligence and Cognitive Systems (ICICS). With over 35 years of experience, his research focuses on parallel and distributed computing, high-performance computing (HPC), and message-passing systems (particularly MPI). His work emphasizes latency reduction, scalability, and middleware development using protocols like SCTP and TCP. Education: Ph.D. in Computer Science, University of Toronto (1987) M.Sc. in Computer Science, University of Alberta (1983) B.Sc. (Honors) in Mathematics, Dalhousie University (1977) Research interests include parallel algorithms, distributed systems, and applications in computational finance and data analytics. He has contributed to open-source projects like FG-MPI (a fine-grain MPI implementation) and SCTP-based MPI middleware, enhancing MPI's performance on commodity networks. His work has been supported by grants such as the NSERC I2I Grant (2008) and CFI Leaders Opportunity Fund (2009). He has advised over 20 M.Sc. students and 2 Ph.D. students. His teaching includes courses on parallel algorithms (CPSC 521) and computer networking (CPSC 317). He currently chairs UBC's Computer Science Graduate Admissions Committee.

Jinyang Liمشاهده پروفایل

استاد

• Distributed systems
• Operating systems
• Machine learning systems
• +۳ مورد دیگر

Jinyang Li is a Professor of Computer Science at New York University's Department of Computer Science, part of the Courant Institute of Mathematical Sciences. His research focuses on distributed systems, machine learning systems, operating systems, and wireless networks. He holds a Ph.D. from MIT (2005) and a B.S. from the National University of Singapore (1998). He co-leads the NYU Systems Group and NYU WIRELESS. Key research interests include distributed training, fault tolerance, and parallel computing. Recent projects include Grendel (distributed 3D Gaussian Splatting) and Ares (memory-efficient GNN training). Awards: Distinguished Artifact Award (ASPLOS 2023), Best Paper Award (APsys'17) Teaching: Machine Learning Systems (Fall 2025), Computer Systems Organization (Spring 2026) Labs: NYU Systems Group, NYU WIRELESS Publications span topics like distributed protocols, database optimization, and deep learning systems, with a focus on scalability and efficiency. He advises students in collaboration with Prof. Panda, including Ding Ding, Haitian Jiang, and others.

• Information Retrieval (IR)
• Document Clustering
• Text Summarization
• +۵ مورد دیگر

Dr. Tassos Tombros is a Senior Lecturer & Director of Education at the School of Electronic Engineering and Computer Science, Queen Mary University of London. With over 20 years of experience in UK Higher Education, he has delivered modules at both undergraduate and postgraduate levels. He holds the Fellowship of the Higher Education Academy and has received multiple teaching awards during his tenure at QMUL. Teaching Focus: ECS518U Operating Systems, emphasizing principles of OS design, kernel scripting/monitoring, concurrency, and multicore processor exploitation. Prepares students for distributed systems and high-performance computing. Research Interests: Specializes in information retrieval systems, including document clustering, summarization, personalization, relevance feedback, and interactive IR evaluation. His work addresses task-based system assessment and retrieval result presentation methodologies. Awards: Fellow of the Higher Education Academy Teaching Excellence Awards (details unspecified) Advising & Grants: No specific advisees or grant details provided in the text. Facilities: Office located at Peter Landin Building, CS 306 with weekly availability Friday 10:00-11:00.

Luis Gerhorstمشاهده پروفایل

پژوهشگر

• Distributed Systems
• Operating Systems
• Cyber-Physical Systems
• +۳ مورد دیگر

Luis Gerhorst is a Researcher at the Department of Computer Science 4 (Distributed Systems and Operating Systems) at Friedrich-Alexander-Universität Erlangen-Nürnberg. He focuses on systems software, embedded systems, energy-efficient computing, and security mitigations against transient execution attacks like Spectre. His work spans kernel-level optimizations, carbon-aware cloud systems, and embedded system resilience. Education: Completed Bachelor's and Master's theses in system software at FAU, focusing on system-call aggregation and Linux kernel interrupt handling. Research Interests: His primary areas include operating systems, distributed systems, and energy-aware resource management. Notable contributions include the AnyCall system-call aggregation framework and VeriFence , a Spectre defense mechanism for BPF programs. He also explores carbon footprint modeling in cloud environments through projects like carbond . Publications: Recent work addresses energy-efficient embedded systems (vNV-Heap), power-failure resilient network stacks (PfIP), and reverse-engineering Wi-Fi drivers for energy analysis. His research often bridges hardware-software co-design and environmental sustainability. Grants/Advising: Supervised over 10+ theses on topics like carbon-aware timers, BPF sandboxing, and Rust-based alternatives to BPF. Active in open-source projects like Linux kernel contributions and GitHub repositories for systems research. Labs/Teams: Member of Lehrstuhl für Informatik 4, collaborating on projects related to system software and embedded systems resilience. Maintains active GitLab/ GitHub repositories for research tools and prototypes.

Daniel Dannerمشاهده پروفایل

پژوهشگر

• Real-Time Systems
• Embedded Systems
• Operating Systems
• +۴ مورد دیگر

**Daniel Danner** is a Researcher at the Department of Computer Science 4 (Distributed Systems and Operating Systems) at Friedrich-Alexander University Erlangen-Nuremberg. His work focuses on real-time operating systems (RTOS), embedded systems, and hardware-optimized scheduling solutions. He has contributed to projects like SLOTH, exploring efficient memory protection and multi-core RTOS design. His research emphasizes safety-critical systems, time-triggered execution, and hardware-software co-design. Teaching responsibilities include leading exercise sessions for Operating Systems (OS) and Operating Systems Engineering (BST) courses. Contact: danner@cs.fau.de | Room 0.044-113, Martensstraße 1, Erlangen

John Langeمشاهده پروفایل

دانشیار

• High Performance Computing
• Operating Systems
• Networking
• +۵ مورد دیگر

Dr. John "Jack" Lange is an Associate Professor (on leave at Oak Ridge National Laboratory) in the Department of Computer Science at the University of Pittsburgh. He holds a PhD from Northwestern University (2010) and dual B.S. degrees in Computer Engineering and Computer Science from the same institution (2003). His research focuses on High Performance Computing, Operating Systems, Virtualization, and Networking, with a current emphasis on specialized operating systems for supercomputing environments. Education: PhD in Computer Science, Northwestern University, 2010 MS in Computer Science, Northwestern University, 2006 B.S. in Computer Engineering and B.S. in Computer Science, Northwestern University, 2003 Research Interests: High Performance Computing and Operating Systems Networking, Virtualization, and Distributed Systems Specialized OS design for supercomputing environments Recent Contributions: His work includes contributions to system software for exascale computing (e.g., Hobbes OS/R, Palacios VMM, and Kitten LWK), as well as research on virtualization, resource management, and secure access control in distributed systems. Recent publications emphasize network optimization, fault isolation, and scalable system design for leadership-class supercomputers. Awards: Departmental Teaching Award (2013, 2014) Symantec Graduate Research Fellowship (2007–2008) Advising & Grants: Advised multiple PhD and MS students, including Nicholas Gordon, Judicael Djoko-Takougue, Brian Kocoloski, and Jianan Ouyang. Secured significant grants from NSF and DOE, including collaborative projects on privacy controls, resource management, and exascale system software. Professional Roles: Affiliated with the Institute for Cyber Law, Policy, and Security Senior Systems Scientist at Oak Ridge National Laboratory (2021–present) Served in leadership roles at HPDC, TPDS, and other conferences