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

Rodrigo Zamithمشاهده پروفایل

دانشیار

• News innovation
• Emerging media technologies
• Data-driven news work
• +۶ مورد دیگر

Rodrigo Zamith is an Associate Professor and Chair of the Journalism Department at the University of Massachusetts Amherst. He is also a Faculty Associate of UMass' Computational Social Science Institute and a Faculty Affiliate of its Department of Communication. His work bridges journalism and technology, focusing on the evolving media landscape and digital research methods for social scientists. Dr. Zamith received his academic training from: Ph.D. in Mass Communication from the University of Minnesota M.S. in Mass Communication from Florida International University B.A. in Journalism from the University of Minnesota Rodrigo Zamith's research interests focus on the intersection of journalism and technology, examining how digital platforms and algorithms reshape news production and consumption. His work explores news innovation, emerging media technologies, data-driven news work, algorithms in journalism, and computational social science. He investigates how journalistic practices are reconfigured in digital environments and develops innovative digital research methods for studying media phenomena. His scholarship draws on theoretical frameworks from sociology, psychology, science & technology studies, and economics, employing both quantitative and qualitative methodologies. His recent publications demonstrate a clear trajectory examining the role of algorithms, data, and digital platforms in journalism. His work spans computational analyses of news recommendation systems, examinations of open-source infrastructure in newsrooms, studies of visual climate change communication on social media, and investigations into how journalists navigate audience metrics. His research reveals both the challenges and opportunities presented by technological change in journalism, with particular attention to issues of transparency, trust, and democratic implications. Dr. Zamith has received significant recognition for his scholarly contributions: Nafziger-White-Salwen Dissertation Award (best dissertation in mass communication) Finalist for the Gene Burd Dissertation Award Finalist for Digital Journalism's Article of the Year award Lilly Teaching Fellow FlexLearning Fellow Recipient of UMass' College Outstanding Teaching Award Finalist for the University's Distinguished Teaching Award As an educator, Dr. Zamith teaches both conceptually-oriented and skills-oriented courses including Data-Driven Storytelling, Introduction to Journalism, International Journalism, Content Analysis, and Introduction to Visual Storytelling. His teaching excellence has been recognized through multiple awards. While specific grant information isn't detailed in the provided text, his research output suggests active engagement with funding opportunities in computational social science and digital journalism. Dr. Zamith is affiliated with UMass' Computational Social Science Institute, where he contributes to interdisciplinary research on digital methods. His work with GitHub repositories suggests engagement with open-source communities, and his research on newsroom technology indicates connections with media organizations exploring digital innovation.

James Hodgesمشاهده پروفایل

استادیار

• Digital Archives
• Digital Preservation
• History of Computing
• +۷ مورد دیگر

James Hodges is an Assistant Professor at the School of Information, San José State University, where he contributes to teaching and research in digital archives, preservation, and the history of computing. His academic background includes a Ph.D. from Rutgers University and postdoctoral fellowship at the University of Texas at Austin. He is also a Junior Fellow in the Andrew W. Mellon Rare Book School Society of Fellows. Ph.D. in Communication and Information, Rutgers University (2020) M.A. in Media, Culture, and Communication, New York University (2012) B.S. in Media, Culture, and Communication, New York University (2009) His research centers on digital preservation and the forensic analysis of digital objects, particularly in non-institutional contexts. He investigates the history of computing through early multimedia software and countercultural digital artifacts. His work bridges archival science, digital humanities, and science and technology studies. Hodges' recent publications reveal a consistent focus on authenticity, materiality, and epistemic value in digital preservation. His articles explore topics such as unreleased gaming software, forensic reconstruction of biomedical records during the pandemic, and the software legacy of figures like Timothy Leary. The methodological thread across these works is the application of digital forensics and bibliographic archaeology to recover lost or marginalized digital histories. Bullard Postdoctoral Research Fellow, University of Texas at Austin Junior Fellow, Andrew W. Mellon Rare Book School Society of Fellows in Critical Bibliography, University of Virginia Hodges has not publicly listed advisees, but his research profile suggests active mentorship in digital archiving and information science. He has held significant research roles and continues to contribute to the scholarly discourse through publications in top journals. He is affiliated with research initiatives exploring digital forensics and the preservation of cultural software.

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

دانشیار

• Discrete-Event Systems
• Supervisory Control
• Fault Tolerance
• +۵ مورد دیگر

Dr. Ryan Leduc is an Associate Professor at the Department of Computing and Software within McMaster University's Faculty of Engineering . He holds degrees of B.Eng (Victoria) , M.A.Sc. (Toronto) , and Ph.D. (Toronto) . His research focuses on Discrete-Event Systems (DES) , particularly in Supervisory Control , Hierarchical Structures , Concurrency , and Formal Verification of software and hardware. He has developed the DESpot software tool for hierarchical DES research.

Binoy Ravindranمشاهده پروفایل

استاد

• Computer Systems
• Software Verification
• Concurrency
• +۷ مورد دیگر

Binoy Ravindran is a Professor at Virginia Tech’s College of Engineering, Department of Electrical and Computer Engineering, leading the Systems Software Research Group (SSRG). His research focuses on computer systems, emphasizing security, performance, concurrency, distributed systems, and real-time computing, with recent work in software verification and heterogeneous-ISA platforms. Key projects: Low-level Reasoning Machine (LLRM), Popcorn Linux, LibrettOS, Hyflow, HermiTux, SlimGuard, HydraVM, KairosVM. He has co-authored 15+ papers from 2025 to 2022, spanning venues like ASPLOS, POPL, PLDI, VEE, PPoPP, and MIDDLEWARE, with awards including ACM Distinguished Scientist and eight Best Paper Awards. Service roles: Editorial Boards (IEEE Transactions on Cloud Computing, ACM TECS), Program Co-Chair (ACM Systor 2025), Committee memberships across ASPLOS, PLDI, and more.

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

دانشیار

• Systems
• Security
• Privacy
• +۴ مورد دیگر

Sebastian Angel is an Associate Professor and Chair of Undergraduate Curriculum in the Department of Computer and Information Science at the University of Pennsylvania . He leads research in systems, security, privacy, and networking, with a focus on privacy-preserving systems, accountability in online services, consistency in distributed systems, and next-generation operating systems. Research Areas: Systems, Security, Privacy, Networking, Distributed Systems, Operating Systems Labs & Teams: Distributed Systems Laboratory, Security and Privacy Laboratory, Warren Center for Network and Data Sciences Education: Ph.D. in Computer Science from the University of Texas at Austin (2018), ACM SIGOPS Dennis M. Ritchie Dissertation Award, Bert Kay Best Dissertation Award Recent Publications (2025–2022) span serverless computing, zero-knowledge proofs, distributed transactions, privacy-preserving ad tech, and verifiable execution. His 2025 work includes serverless workflow optimization and structural logic verification, while 2024 focuses on caching frameworks and stateful serverless. Earlier 2023–2022 projects include secure federated learning, confidential cloud services, and private information retrieval. Scientific Awards: NSF CAREER Award (2021) JPMorgan Faculty Award (2021) ACM SIGOPS Dennis M. Ritchie Dissertation Award (2018) Bert Kay Best Dissertation Award (2018) ACM SIGMOD Research Highlights Award (2024) VLDB 2024 Best Paper Award Nominee Advising: Current PhD Students: Elizabeth Margolin, Jess Woods, Yuxuan Zhang Current Masters Students: Felix Adena, Sydnie Shea Cohen Alumni: Eleftherios Ioannidis (2025), Yiping Ma (2025), Haoran Zhang (2024), Ke Zhong (2024), Selin Butun (2025), Martin Sander (2025), Seungmin Han (2024), Andrew Beams (2022), Yifeng Mao (2021), Varad Deshpande (2020) Current Courses: CIS 4510/5510: Computer and Network Security (Fall 2025). He also organizes conferences like S&P, OSDI, SOSP, PETS, and EuroSys.

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

استادیار

• Software Engineering
• Cybersecurity
• Human-Computer Interaction
• +۵ مورد دیگر

James C. Davis is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering (Purdue University). His research focuses on socio-technical approaches to software engineering , emphasizing security , correctness , and usability in software-intensive systems. He leads the Duality Lab , which publishes in top venues like ICSE , USENIX Security , and EMSE , with funding from the NSF , Google , Cisco , and Rolls Royce . PhD in Computer Science from Virginia Tech Current research themes: software supply chain security, pre-trained model engineering, and empirical studies of developer practices His recent publications (2025) analyze LLM jailbreaking , software signing (Sigstore), IoT model optimization , and deep learning reproducibility . Supported by grants from NSF OAC Core (multi-modal deep learning infrastructure) and RFE (prompt engineering education). Recognized with the ASEE Best Paper Award (2024) for trust engineering research. Current students include Paschal Amusuo (PhD candidate), Wenxin Jiang (now at Socket), and Dharun Venkatraman (Chateaubriand Fellow). Advising highlights : Guided 7 PhD/MSc theses (2022-2025) Developed CodeQL experience report (709 defects in 258 projects) Industry collaborations: Google , Microsoft Research , Qualcomm Research trends from 2022-2025 show sustained focus on: Software security (supply chains, signing, ReDoS) Model engineering (IoT optimization, naming conventions) Empirical methods (interview studies, defect analysis) Human factors (developer practices, training effectiveness)

Tarik Grabaمشاهده پروفایل

مدرس

• Hardware Security
• Embedded Systems Design
• Integrated Circuit Reliability
• +۳ مورد دیگر

Tarik Graba is a Lecturer at Télécom Paris and a member of the Secure and Safe Hardware (SSH) research team within the Information Processing and Communication Laboratory (LTCI) department. His work focuses on hardware security, embedded systems, and cryptographic implementation. Education: Not explicitly mentioned Current Affiliations: Télécom Paris (Faculty), LTCI, SSH Team His research explores designing secure and reliable integrated systems , with emphasis on managing complexity, power consumption, and flexibility in embedded environments. He contributes to side-channel analysis , lightweight cryptographic algorithms , and hardware-based security mechanisms . The 15 most recent publications highlight his work in lightweight cryptography , hardware security , and embedded system optimization , particularly focusing on RISC-V extensions , side-channel leakage , TRNG circuits , and secure cryptographic processors . Scientific Awards Academic Palms award, Télécom Paris (2021) Tarik Graba collaborates extensively in hardware security research and has advised multiple projects on physical security countermeasures and embedded cryptographic systems . He works with teams like the SSH Laboratory to develop secure hardware architectures.

Rüdiger Kapitzaمشاهده پروفایل

استاد

• Systems Software
• Trusted Execution Environments
• Byzantine Fault Tolerance
• +۵ مورد دیگر

Prof. Dr.-Ing. Rüdiger Kapitza serves as a Professor and Chair of Computer Science 4 (Systems Software) at Friedrich Alexander University Erlangen-Nuremberg (FAU). His extensive research portfolio spans trusted execution environments, Byzantine fault tolerance, blockchain technology, and secure systems. Kapitza actively contributes to the academic community through program committee roles for major conferences including OSDI, Middleware, EuroSys, and DSN. His research interests focus on creating secure, reliable systems through the integration of hardware security features with distributed systems. Kapitza investigates how trusted computing can enhance system security while maintaining performance, particularly for critical applications. His work bridges theoretical foundations with practical implementations across domains including cloud infrastructure, edge computing, and transportation systems. Analysis of his recent publications reveals consistent innovation in trusted execution environments, distributed consensus protocols, and secure virtualization. His research demonstrates a clear trajectory from early work on adaptive services to current focus on hardware-assisted security solutions. Key themes include making distributed systems more robust through trusted components, optimizing energy efficiency in heterogeneous systems, and developing practical security solutions for real-world applications. Prof. Kapitza's standing in the systems research community is evidenced by his service on program committees for top-tier conferences. His work has been published in prestigious venues including OSDI, EuroSys, Middleware, and DSN, reflecting significant impact in both academic and industrial contexts. He leads the Systems Software research group at FAU, mentoring students and collaborating with researchers worldwide. The group addresses fundamental challenges in systems security, reliability, and performance, with applications ranging from drone data recording to railway systems and secure cloud services. His team develops practical tools and frameworks that advance the state of the art in systems research.

Pedro Orvalhoمشاهده پروفایل

پژوهشگر

• Artificial Intelligence
• Automated Reasoning
• Formal Methods
• +۴ مورد دیگر

Pedro Orvalho is a Research Associate in the Department of Computer Science at the University of Oxford, working with Professor Marta Kwiatkowska on the FUN2MODEL ERC project. His research bridges theoretical computer science with practical applications in software engineering and programming education. His educational background includes: PhD in Computer Science and Engineering (2025) from Instituto Superior Técnico, Universidade de Lisboa MSc in Information Systems and Computer Engineering (2019) from Instituto Superior Técnico BSc in Information Systems and Computer Engineering (2017) from Instituto Superior Técnico Orvalho's research spans Artificial Intelligence, Automated Reasoning, Formal Methods, and Program Repair, with significant contributions to programming education tools. His work integrates formal methods with machine learning techniques to develop novel approaches for program verification and repair, particularly focused on introductory programming assignments. His scientific achievements have been recognized with prestigious awards: Vencer o Adamastor (VoA) - 3rd Edition (2025) ELISE Mobility Grant (2024) COST Travel Grant (2022) Excellence in Teaching IST Awards (2021 and 2024) ACM SIGSOFT Distinguished Paper Award (ESEC/FSE 2021) FCT PhD Scholarship (2020-2024) With five years of teaching experience at Instituto Superior Técnico, Orvalho has developed educational tools like GitSEED and MENTOR that bridge his research with practical classroom applications. His research has been supported by multiple grants including the ERC FUN2MODEL project and FCT PhD Scholarship, demonstrating both academic and practical impact. He maintains active collaborations with researchers from Czech Technical University in Prague, Carnegie Mellon University, and industry partners like OutSystems, contributing to an international research network focused on software reliability and educational technology.

Eunsuk Kangمشاهده پروفایل

استادیار

• Software Engineering
• Formal Methods
• Software Security
• +۴ مورد دیگر

Eunsuk Kang is an Assistant Professor at Carnegie Mellon University's Software and Societal Systems Department within the School of Computer Science. His research focuses on enhancing software system safety, security, and reliability through formal methods and rigorous modeling. Ph.D. in Computer Science, MIT Software Engineering, University of Waterloo Research spans cyber-physical systems , software security , formal verification , and ML resilience . Key areas include robust system design against evolving environments, specification engineering, and scalable automated reasoning. Recent publications highlight advancements in CPS safety , formal verification , and ML-based error mitigation . Collaborative projects span conferences like ICSE , CAV , and FMCAD . Scientific Awards CyLab 2025 Seed Funding CyLab 2023 Seed Funding Carnegie Bosch Institute Grant Advises doctoral students in software engineering and formal methods, with affiliations to the Software Design and Analysis (SoDA) Group and CyLab Security and Privacy Institute.

Pontus Ekbergمشاهده پروفایل

دانشیار

• Algorithms
• Real-Time Scheduling Theory
• Computational Complexity
• +۳ مورد دیگر

Pontus Ekberg is an Associate Professor at Uppsala University's Department of Information Technology. His email address is pontus.ekberg@it.uu.se , and he can be reached at +46 18 471 73 41. He is affiliated with the Division of Computer Systems and holds the academic merit 'Docent' in real-time scheduling theory. Ekberg's research focuses on algorithms and computational problems in real-time scheduling theory. His work addresses NP-hardness in scheduling, fixed-priority algorithms, and formal verification of task feasibility. Current projects include applying pseudo-polynomial time analysis, combating butterfly attacks, and integrating deep learning for schedulability verification in safety-critical systems. His recent publications span topics like pseudo-polynomial time analysis (2025), optimistic period predictions (2024), and explainability in real-time schedulability (2023). He collaborates frequently with Sanjoy Baruah and others on uniprocessor and multiprocessor scheduling models. Although no formal awards are listed, his contributions to real-time scheduling theory are evident through 15+ publications in top conferences like RTSS and ECRTS.

Marko Šaracمشاهده پروفایل

استاد

• Cybersecurity
• Artificial Intelligence
• Blockchain Technology
• +۷ مورد دیگر

Marko Šarac is a Professor at Singidunum University in the Faculty of Informatics and Computer Science . He holds a Master's degree in Contemporary Information Technologies (2008) and a PhD in Advanced Protection Systems (2013) from the same institution. His research spans Cybersecurity, Artificial Intelligence, Blockchain, Internet of Things (IoT), Machine Learning, and Data Privacy . Education: Master: Contemporary Information Technologies, Singidunum University, 2008 PhD: Advanced Protection Systems, Singidunum University, 2013 Research Focus: SSL Traffic Security, Virtual Datacenters, Biometric Cryptography, and IoT Healthcare Systems Developed frameworks for Explainable AI in Metaverse Security , Blockchain-based IoT Security Gateways , and Machine Learning for Medical Diagnostics Notable Publications: 2025: CNN-enhanced attack detection for IoT-based Metaverse 2024: Modified Firefly Algorithm for medical dataset classification 2023: Space weather prediction using metaheuristics Projects: Co-author on 9+ books including Internet Marketing (2020) and Computer Network Security (2014) Contributed to 50+ peer-reviewed journals and conference papers on cybersecurity and AI Grants & Collaborations: Active in IEEE , ZINC , and Sinteza conference series Collaborated with researchers across Europe and Asia on IoT, Blockchain, and Cloud Security Contact: msarac@singidunum.ac.rs

Joe Gattasمشاهده پروفایل

دانشیار

• origami-inspired engineering
• computational building design
• advanced manufacturing
• +۱۴ مورد دیگر

Associate Professor Joe Gattas is affiliated with the University of Queensland's School of Civil Engineering , where he leads the Folded Structures research group. His work bridges origami-inspired engineering , computational building design , and advanced manufacturing , with a focus on lightweight/modular structures and timber engineering . Education: BEng (2009) and PhD (2013) from the University of Queensland and University of Oxford, respectively. Research interests emphasize digital fabrication , hybrid materials , and structural innovation . His recent publications highlight trends in timber-CFRP composites , self-shaping structures , and value chain optimization for sustainable timber use. Scientific awards include the prestigious John Monash Scholarship . He actively supervises PhD and Master’s students in projects related to timber composites , structural optimization , and low-cost housing . Joe contributes to ARC Research Hub initiatives , co-leading Manufacturing Innovation and Value Chain Innovation nodes, and develops open-source tools like TimberTracker to visualize timber supply-demand dynamics.

Manuel Wimmerمشاهده پروفایل

استاد

• Model-Driven Software Engineering
• Digital Twins
• Model-Driven Engineering
• +۵ مورد دیگر

Manuel Wimmer is a Full Professor and Head of the Department of Business Informatics – Software Engineering at Johannes Kepler University Linz, Austria. He also serves as the Program Director for the Business Informatics master's program since 2019. His academic leadership extends to representing JKU Linz in the AutomationML society and leading significant research initiatives. Dr. Wimmer received his Ph.D. and Habilitation from TU Wien. His academic journey includes: Research associate at the University of Malaga, Spain Visiting professor at the University of Marburg, Germany Visiting professor at TU Munich, Germany Assistant professor at the Business Informatics Group (BIG), TU Wien, Austria Professor Wimmer's research focuses on Model-Driven Software Engineering and its applications, particularly in the emerging field of Digital Twins . His work bridges theoretical foundations with practical industrial applications, with special emphasis on model transformations, runtime modeling, and the integration of artificial intelligence techniques into model-driven approaches. More recently, he has been exploring the intersection of model-driven engineering with quantum computing, investigating how modeling principles can be applied to quantum software development. His recent publications reveal a strong trend toward Digital Twin engineering, with approximately 40% of his 2023-2025 publications focusing on various aspects of Digital Twin technology. Another significant strand of his work involves the application of AI and machine learning techniques to enhance model-driven engineering processes. The emergence of quantum software engineering as a research direction is also notable in his most recent publications, demonstrating his ability to identify and explore cutting-edge research frontiers. From 2017-2023, Professor Wimmer led the Christian Doppler Laboratory on Model-Integrated Smart Production (CDL-MINT), where he developed engineering approaches for digital twins. He is also the co-author of the influential book "Model-driven Software Engineering in Practice" (2nd edition, 2017). Professor Wimmer is actively involved in the organization of major scientific events including the IEEE International Conference on Quantum Software (QSW) and the International Conference on Engineering Digital Twins (EDTconf), demonstrating his leadership in these emerging research communities. His research has practical applications across various domains including smart cities, industrial automation, tunneling/construction, and quantum computing. The MATISSE project represents a significant multi-partner effort to develop a framework for federated digital twins of industrial systems.

• Cybersecurity
• Game Theory
• Quantum Cryptography
• +۵ مورد دیگر

Stefan Rass is a Professor at the Institute of Networks and Security within the Faculty of Engineering & Natural Sciences at Johannes Kepler University Linz (JKU), where he leads the LIT Secure and Correct Systems Lab. As Principal Investigator for FFG-funded projects including reSilienz (digital supply chain resilience, 2023–2025) and ITPUK (AI signature verification, 2022–2024), he bridges theoretical game theory with practical cybersecurity solutions for critical infrastructures and robotics systems. His research spans game-theoretic security models (patrolling games, defense-in-depth strategies), quantum cryptography (QKD network architectures), and cyber deception frameworks like Honeyquest for measuring honeypot effectiveness. Recent work addresses robotics security benchmarking (RobotPerf), cryptographic instruction chaining for control flow protection, and risk assessment methodologies for interdependent infrastructures. His mathematical decision-making approach integrates bounded rationality and stochastic modeling to solve real-world security challenges. Professor Rass actively shapes the field through program committee roles (ARES 2023), peer reviews, and invited talks on security transparency. His current projects focus on cost-benefit-aware monitoring for cyber-physical systems and quantum key distribution standardization, reflecting Austria’s strategic priorities in digital resilience. The LIT Secure and Correct Systems Lab under his direction develops foundational theories while deploying tools for industrial applications, particularly in critical infrastructure protection and secure robotics workflows.