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

Luca Carloniمشاهده پروفایل

استاد

• Computer Science
• Embedded Systems
• Hardware Design
• +۶ مورد دیگر

Luca Carloni is a Professor of Computer Science and Department Chair at Columbia University's Columbia Engineering. He leads the System-Level Design Group, focusing on heterogeneous system-on-chip (SoC) architectures, networks-on-chip (NoC), and embedded systems. Carloni holds a Laurea Summa Cum Laude in Electronics Engineering from the University of Bologna and a PhD in Electrical Engineering and Computer Sciences from UC Berkeley. His work emphasizes specialized hardware design, energy-efficient computing, and FPGA-based prototyping. Research interests include system-level design methodologies for SoCs, embedded accelerators, and quantum computing hardware. He has pioneered frameworks like Embedded Scalable Platforms (ESP) and tools like MosaicSim for rapid SoC prototyping. Carloni has received numerous awards, including the NSF CAREER Award (2006), IEEE Fellow (2017), and multiple best paper awards at DATE and CloudCom conferences. He has served on editorial boards of IEEE Transactions on CAD and ACM Transactions on Embedded Computing , and chaired key conferences like EMSOFT and ESWeek. His research addresses challenges in heterogeneous architectures, power management, and the intersection of machine learning with embedded systems. Current projects explore quantum control systems, brain-computer interfaces, and energy-efficient datacenter computing.

• Digital Provenance
• Operating Systems
• Distributed Systems
• +۵ مورد دیگر

Thomas Pasquier is an Assistant Professor in the Department of Computer Science at the University of British Columbia, affiliated with the Systopia Lab and UBC Security & Privacy Group. His research focuses on digital provenance, system auditing, intrusion detection, and performance optimization. He investigates systems security through provenance graph analysis, developing practical frameworks for intrusion detection (including PROVNET and Kairos) and provenance summarization tools. His work combines machine learning with systems research to enhance cybersecurity transparency. Recent Publications (2022-2025) Provenance-based intrusion detection systems analysis Whole-system provenance for practical security eBPF kernel extension security enhancements LLM-driven provenance summarization Research code quality assessment Scientific Awards Incredible Instructor Awards Amazon Science Research Award He supervises graduate students in systems security research and teaches courses on security & privacy and operating systems. His lab welcomes diverse students for thesis-based research opportunities.

• System Infrastructure for Big Data Processing
• High-Performance Computing (HPC)
• Storage Systems
• +۵ مورد دیگر

Dr. Song Jiang is a Professor in the Department of Computer Science and Engineering at The University of Texas at Arlington (UTA). He holds a PhD from the College of William and Mary (2004) and has held academic positions at institutions such as Wayne State University and Los Alamos National Laboratory. His research focuses on system infrastructure for large language models (LLMs) and big data processing, including GPU/CPU memory systems, file and storage systems, and high-performance computing (HPC) I/O systems. He has received significant funding from the National Science Foundation (NSF) and industry partners like VMware and Tencent. Education: B.S. and M.S. from University of Science and Technology of China (1993, 1996), Ph.D. in Computer Science from College of William and Mary (2004). Postdoctoral research at Los Alamos National Laboratory (2004–2006). Research interests include file and storage systems, data management, big data analytics, and optimizing computing architectures for AI/ML. Key contributions include the LIRS replacement algorithm (adopted in MySQL and NetBSD), CLOCK-Pro page replacement (used in Linux), and swap token algorithms (Linux kernel). Awards include the 2022 ACM SIGMETRICS Test of Time Award and 2009 NSF CAREER Award. His work has led to 15+ patents and impactful industry collaborations with Facebook, Baidu, and others. Advising: Supervised 14+ PhD/Master’s students, including current advisees Chen Zhong and Sujit Maharjan. Active roles in doctoral committees and thesis supervision. Grants: Over $2.5M in NSF funding for projects like 'Software Defined Cache for Index Search' and 'Taming Small Data Writes'. Industry grants include VMware’s $240K project on distributed key-value storage. Labs/Teams: Leads research on persistent memory systems, key-value stores, and LLM infrastructure through UTA’s CSE department and collaborations with industry partners.

Mary Lacityمشاهده پروفایل

استاد

• Blockchain Technology
• Decentralized Identity
• Metaverse
• +۴ مورد دیگر

Dr. Mary Lacity is a Distinguished Professor of Information Systems at the Sam M. Walton College of Business, University of Arkansas, and holds the David D. Glass Endowed Chair. She is also a Visiting Professor at the London School of Economics for Spring 2025. Director of Walton College’s Blockchain Center of Excellence (2014-2019) Former Curators’ Distinguished Professor at University of Missouri Holds visiting positions at MIT, Washington University, and Oxford University Senior Editor for MIS Quarterly Executive Contributing Editor for Journal of the British Blockchain Association Her research focuses on enterprise adoption of emerging technologies, particularly blockchain, metaverse, service automation, and ethical technology use. She has conducted extensive case studies and surveys on automation and Web3 implementation across hundreds of organizations globally. Recent publications include books like Human Privacy in Virtual and Physical Worlds (2024) and Blockchain Fundamentals for the Web 3.0 (2022). She has over 30 books and 26,300 Google Scholar citations (h-index: 68). 2014: Inducted into IAOP’s Outsourcing Hall of Fame 2024: Recognized as top 2% scholar in Business and Management (Stanford) 2024: Top 1% scholar in Business and Management (ScholarGPS) Fellow of the Association of Information Systems She actively contributes to blockchain standards via the Global Standards Mapping Initiative (GSMI) of the Global Blockchain Business Council and the Linux Foundation’s Trust over IP (ToIP). Her work bridges academic research and practical applications in enterprise technology adoption.

Thomas Wildمشاهده پروفایل

استاد

• Manycore system on chip (SoC) architectures
• Network processor (NPU) architectures
• On-chip communication architectures
• +۳ مورد دیگر

Dr.-Ing. Thomas Wild serves as an Academic Director at the Technical University of Munich (TUM), working within the TUM School of Computation, Information and Technology at the Chair of Integrated Systems. He maintains an active research and teaching role at the institution, with his office located in Building N1 (Theresienstr. 90), Room N2136 in Munich, Germany. Dr. Wild's research focuses on advanced computing architectures, with particular emphasis on manycore system on chip (SoC) architectures, network processor (NPU) architectures, on-chip communication architectures including networks on chip (NoC), and system level design methodologies. His work bridges theoretical research with practical implementation, often exploring design space exploration techniques to optimize system performance. The evolution of his research over two decades demonstrates a consistent focus on improving communication architectures and system-level design for embedded and high-performance computing platforms. His recent publications (2023-2025) reveal a growing integration of machine learning techniques with traditional hardware design, particularly in optimizing power-performance tradeoffs in embedded systems. There's a clear trend toward hardware-software co-design approaches, with significant work on SmartNICs, Linux system optimization, and network processing acceleration. His research shows strong interdisciplinary connections between computer architecture, networking, and machine learning. EUROPRACTICE representative for TUM city campus, facilitating access to commercial EDA tools for academic purposes Active collaborator with Professor Andreas Herkersdorf and other researchers at TUM Focus on practical implementations with FPGA-based prototyping and real system modifications Dr. Wild teaches several hardware design courses including VHDL Lab, SystemC Lab, and HW/SW Codesign, contributing to the education of next-generation computer engineers. His teaching directly complements his research in system design and hardware acceleration, providing students with hands-on experience in cutting-edge technologies.

Yonghwi Kwonمشاهده پروفایل

استادیار مهمان

• Software Systems Security
• Cyber Forensics
• Software Engineering
• +۳ مورد دیگر

Yonghwi Kwon is a Visiting Assistant Professor in the Department of Computer Science at the University of Virginia. His research focuses on software systems security, cyber forensics, and software engineering. He received the CAREER Award for developing dynamic defenses against cyber threats. His work emphasizes securing software from cyber attacks, recovering forensic evidence, and improving software testing and reverse engineering techniques. Key research areas include memory safety mechanisms, automated vulnerability detection in web applications and mobile systems, and forensic analysis of phishing campaigns. He has pioneered frameworks like CMASan for memory allocator-aware sanitization and Racedb for detecting race conditions in database-backed systems. His contributions span cloud security automation, kernel exploitation analysis, and embedded system fuzzing. Notable achievements include the 2025 CAREER Award supporting his dynamic defense research, and impactful publications in areas like Android information leakage detection (DryJIN), Bluetooth protocol fuzzing (BTFuzzer), and autonomous driving bug discovery (Drivefuzz). His work bridges theoretical computer science with practical cybersecurity solutions.

Andrea Bastoniمشاهده پروفایل

پژوهشگر ارشد

• Real-Time Systems
• Cyber-Physical Systems
• Operating System Design
• +۵ مورد دیگر

Dr. Andrea Bastoni is a Postdoctoral Researcher and Research Fellow at the Chair of Cyber-Physical Systems in Production Engineering at Technical University of Munich (TUM), Faculty of Mechanical Engineering. He is also the CTO and co-founder of Minerva Systems , developing operating system solutions for AI-ready embedded applications. His expertise spans real-time operating systems, cyber-physical systems, and predictable system design for heterogeneous platforms. His research focuses on enhancing predictability of memory hierarchies in complex SoCs through techniques like memory bandwidth regulation and cache partitioning. This work has industrial applications in safety-critical domains such as avionics and railways, where he contributes to certifiable hypervisors and operating systems. As former Software Architect of the PikeOS hypervisor at SYSGO GmbH (2012-2020), he specialized in DO-178C, IEC 61508, and EN 50128 standards. His academic background includes a Ph.D. in Computer Engineering from the University of Rome Tor Vergata (2007-2011), where he developed LITMUS^RT as part of UNC's Real-Time Systems Group during a visiting researcher period (2009-2010). His publications reflect ongoing work on Multicore Real-Time Scheduling , Mixed-Criticality Task Isolation, and Arm DynamIQ shared unit analysis. He actively participates in program committees for conferences like RTSS, DSN, and DATE.

• Algebraic Geometry
• Hyperkähler Manifolds
• Rozansky-Witten Invariants
• +۳ مورد دیگر

Prof. Dr. Marc Nieper-Wißkirchen is a University Professor (W3) for Algebra and Number Theory at the Institute of Mathematics, University of Augsburg, since 2008. He has held visiting positions at the Max Planck Institute for Mathematics in Bonn and the University of Cambridge, and served as a Junior Professor at Johannes Gutenberg University Mainz (2004–2008). Since October 2021, he has been Vice Dean of the Faculty of Mathematics, Natural Sciences and Technology (MNTF). Education: Diploma in Mathematics (2000) from the University of Cologne, preceded by preliminary diplomas in physics (1997) and mathematics (1997). His doctoral studies (2000–2002) under Prof. Daniel Huybrechts focused on characteristic classes and Rozansky-Witten invariants of hyperkähler manifolds. His research spans algebraic geometry, differential geometry, and mathematical physics, with a focus on hyperkähler manifolds, Hilbert schemes of points, irregular singular connections, and Stokes phenomena. He has contributed to the understanding of Rozansky-Witten invariants, Chern numbers, and topological aspects of differential equations. Recent publications include works on Betti structures of hypergeometric equations (2022) and Stokes matrices for confluent hypergeometric equations (2022), reflecting his ongoing exploration of differential equations' geometric underpinnings. Earlier works address Hochschild homology, equivariant cohomology, and operads in algebraic contexts. His computational contributions include software demonstrations for elliptic curve arithmetic, Collatz sequences, and Google Matrix simulations. Technical expertise includes programming languages (TeX, PHP, HTML) and systems (Unix/Linux, Zope/Plone).

Gero Mühlمشاهده پروفایل

استاد

• Distributed systems
• Distributed algorithms
• Event-based systems
• +۷ مورد دیگر

Prof. Dr.-Ing. habil. Gero Mühl is a W2-Professor at the University of Rostock, where he holds the chair for "Architecture of Application Systems" since October 2009. His academic journey includes positions as a Heisenberg Fellow at the Technical University of Berlin (2009), postdoctoral research at TU Berlin (2002-2009), and doctoral studies at TU Darmstadt where he received his Dr.-Ing. degree with distinction in 2002. He completed dual Diplomas in Computer Science (Dipl.-Inform.) and Electrical Engineering (Dipl.-Ing.) from FernUniversität in Hagen in 1998. Prof. Mühl's research focuses on Self-Organizing Distributed Systems , with particular expertise in distributed systems, distributed algorithms, event-based systems, middleware, energy-efficient systems, organic computing, sensor networks, web services, and electronic commerce. His work bridges theoretical foundations with practical implementations in real-world distributed environments. His recent publications show a strong trend toward time-sensitive networking, content-based publish/subscribe systems, and P4 programmable data planes. These works address critical challenges in industrial communication, real-time systems, and network reliability. His research group has made significant contributions to making distributed systems more autonomous, reliable, and efficient. Scientific awards and recognitions include: Nomination for the Berlin Science Award for Young Scientists (2008) Heisenberg Fellowship by the German Research Foundation (DFG) (2008) Best paper award in System Software and Security at SAC 2015 Prof. Mühl has been actively involved in numerous research projects and collaborations, particularly focusing on self-organizing and self-stabilizing systems. His work on the REBECA publish/subscribe middleware represents a significant contribution to autonomous distributed systems. He has supervised numerous students and researchers, contributing to the development of the next generation of computer scientists specializing in distributed systems. His laboratory at the University of Rostock focuses on practical implementations of self-organizing distributed systems, with current projects investigating time-sensitive networking, publish/subscribe systems, and energy-efficient distributed computing. The team combines theoretical analysis with practical system development to address real-world challenges in industrial and commercial applications of distributed systems.

Baishakhi Rayمشاهده پروفایل

دانشیار

• Software Engineering
• Artificial Intelligence
• Machine Learning
• +۳ مورد دیگر

Baishakhi Ray is an Associate Professor at Columbia University, specializing in improving software reliability and developers' productivity for both traditional and AI-driven systems. She leads the ARiSE Lab, focusing on interdisciplinary research at the intersection of software engineering and artificial intelligence. Her research interests include software testing for AI systems, adversarial robustness, automated testing of autonomous systems, and leveraging AI techniques such as neural networks for dynamic analysis and fuzzing. Notable projects include DeepTest for autonomous car testing and NEUZZ for efficient fuzzing. Awards: VMware Early Career Faculty Award (2020), IBM Faculty Award (2019), NSF CAREER Award (2019), and multiple best paper awards including EAPLS FASE (2020) and ACM Distinguished Papers (FSE 2017, MSR 2017). Grants: NSF CAREER grant (2019-2024) for deep learning testing, NSF grants for workshops and security bug detection, and collaborative grants on persistent memory and SSL/TLS implementations. Her recent work emphasizes advancing code generation with large language models (LLMs), evaluating model robustness under data contamination, and developing tools like CodeSense and CrashFixer for code semantics and kernel debugging. The ARiSE Lab also explores causal performance debugging and transfer learning for configurable systems.

Jonathan Andrew Crowcroftمشاهده پروفایل

استاد

• Computer Networks
• Distributed Systems
• Opportunistic Communications
• +۷ مورد دیگر

Jon Crowcroft is the Marconi Professor of Communications Systems in the Department of Computer Science and Technology at the University of Cambridge, and serves as the Chair of the Programme Committee at the Alan Turing Institute. He is also a Fellow of Wolfson College, Cambridge, and a visiting professor at the Department of Computing at Imperial College London. With a career spanning over three decades in computer networking research, Professor Crowcroft has made seminal contributions to the development of the Internet and continues to be highly active in cutting-edge research areas. His educational background includes: BA in Physics from Trinity College, University of Cambridge (1979) MSc in Computing from University College London (1981) PhD from University College London (1993) Professor Crowcroft's research spans multiple domains in computer networking and distributed systems. He has worked in Internet support for multimedia communications for over 30 years, with three main focus areas: scalable multicast routing, practical approaches to traffic management, and the design of deployable end-to-end protocols. His current research focuses on opportunistic communications, social networks, and techniques to scale infrastructure-free mobile systems. He is particularly known for his 'build and learn' paradigm for research and has recently been exploring decentralized digital identification systems, smart cities, and edge computing. His work often bridges theoretical foundations with practical implementations, emphasizing privacy-preserving approaches and sustainable network architectures. Professor Crowcroft has received numerous prestigious awards recognizing his contributions to the field, including: Election as Fellow of the Royal Society (2013) ACM SIGCOMM Award (2009) ACM Fellow (2002) Fellow of the Royal Academy of Engineering IEEE Fellow (2004) Chartered Fellow of the British Computer Society Throughout his career, Professor Crowcroft has advised numerous PhD students, including Mark Handley and Pan Hui, who have themselves become influential researchers in the networking community. He has authored several influential books that have been adopted internationally in academic courses, such as 'TCP/IP & Linux Protocol Implementation,' 'Internetworking Multimedia,' and 'Open Distributed Systems.' His research has been supported by various grants and collaborations with both academic institutions and industry partners, contributing to successful startup projects and influencing Internet standards. Professor Crowcroft is actively involved in several research initiatives, including serving on the Scientific Council of IMDEA Networks Institute since 2007 and the advisory board of the Max Planck Institute for Software Systems. He is also a director of the Matrix Foundation, which develops open network protocols. His current research group focuses on privacy-preserving analytics, decentralized systems, and the future of Internet architecture.

Mary C. Lacityمشاهده پروفایل

استاد

• Blockchain Technology
• Decentralized Identity
• Metaverse
• +۶ مورد دیگر

Mary C. Lacity is the Distinguished Professor of Information Systems and David D. Glass Endowed Chair at the Sam M. Walton College of Business, University of Arkansas, where she has been a faculty member since 2018. She previously served as Curators' Distinguished Professor at the University of Missouri for over 25 years and has held visiting positions at MIT Sloan School of Management, London School of Economics, Oxford University, and the University of Houston. Her research focuses on transformative digital technologies, particularly blockchain-enabled solutions, decentralized identity, metaverse applications, ethical uses of technology, and automation in services. She has published over 30 books and 100 journal articles in leading academic and practitioner journals such as Harvard Business Review , MIS Quarterly , and Communications of the ACM . Dr. Lacity has made significant contributions to the field through her editorial roles as senior editor for MIS Quarterly Executive and contributing editor for the Journal of the British Blockchain Association . Her work reflects a strong commitment to advancing both research and practical applications in information systems. She has received numerous honors, including the 2024 SEC Faculty Achievement Award and induction into the IAOP Hall of Fame. Additional recognitions include being named a Fellow of the Association of Information Systems and holding the Certified Outsourcing Professional designation. Grants & Leadership: Directed the Blockchain Center of Excellence at the University of Arkansas (2018–2023). Advising: Served as doctoral thesis faculty adviser at Washington University and has mentored numerous students throughout her career. Dr. Lacity is actively engaged in global standards development through membership in the Global Standards Mapping Initiative (GSMI) and the Linux Foundation's Trust over IP (ToIP), contributing to the responsible evolution of emerging technologies.

James C. Davisمشاهده پروفایل

استادیار

• Empirical software engineering
• Security
• Safety
• +۷ مورد دیگر

James C. Davis is an Assistant Professor in the Elmore Family School of Electrical and Computer Engineering at Purdue University. He leads the Duality Lab, which focuses on the engineering of software-intensive computing systems with particular interest in how these systems fail and how those failures can be mitigated. His research takes a socio-technical approach, considering both human and technical perspectives in system engineering. Dr. Davis received his PhD in Computer Science from Virginia Tech, where he was advised by Dongyoon Lee. His research interests span empirical software engineering, security, safety, testing, and web technologies, with a strong emphasis on practical impact and measurement. He applies a socio-technical philosophy to his work, believing high-quality systems must be engineered considering both human and technical perspectives. His recent research focuses on software supply chain security, regular expression vulnerabilities (particularly ReDoS), pre-trained model security, and failure analysis in software systems. His work often involves empirical studies of real-world software systems and security practices, with a strong emphasis on practical impact and measurable results. Dr. Davis has received significant funding from the National Science Foundation, Google, Cisco, and Rolls Royce for his research. His publications appear in top-tier venues including ICSE, FSE, ASE, and USENIX Security. He has served on program committees for many major software engineering and security conferences. Among his notable achievements are being elevated to IEEE Senior Member in 2022, receiving the Ruth and Joel Spira Outstanding Teacher Award from ECE@Purdue in 2022, and multiple Best Paper and Best Poster awards. He has successfully mentored numerous PhD and Master's students, with several completing their theses on topics related to software security and engineering. Dr. Davis actively recruits graduate and undergraduate research assistants for his Duality Lab, which has produced influential work on software failure analysis, regular expression security, and machine learning supply chain security. His lab is supported by multiple federal and industry grants focused on improving the security and reliability of software systems.

• Virtualization
• Operating Systems
• Concurrency
• +۴ مورد دیگر

Gaël Thomas is a Senior Researcher at Inria Saclay and a part-time Professor at École Polytechnique. He leads the Benagil team, a joint initiative between Inria and Telecom SudParis/IP Paris. His research focuses on virtualization, operating systems, concurrency, and runtime systems, with an emphasis on improving system performance and safety. He holds a PhD and Habilitation from Sorbonne Université and has extensive academic experience, including roles as a Professor at Telecom SudParis (2014–2023) and an Associate Professor at UPMC (2006–2014). Education: PhD in Computer Science, 2005, UPMC Sorbonne Université Habilitation à Diriger les Recherches (HDR), 2012, UPMC Sorbonne Université MSc in Computer Science, 2001, MIAIF Program Research Interests: Gaël’s work spans virtualization techniques, NUMA architecture optimization, garbage collection scalability, lock-free algorithms, and persistent memory systems. He has pioneered solutions like J-NVM for Java NVMM and NumaGiC for big data systems. Grants & Awards: Principal Investigator of DiVA (PEPR Cloud, 868k€) and Maplurinum (ANR PRC, 184k€) Contributions to VMKit and infra-web-cours development Labs/Teams: Benagil Team (Inria/Telecom SudParis) focuses on systems and runtime optimization.

Aravind Machiryمشاهده پروفایل

استادیار

• Software Security
• Embedded Systems
• Program Analysis
• +۹ مورد دیگر

Aravind Machiry is an Assistant Professor at Purdue University's Electrical and Computer Engineering Department and a founding member of the Purdue Systems and Software Security (PurS3) Lab . His research focuses on system security, particularly vulnerability detection, prevention, and secure system development using static/dynamic program analysis, fuzzing, type systems, and machine learning. Designing practical solutions for software and embedded system security Recipient of NSF CAREER and Amazon Research awards Active participant in SPLASH 2025 as OOPSLA Review Committee member His recent work includes automated vulnerability detection in embedded software, spatial memory safety enhancements, and security analysis of GitHub workflows. He has received recognition for his research through multiple distinguished paper awards and industry funding. Selected scientific awards include NSF CAREER Award (2024) Amazon Research Award (2022) Test of Time Award at FSE 2023 for DynoDroid Distinguished Paper Award at OOPSLA 2022 for 3c Qualcomm Innovation Fellowship (2025) His research team has developed frameworks like ARGUS for taint analysis of CI/CD workflows and FuzzUEr for UEFI interface fuzzing, discovering hundreds of critical vulnerabilities in open-source projects and thousands of command injection flaws in GitHub repositories.