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

Carlos Rubio-Medranoمشاهده پروفایل

استادیار

• Cybersecurity
• Access Control
• Authorization Systems
• +۷ مورد دیگر

Carlos Rubio-Medrano is an Assistant Professor of Computer Science specializing in Cybersecurity at Texas A&M University-Corpus Christi's College of Science and Engineering. He leads the Cybersecurity Research and Innovation Laboratory (CSRIL) and has established himself as a prominent researcher in access control, authorization systems, and cyber-physical security. Dr. Rubio-Medrano earned his Ph.D. in Computer Science from Arizona State University (2016), following an MS from The University of Texas at El Paso (2008) and BS from Instituto Tecnologico de Chihuahua II (2005). His research focuses on the intersection of cybersecurity and software specification, verification, and validation, with particular expertise in access control models and their implementation at the source-code level. His work spans multiple domains including mobile security, industrial control systems, drone security, and energy delivery systems. He has secured substantial research funding including a $500,000 site award as part of the $10 million CYBER-CARE Transportation Cybersecurity Center and multiple NSF grants totaling over $2 million for projects related to zero-trust access management, drone security, and high-performance computing infrastructure. His recent publications demonstrate a strong trajectory in top-tier security venues including IEEE Security & Privacy (S&P), USENIX Security, and ACM conferences. His research shows an evolving focus from traditional access control systems to emerging challenges in cyber-physical systems, reflecting the expanding scope of cybersecurity threats in interconnected environments. Cybersecurity Fellow by the Computing Alliance of Hispanic Serving Institutions (CAHSI), December 2024 Dr. Rubio-Medrano actively mentors students, with multiple current PhD candidates and numerous past MS and BS students who have completed their degrees under his supervision. His teaching portfolio includes graduate courses in Advanced Software Engineering, Computer Forensics, and Advanced Information Assurance. He has been featured in TAMU-CC's 'Why I Teach' series and has received positive student evaluations highlighting his teaching excellence. His laboratory, CSRIL, focuses on innovative approaches to cybersecurity challenges, particularly in authorization frameworks for emerging technologies and mission-critical cyber-infrastructures.

Michele Loretiمشاهده پروفایل

استاد

• Formal methods
• Concurrency theory
• Distributed systems
• +۴ مورد دیگر

Michele Loreti is Full Professor in Computer Science at the University of Camerino within the School of Science and Technology and serves as Director of the School of Advanced Studies. His career includes roles as Research Associate at University of Firenze (2002-2017) and Visiting Professor at IMT Institute for Advanced Studies (2012-2016). He holds a PhD in Mathematical Logic and Theoretical Computer Science from University of Siena (2001) and a Computer Science degree from University of Rome 'La Sapienza' (1997). Research interests: Formal tools for concurrent/distributed systems Quantitative analysis of collective adaptive systems Spatio-temporal model checking Process calculi and modal logics Programming languages for network-aware applications Runtime verification and dynamic system adaptation Article trends: His work focuses on formal verification of cyber-physical systems, spatio-temporal properties, stochastic process calculi, attribute-based communication, and tools like CARMA and muG for collective system analysis. Editorial roles: Assistant editor for Elsevier Journal on Logical and Algebraic Methods in Programming and member of the Reproducibility Board for ACM Transactions on Modelling and Computer Simulation.

• Cryptographic Protocols
• Security Verification
• Privacy Properties
• +۳ مورد دیگر

Steve Kremer is a permanent Researcher at Inria Nancy - Grand Est and LORIA , specializing in cryptographic protocol verification with a focus on privacy properties , equivalence verification , and e-voting security . He leads the SPOOC ERC Consolidator Grant (2015-2020) and PI of ANR ASAP (2020-2024) and Sequoia (2014-2019) projects. His research interests include Automated equivalence verification Privacy in distributed systems Formal security proofs Receipt-free e-voting protocols Untrusted platform analysis XOR-based cryptographic modeling He chairs steering committees for IEEE Computer Security Foundations Symposium (2010-2018) Principles of Security and Trust (2012-2016) European Joint Conferences on Theory and Practice of Software (2012-2014) and serves on program committees for Usenix Security'25 and CSF'24 . Scientific awards include Distinguished paper award at Usenix Security’23 Distinguished paper award at S&P’18 ACM Computing Reviews 21st Annual Best of Computing (2016) He advises PhD students : Charlie Jacomme Itsaka Rakotonirina and develops tools like AKISS and DEEPSEC , integrated into Tamarin for automated security proofs.

David F. Meaneyمشاهده پروفایل

استاد

• Traumatic Brain Injury
• Concussion
• Neural Network Modeling
• +۶ مورد دیگر

David F. Meaney is Professor and Solomon R. Pollack Professor in the Department of Bioengineering at the University of Pennsylvania's School of Engineering and Applied Science, where he serves as Vice Provost for Research. He directs the Molecular Neuroengineering Lab for Traumatic Brain Injury, focusing on concussion pathophysiology through integrated in vivo , in vitro , and in silico approaches. His research spans traumatic brain injury mechanisms, neural network dynamics, and biomarker discovery, with particular emphasis on concussion heterogeneity, preconditioning effects, and network theory applications. His work leverages diverse methodologies including mouse models, neuronal cultures, computational simulations, and extracellular vesicle analysis to bridge cellular changes with whole-brain functional outcomes. Analysis of his 15 most recent publications reveals dominant themes in personalized brain injury modeling (32%), neuroimmune interactions (24%), computational network analysis (20%), and biomarker development (16%), with increasing focus on sex-specific responses and dietary influences in recent work. His lab has developed specialized software tools including FluoroSNNAP for calcium imaging analysis and Autotyping for behavioral phenotyping. Recipient of endowed Solomon R. Pollack Professorship Active principal investigator with continuous NIH funding Developed computational frameworks linking biomechanics to functional outcomes Key contributor to CONNECT-TBI neuropathology consortium His mentoring includes multiple PhD candidates and research specialists, with collaborative projects spanning neuroscience, bioengineering, and clinical neurology. Current recruitment focuses on postdocs and PhD students with expertise in in vivo models, molecular techniques, and computational neuroscience.

Zhou Jianyingمشاهده پروفایل

استاد

• Applied Cryptography
• Network Security
• Cyber-Physical System Security
• +۲ مورد دیگر

Jianying Zhou is a Professor and Centre Director for iTrust at Singapore University of Technology and Design (SUTD), where he leads research in cyber security. He received his PhD in Information Security from Royal Holloway, University of London, following an MSc from the Chinese Academy of Sciences and a BSc from the University of Science and Technology of China. Education Background: PhD (Information Security) - Royal Holloway, University of London MSc (Computer Science) - Chinese Academy of Sciences BSc (Computer Science) - University of Science and Technology of China Professor Zhou's research focuses on applied cryptography and network security, cyber-physical system security, and mobile and wireless security. His work spans theoretical foundations to practical implementations, with significant contributions to secure communication protocols, authentication mechanisms, and security architectures for emerging technologies. He has been instrumental in developing security solutions for industrial control systems, smart grids, and mobile platforms, with numerous patents resulting from his research. An analysis of Professor Zhou's recent publications reveals a strong focus on cyber-physical system security, privacy-preserving technologies, and blockchain security. His work demonstrates a consistent trajectory from foundational cryptographic research toward practical security implementations in real-world systems. Recent publications show increasing emphasis on securing industrial automation systems, developing privacy-enhancing technologies for cloud environments, and addressing emerging threats in 5G networks and blockchain systems. Scientific Awards: ESORICS Outstanding Contribution Award (2020) Professor Zhou has supervised numerous PhD students, including Chuadhry Mujeeb Ahmed, Hamid Ghaeini, John Castellanos, Flavio Toffalini, Andrei Bytes, Bowen Liu, and Teik Guan Tan, among others. His research has been supported by significant grants that have enabled the development of iTrust's world-class CPS testbeds, including MariOT, which offers testbed as a service with remote access. He has served as Principal Investigator on multiple major research projects focusing on cyber security for critical infrastructure. As Centre Director for iTrust at SUTD, Professor Zhou oversees a comprehensive research ecosystem dedicated to cyber security, with particular emphasis on securing cyber-physical systems. iTrust hosts world-class CPS testbeds that enable realistic security testing and validation. Under his leadership, the center has established itself as a leading research institution in Asia for applied cyber security research, with strong industry partnerships and significant contributions to security standards.

• Model-Driven Software Development
• Model Transformation
• Graph Transformation
• +۳ مورد دیگر

Professor Gabriele Taentzer serves at Philipps University of Marburg within the Department of Mathematics and Computer Science, holding key roles as Professor of Software Engineering and Deputy Executive Director of the Marburg Center for Digital Culture and Infrastructure (MCDCI). She leads the Software Engineering research group and contributes significantly to academic governance as a member of the MArburg University Research Academy Board and the Cooperative Doctoral Platform. Her research centers on Model-Driven Software Development with specialized expertise in Model Transformation, Software Quality Assurance, and Graph Transformation systems. She investigates formal methods for ensuring model consistency, developing rule-based approaches for graph repair, and integrating data quality perspectives into software engineering processes. Her work bridges theoretical computer science with practical applications in distributed systems and mobile application development. Professor Taentzer has demonstrated exceptional leadership in the academic community through extensive committee service. She chaired the ETAPS-conference 'Fundamental Approaches to Software Engineering (FASE)' Steering Committee (2011-2021), served as General Conference Chair for STAF 2017, and held PC chair positions for major conferences including MODELS 2023 and FASE 2010. Her editorial contributions include membership on the SoSym journal editorial board and reviewing for top-tier publications like IEEE TSE and ACM Computing Surveys. Philipps-Universität Marburg Teaching Award 2020 She actively mentors students and researchers in software engineering methodologies while leading collaborative projects through the Marburg Center for Digital Culture and Infrastructure. Her research group maintains strong connections with international conferences and workshops, particularly in graph transformation and model-driven engineering domains.

Oscar A. Mondragonمشاهده پروفایل

دانشیار بالینی

• Formal Specification
• Verification & Validation
• Requirements Engineering
• +۶ مورد دیگر

Oscar A. Mondragon is a Clinical Associate Professor in the Department of Computer Science at the University of Texas at El Paso . He currently serves as the Director of the Master of Science in Software Engineering (MSSwE) program and previously led the Online Master of Science in Systems Engineering (OMSSE) from 2014 to 2019. His work bridges systems engineering , software engineering , and smart cities , with publications in formal requirements specification, process improvement models, and verification & validation.

• Software Engineering
• Real-Time Systems
• Requirements Engineering
• +۱ مورد دیگر

Phillip A. Laplante is Professor at Penn State University specializing in software engineering and real-time systems. His research addresses requirements engineering, IoT security, and software quality assurance. Recent work examines certification challenges for connected devices, automated requirements analysis, and blockchain applications. Publications include multiple textbooks on real-time systems design. He contributes to IEEE standards development and serves on editorial boards for leading software engineering journals. Current projects focus on safety-critical system verification methodologies.

Kanad Ghoseمشاهده پروفایل

استاد

• Computer Architecture
• Power-Aware Systems
• High-Performance Computing
• +۶ مورد دیگر

Kanad Ghose is a Distinguished Professor and Director of the Center for Energy-Smart Electronic Systems (ES2) at SUNY Binghamton's School of Computing. His research focuses on computer architecture, power-aware systems, high-performance computing, and cybersecurity. He leads projects in data center energy management, secure processor design, and flexible electronics for wearable health monitoring. Education: BTech/M.Tech from University of Calcutta; MS/PhD from Iowa State University Awards: SUNY Chancellor's Award, IBM Faculty Award, National Science Talent Search Research interests include energy-efficient microarchitectures, cybersecurity at the hardware level, and autonomous systems. Notable projects involve data center cooling optimization, secure execution validation, and wearable ECG sensors. His lab collaborates with industry partners like Intel, Lockheed Martin, and UC Berkeley's Arias group. Current projects include DC-powered data centers, FPGA accelerators, and flexible electronics for clinical-grade health monitoring. Past work includes the MARSSx86 simulator and ARINC-compliant avionics systems.

Marius Mineaمشاهده پروفایل

دانشیار

• Formal Verification
• Cybersecurity
• Software Engineering
• +۴ مورد دیگر

Marius Minea is an Associate Professor at the Department of Computer and Software Engineering, Politehnica University of Timișoara. He holds a Dr. Eng. degree and specializes in formal verification, cybersecurity, and software engineering. His work focuses on model checking, security protocols, and embedded systems design. Research interests include formal verification techniques, software analysis, and security modeling. Notable projects include the EU-funded SPaCIoS and AVANTSSAR initiatives, which address automated validation of security in service-oriented architectures. He has organized major conferences like CRiSIS 2011 and contributed to workshops such as MoDeVVa. Awarded the Merit Award in 2025, Minea teaches courses on computer security, formal verification, and programming. His work bridges theoretical foundations with practical applications, emphasizing automated testing and model-driven engineering.

• Reaction Systems
• Bioinformatics
• Programming Languages
• +۵ مورد دیگر

Moreno Falaschi is a Professor at the University of Siena's Department of Information Engineering and Mathematical Sciences. He teaches Programming Fundamentals for Biotech Engineering, Models and Languages for Bioinformatics for Artificial Intelligence Engineering, Programming for Mathematics, and Information Processing Systems, with current responsibilities extending to the 2025/2026 academic year. His research centers on Reaction Systems as formal models for biochemical processes, applying rewriting systems, concurrency theory, and constraint logic programming to analyze biological systems. Key applications include comorbidity treatment strategies, hemostasis pathways, and T cell differentiation, bridging theoretical computer science with medical bioinformatics. Recent publications (2023-2025) demonstrate consistent innovation in dynamic slicing techniques, guarded reaction systems for medical applications, and quantitative extensions using SOS semantics. His work spans formal verification, computational biology, and biomedical AI, with significant contributions to journals like the International Journal on Software Tools for Technology Transfer.

• Business Process Management
• Blockchain Technology
• Decision Support Systems
• +۳ مورد دیگر

Stephan Haarmann is a doctoral researcher at the Digital Engineering Faculty (DEF) of the University of Potsdam and the Hasso Plattner Institute. His research focuses on transparent business process management, decision support systems, and blockchain applications. He completed his Master's degree in IT Systems Engineering at DEF in 2018 and began his PhD in 2018. His work addresses challenges in knowledge-intensive processes, case management, and data-driven compliance, with contributions to frameworks like fragment-based case models and DMN integration with blockchain. Awarded the 2019 Graduate Award for his master's thesis on decision-aware compliance checking. Published extensively on topics including process modeling, blockchain for decision execution, and data-object cardinality constraints. Developed tools like fcm-js for fragment-based case management. His research emphasizes system-wide integration of IT solutions with organizational processes, leveraging blockchain for transparency and formal methods for compliance verification. Key areas include decision modeling (DMN), flexible process choreography, and knowledge worker objectives.

Stefan Schuppمشاهده پروفایل

پژوهشگر

• Hybrid Systems
• Formal Verification
• Reachability Analysis
• +۵ مورد دیگر

Stefan Schupp is a postdoctoral researcher affiliated with RWTH Aachen University's Theory of Hybrid Systems Group , led by Professor Dr. Erika Ábrahám. He is temporarily working in the AG Sicherheitskritische Systeme group in Münster but plans to return to RWTH's Hybrid Systems Group. His research focuses on reachability analysis for linear hybrid systems, state set representations (via the Hypro project), and contributions to SMT-solving through the SMT-RAT library's ICP module. He is also part of the UnRAVeL research training group, investigating state set representations for hybrid systems analysis. Teaching involvement includes lecturing on Modelling and Analysis of Hybrid Systems (2015–2019) and Data Structures and Algorithms (2014). He has organized practical terms on state set techniques, robotic exploration, solar power plant calibration, and web applications for exercise generation. He co-organized the Schüleruni 2013 and MINT Camp events. His publications emphasize automotive safety verification, hybrid systems competition methodologies, and controller code validation. Current projects include Hypro (C++ library), SMT-RAT (constraint solver), and contributions to formal verification tools.

Eric Verbeekمشاهده پروفایل

پژوهشگر

• Process Mining
• Process Models
• Process Discovery
• +۳ مورد دیگر

H.M.W. (Eric) Verbeek is an ICT Developer in the Department of Mathematics and Computer Science at Eindhoven University of Technology, specializing in Process Analytics. His work focuses on advancing process mining techniques, standardization of event data (e.g., IEEE XES), and the development of tools like ProM and CPN IDE. He has contributed to over 160 publications since 1986, with recent research emphasizing process discovery algorithms, workflow net synthesis, and context-rich process modeling. Research Interests include Process Mining, Process Models, Process Discovery, Petri Net Analysis, and Workflow Management. He has actively participated in projects like the GDPR compliance toolkit and has been involved in defining standards for event data interoperability. Notable contributions include the IEEE XES standard for process mining, tools for event log generation and analysis, and methods for decomposed conformance checking. His work bridges theoretical advancements in process modeling with practical tool development, supporting both academia and industry applications. Collaborations span international academia, focusing on process mining workflows and compliance monitoring. His research trends highlight a balance between algorithmic innovation and real-world applicability in areas like healthcare, logistics, and service management.

• Computer Science
• Model Checking
• Performance Evaluation
• +۴ مورد دیگر

Professor Boudewijn R.H.M. Haverkort is affiliated with the University of Twente's Digital Society Institute and Faculty of Electrical Engineering, Mathematics, and Computer Science. His research focuses on formal methods, performance evaluation, and thermal management in computing systems. He has contributed to advancing model checking techniques, data center workload modeling, and temperature-aware scheduling algorithms. His work intersects computer science, embedded systems, and cyber-physical systems. Research interests include: - Model Checking and Formal Verification - Performance Evaluation of Distributed Systems - Thermal Management in Real-Time Systems - Machine Learning Applications for System Workload Analysis Notable contributions include developing statistical model checking frameworks and temperature prediction methods recognized by the Harvey Rosten Award in 2020. He has supervised 27 research projects, though student names are not listed here. His collaborations span thermal investigations in ICs, cyber-physical system design, and digital communication systems in conflict resolution contexts. Labs/Teams: Active in the Digital Society Institute and MESA+ Institute, collaborating with TechMed Centre on interdisciplinary projects.