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

Jeffrey Wallingمشاهده پروفایل

دانشیار

• RF Engineering
• Microwave Engineering
• Circuits Design
• +۵ مورد دیگر

Jeffrey Walling is an Associate Professor in the Bradley Department of Electrical and Computer Engineering at Virginia Tech. His research focuses on advanced RF and microwave circuits, including power amplifiers, switched-capacitor architectures, and next-generation communication systems. He holds a mailing address at 453 Whittemore (0111), Blacksburg, VA 24061, and can be reached at jswalling@vt.edu. Walling's work emphasizes innovation in energy-efficient RF systems, with notable contributions to switched-capacitor power amplifiers (SCPA), beamforming techniques, and metamaterial-based designs. His research integrates cutting-edge semiconductor technologies (e.g., FD-SOI, FinFET) and explores applications in biomedical engineering, full-duplex communication, and EV sector policy analysis. His articles span topics like high-Q coplanar waveguides, magnet-less circulators, and ultra-compact inductors using Dirac semimetals. Recent work (2024–2025) highlights advancements in inverse design methods for pixelated surfaces and low-power mm-wave frequency multipliers. He has contributed to IEEE conferences and journals, authoring over 50 publications since 2009. Walling's academic contributions include editorial roles for IEEE publications and involvement in industry-academia partnerships. His research group collaborates on projects funded by federal grants and industry partnerships, though specific grants are unspecified in the provided texts.

Georgios Fourtakasمشاهده پروفایل

مدرس

• Meshless Methods
• Computational Fluid Dynamics (CFD)
• Smoothed Particle Hydrodynamics (SPH)
• +۵ مورد دیگر

Dr. Georgios Fourtakas is a Lecturer in Civil Engineering at the University of Manchester’s School of Mechanical Aerospace and Civil Engineering. He specializes in meshless methods, computational fluid dynamics (CFD), and smoothed particle hydrodynamics (SPH). His research focuses on advancing SPH formulations for complex fluid-structure interactions, multiphase flows, and high-performance computing (HPC) applications, particularly through the DualSPHysics open-source framework. He holds a PhD from the University of Manchester (2014) and prior industry experience in aeronautical engineering and thermal fluid mechanics. Education: BEng in Aeronautical Engineering, University of Salford MSc in Aeronautical Engineering, Cranfield University MSc in Thermal Power and Fluid Mechanics (Academic Return) PhD in SPH Applications (University of Manchester) Key Research Areas: SPH formulations (Lagrangian, Eulerian-Lagrangian, ALE) GPU/CUDA acceleration for HPC Boundary condition development Non-Newtonian and sediment flows Fluid-structure interaction (e.g., heart valves) His work contributes to UN Sustainable Development Goals through applications in coastal engineering, cardiovascular systems, and nuclear decommissioning. He has reviewed for journals like Advances in Water Resources and Journal of Hydroinformatics . Recent articles highlight innovations in divergence cleaning for SPH, GPU-accelerated thrombus modeling, and poroelasticity simulations. His DualSPHysics project is widely adopted for real-world engineering problems.

Melissa E. O'Neillمشاهده پروفایل

پژوهشگر

• Computer Science
• Parallel Programming
• Functional Programming
• +۵ مورد دیگر

Melissa E. O'Neill is a faculty member in the Department of Computer Science at Harvey Mudd College. Her research focuses on systems in computer science, particularly practical aspects of programming languages, aiming to reduce complexity and enhance reliability in parallel and functional programming paradigms. Doctoral Dissertation: Version Stamps for Functional Arrays and Determinacy Checking: Two Applications of Ordered Lists for Advanced Programming Languages Master's Thesis: A Data Structure for More Efficient Support of Truly Functional Arrays Her work bridges theoretical and applied computer science, with key contributions including the fat-elements method for functional arrays and the LR-tags method for runtime determinacy checking in parallel programs. She also designed the Pthieves portable workstealing scheduler and Cotton thread-library interface. Research interests span garbage collection strategies, dominance drawings for graph algorithms, and distributed systems. Teaching includes operating systems courses with projects on distributed task execution and shared memory. Her methods have implications for lock-free data access, runtime efficiency, and address Bernstein's conditions for parallelism.

Michael F. Spearمشاهده پروفایل

دانشیار

• Concurrency
• Programming Languages
• Computer Architecture
• +۵ مورد دیگر

Michael F. Spear is an Associate Professor and Master's Program Director in the Department of Computer Science & Engineering at Lehigh University. His research focuses on concurrency, programming languages, and computer architecture, with an emphasis on persistent memory, transactional memory, and concurrent data structures. He leads a lab supported by industry partnerships with Intel, Google, and Oracle, as well as grants from the National Science Foundation and the U.S. Army. Education: Ph.D. and M.S. in Computer Science, University of Rochester M.B.A., University of Alaska, Anchorage B.S. in Computer Science, U.S. Military Academy (West Point) Research Interests: Spear's work aims to simplify concurrent programming through innovative software and hardware designs. He develops open-source frameworks like libLOL/JetLag for mobile game development and contributes to C++ transactional memory standards. His lab explores cloud infrastructure optimization, memory management, and scalable algorithms. Collaborations & Awards: Active collaborations include Arizona State University, Penn State University, and industry leaders in tech. Notable awards include the University of Rochester's Outstanding Dissertation Award and leadership in NSF-funded research initiatives. Labs & Contributions: Spear directs a lab producing tools for persistent/transactional memory systems and advises on C++ technical specifications. His work bridges theoretical computer science with practical industry applications, emphasizing scalability and correctness in multi-core environments.

• Distributed Computing
• Algorithmic Resilience
• Theoretical Computer Science
• +۳ مورد دیگر

Leqi (Jimmy) Zhu is an Assistant Professor at the University of Manitoba. Previously, he held roles as a postdoctoral researcher at ISTA, a postdoctoral lecturer at the University of Michigan, and a PhD student at the University of Toronto. His academic advisors included Prof. Monika Henzinger, Prof. Seth Pettie, and Prof. Faith Ellen. His research focuses on distributed computing, algorithmic resilience, and theoretical computer science, with contributions to consensus protocols, space complexity, and fault-tolerant systems. Education: PhD in Computer Science, University of Toronto (advisor: Prof. Faith Ellen) Postdoctoral Research, University of Michigan (advisor: Prof. Seth Pettie) Postdoctoral Research, IST Austria (advisor: Prof. Monika Henzinger) Research interests include Byzantine fault tolerance, distributed algorithms, and lower bounds analysis. His work bridges theoretical foundations and practical system design, addressing challenges in consensus mechanisms and resource-efficient computing. Notable achievements include the Best Student Paper Award at STOC 2016 for work on consensus space bounds. His publications explore topics such as Byzantine agreement protocols, space complexity in distributed systems, and synchronization hierarchies. Advising and grants remain unlisted in the provided information.

• Database Systems
• Data Management
• In-Memory Computing
• +۵ مورد دیگر

Anil Goel is an Adjunct Professor with expertise in database systems, data management, and distributed computing. His work focuses on in-memory databases, transaction processing, and enterprise data infrastructure. He has contributed to projects like SAP HANA, emphasizing scalability and real-time analytics. Key research areas include columnar storage systems, log-structured data management, and distributed transaction protocols. His publications span from 2000 to 2022, with recent work addressing global data mesh architectures and composable data management frameworks. He has explored innovative methods for synthetic data generation, quorum-based replication, and lockless database operations. Despite his prolific output, no scientific awards or student advisement records are mentioned in the provided texts. His articles reflect a strong emphasis on optimizing database performance, durability, and scalability in both traditional and cloud-native environments.

Christopher Lockمشاهده پروفایل

استادیار

• Music software development
• Machine learning
• Data sonification
• +۱۲ مورد دیگر

Christopher Lock is an Assistant Professor of Music Synthesis and Performance Technology at Western Carolina University, affiliated with the David Orr Belcher College of Fine and Performing Arts' School of Music. He also teaches at Oregon State University. With a Ph.D. from Harvard University (2020), his research focuses on AI music theory, Small Data instruments, and accessibility in music education. His works blend electronic soundscapes with viola improvisation, often exploring themes like biological phantasmagoria and environmental abstraction. Education: Ph.D., Music Composition (Computer Science support), Harvard University MA, Music, Harvard University BM, Computer Music (Peabody Conservatory), Johns Hopkins University BM, Viola Performance, Johns Hopkins University Research Interests: Music software development, machine learning, and creative programming Ethics of AI art and Small Data GNU/Linux for music production Electroacoustic composition and interdisciplinary collaboration Awards: 2024 George Arthur Knight Prize (Harvard) 2023 Barbara Natterson Fellowship 2021 Derek Bok Excellence in Teaching Award Teaching & Grants: Directed Harvard's Songwright's Apothecary Lab (2022) Developed biofeedback instruments with MIT's Media Lab Recipient of multiple Harvard fellowships Labs/Teams: Leads Western Carolina's Music Technology Ensemble and collaborates with MIT Opera of the Future on bio-data instruments.

• Hypersonics
• Aerodynamics
• Fluid Dynamics
• +۴ مورد دیگر

Dr. Andrew Lock is a Research Fellow at the University of Southern Queensland's Institute for Advanced Engineering and Space Sciences, specializing in hypersonics, aerodynamics, and thermal systems. He holds a BEng(Hons) from the University of Tasmania and a PhD from the University of Queensland. His research focuses on hypersonic vehicle design, aerodynamic modeling, and advanced thermal management solutions for energy systems. Key areas include co-design frameworks for hypersonic vehicles, Bayesian state estimation in free-flight measurements, and supercritical CO₂ power cycle optimization. Dr. Lock's work bridges experimental and computational methods, with contributions to optical tracking systems, trajectory analysis, and innovative cooling technologies. His recent studies address challenges in multi-mission vehicle design, shock layer radiation analysis, and nonlinear flight dynamics using the Koopman operator. He has also developed simulation tools like q1dcfd for thermofluid systems and validated low-speed rotating wind tunnel designs. His research portfolio spans over a decade, with publications on hypersonic aerodynamics, thermal engineering, and aerospace system integration. Notable projects include collaborations on Hayabusa2 entry dynamics and the development of dry cooling strategies for sustainable energy applications. While no formal advisees are listed, his interdisciplinary approach influences next-generation aerospace and energy systems.

Stergios Anastasiadisمشاهده پروفایل

استاد

• Operating Systems
• Distributed Storage
• File Systems
• +۲ مورد دیگر

Stergios Anastasiadis is a Professor at the University of Ioannina's Department of Computer Science and Engineering, with visiting appointments at Cambridge and EPFL. His research focuses on core systems innovation spanning operating systems, distributed storage, and cloud infrastructure. Research interests include multitenant isolation, concurrent data structures, storage I/O optimization, and filesystem design. His work develops novel approaches to resource management in cloud environments, emphasizing security, efficiency, and reliability in distributed systems. Recent publications reveal sustained focus on storage subsystem optimization, with contributions to journaling techniques, isolation mechanisms, and I/O performance tuning. Key innovations include lock-free concurrency models, client-side storage innovations, and cross-platform memory management techniques. Educational background includes Ph.D. from University of Toronto and international research collaborations. No specific advising relationships or scientific awards are documented. Laboratory affiliations include distributed systems research groups at University of Ioannina, with collaborations extending to cloud computing initiatives across Europe.

Lars Wrengerمشاهده پروفایل

پژوهشگر

• Operating Systems
• Memory Management
• Virtualization
• +۳ مورد دیگر

Lars Wrenger is a Doctoral Researcher and Researcher at Leibniz University Hannover's System Architecture (SRA) Group, specializing in operating systems and memory management for heterogeneous memory systems including non-volatile and distributed memory architectures. He holds an M.Sc. and is pursuing his PhD, having completed his Master's thesis 'Lo(ck|g)-free Page Allocator for Non-Volatile Memory in the Linux Kernel' which earned him the GI-FGBS Award for Best Master Thesis in 2023. His research focuses on Operating Systems , Memory Management , and Virtualization , addressing fundamental challenges in memory allocation scalability, fragmentation, and crash consistency. His publication portfolio demonstrates consistent innovation in memory subsystems, with recent work on the LLFree allocator and HyperAlloc mechanism presented at premier venues like OSDI, EuroSys, and USENIX ATC. These contributions show a clear trajectory toward efficient, scalable memory management solutions for next-generation hardware architectures. Key recognitions include: ARCS Conference Best Paper Award (2023) for TOSTING research USENIX ATC Distinguished Artifact Award (2023) for LLFree DIMES Workshop Best Paper Award (2024) for fragmentation analysis GI-FGBS Best Master Thesis Award (2023) Wrenger actively mentors graduate students on advanced memory management topics including page allocators, virtual memory systems, and energy-efficient DRAM management. His research is primarily funded through the DFG ParPerOS project (LO 1719/8-1 and DI 2840/2-1), which develops unified memory abstractions for heterogeneous systems. As a core member of the SRA Group, he collaborates with the Barkhausen Institute and TU Dresden on microkernel-based containerization (MettEagle project) and maintains active open-source contributions to memory management subsystems, with significant GitHub presence and ORCID 0009-0006-9583-6207.

Muhammed Furkan Akıncıمشاهده پروفایل

استادیار

• Information and Technology Law
• Comparative Copyright Law
• Personal Data Protection Law
• +۱ مورد دیگر

Muhammed Furkan Akıncı is an Assistant Professor at Bogazici University, specializing in Information and Technology Law. His research focuses on Comparative Copyright Law, Personal Data Protection, and the intersection of Sustainability and Legal Systems. He actively engages with EU-Turkey regulatory comparisons, particularly in cybersecurity, digital single market directives, and free/open source software policies. Recent academic contributions include analyses of Turkey's Cybersecurity Law No. 7545 versus EU frameworks, legal challenges in AI training using media content, and mediation trends in IP disputes. He has organized workshops on digital litigation principles and participated in symposia addressing AI's impact on media copyright. His articles highlight themes such as EU Directive Article 17 implementation, FOSS regulation complexities, and GDPR-compliant data governance. No scientific awards are explicitly mentioned in the provided materials. Academic advising and grant activities remain unlisted in current data. He maintains a personal website and is active on Google Scholar.

Ryan Stutsmanمشاهده پروفایل

دانشیار

• Distributed Systems
• Operating Systems
• Databases
• +۳ مورد دیگر

Ryan Stutsman is an Associate Professor at the University of Utah, leading the Scalable Software Systems Lab within the School of Computing. His research focuses on Distributed Systems, Operating Systems, and Databases, with an emphasis on high-performance storage and low-latency systems. He holds a Ph.D. from Stanford University and was a Postdoctoral Researcher at Microsoft Research. Notable accolades include the NSF CAREER Award (2018) and PECASE Award (2025). He has contributed to projects like NrOS (a multikernel OS), Splinter (multi-tenant storage), and RAMCloud (distributed key-value storage). His work frequently addresses challenges in cloud computing, in-memory databases, and system scalability. Education: Ph.D., Stanford University (2013); Postdoc, Microsoft Research Teaching: Award-winning instructor for courses like Distributed Systems, Advanced Operating Systems, and Computer Networks Labs/Teams: Scalable Software Systems Lab His recent publications explore serverless scheduling, storage functions, and persistent memory systems. He has held leadership roles in conferences such as USENIX ATC and OSDI, and serves on NSF panels.

• Power Electronics
• High-Frequency Electronics
• Energy Conversion
• +۲ مورد دیگر

Tim McRae is an Associate Professor at the University of Southern Denmark's Institute of Mechanical and Electrical Engineering, specializing in high-frequency power electronics and energy conversion systems. His research focuses on advancing DC-DC converter technologies through geometric programming and optimizing energy efficiency in drone systems interacting with high-voltage environments. Power Electronics and Power Conversion High-Frequency Electronics Drone Safety Systems Recent research outputs demonstrate his expertise in sensor-free current measurement architectures, electromagnetic discharge modeling for aerial robotics, and geometric programming applications in energy conversion. His work spans hardware design, algorithm development, and safety-critical system validation. In projects like ZEELA (Zero Electrical Energy Leakage Architecture), he explores energy recovery techniques, while collaborations with industry partners focus on green energy integration and specialized converter topologies for hydrogen systems. Teaching roles include lecturing and supervising students in power electronics fundamentals and high-frequency converter design.

• Memory management
• Concurrent programming
• Formal verification
• +۴ مورد دیگر

Jaehwang Jung is a researcher affiliated with Korea Advanced Institute of Science and Technology (KAIST) in South Korea and Rebellions Inc. They have been actively publishing research papers at premier programming languages conferences including PLDI and POPL from 2020 through 2025. Dr. Jung's research focuses on memory management systems and formal verification techniques for concurrent programming. Their work primarily centers around developing and verifying memory reclamation techniques using separation logic, with particular emphasis on pointer-based and epoch-based approaches. They have made significant contributions to the understanding of relaxed memory models and their implications for concurrent data structure verification. Analysis of their publication history reveals a clear progression from foundational work on memory reclamation (2020) toward increasingly sophisticated verification techniques for concurrent systems. Their research spans both theoretical aspects of separation logic and practical implementations of memory management systems, demonstrating strong connections between formal methods and systems programming. As an active member of the programming languages community, Dr. Jung has served as an Artifact Evaluator for POPL 2021 and continues to contribute to advancing the state of the art in concurrent program verification.

Erik Etienمشاهده پروفایل

دانشیار

• Automatic Control
• Systems Engineering
• Electrical Engineering
• +۶ مورد دیگر

Erik Etien is an Associate Professor with HDR (Habilitation à Diriger des Recherches) in Automatic Control and Systems at the University of Poitiers, France. He is affiliated with the Laboratory of Sensorial Applications Engineering (LIAS) which maintains facilities at both ENSIP (École Nationale Supérieure d'Ingénieurs de Poitiers) and ISAE-ENSMA. His research focuses on automatic control systems with particular expertise in: Induction motor control and fault detection Permanent magnet synchronous motor/generator diagnostics Sensorless control techniques Signal processing for condition monitoring Digital twin technology for predictive maintenance Software sensors and estimation algorithms Dr. Etien's recent publications demonstrate a strong focus on developing advanced signal processing techniques for fault detection in electrical machines, particularly using tacholess (speed sensor-free) approaches. His work often combines model-based methods with adaptive filtering techniques like Kalman filters, with increasing incorporation of machine learning approaches in recent years. His research spans applications across multiple industries including wind energy, industrial automation, and power systems, with demonstrated practical implementations in transformers, vacuum processes, and electromechanical systems. He has co-authored two books on data acquisition systems and sensorless vector control of asynchronous machines, establishing his expertise in the field. His laboratory work at LIAS involves close collaboration with researchers including Sebastien Cauet, Laurent Rambault, and Anas Sakout on various control systems projects.