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

Abu Alamمشاهده پروفایل

مدرس

• Cybersecurity
• Software Engineering
• Database Systems
• +۵ مورد دیگر

Dr. Abu Alam is a Lecturer at the University of Gloucestershire, with a PhD in Computer Science and Engineering (2015). A member of the British Computer Society (MBCS), his career spans software development, architecture, and academic research. His technical expertise includes programming languages, database systems, and cybersecurity frameworks. PhD, Computer Science and Engineering, University of Gloucestershire (2015) Research focuses on cybersecurity , blockchain , and malware analysis , with recent work exploring Docker-based database security, cyber-biosecurity intersections, and AI-driven authentication systems. Earlier contributions include cloud latency optimization and functional programming paradigms. Academic output trends include: Cybersecurity mechanisms for emerging technologies Integration of blockchain in medical and artistic domains Docker virtualization vulnerabilities Malware detection frameworks for resource-constrained environments Agile methodologies in computer science education Contact: aalam@glos.ac.uk

• Operating Systems
• Computer Architecture
• Virtualization
• +۳ مورد دیگر

Prof. Redha Gouicem holds the Chair of Operating Systems at RWTH Aachen University. His research focuses on operating system design, virtualization, and multicore scheduling, with an emphasis on formal verification and performance optimization. Professorship: Operating Systems Location: RWTH Aachen University, Germany Research interests include: Multicore scheduling algorithms Binary translation and virtualization Formal verification of OS components CPU frequency scaling and performance optimization Comparison of scheduling models in Unix/Linux Domain-specific languages for scheduler development Recent work explores hypervisor-agnostic guest overlays, weak memory model translation, and provably correct multicore schedulers. His publications demonstrate technical depth in system software design and concurrency management. Current affiliations: RWTH Aachen University Chair of Operating Systems

• Semantics of Programming Languages
• Program Analysis
• Functional Parallel Programming
• +۴ مورد دیگر

Wadoud BOUSDIRA is an Associate Professor at the University of Orleans in the Computer Sciences Department under the College of Science . He is a member of the LMV team and affiliated with the Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) . His research focuses on Semantics of Programming Languages , Program Analysis , and Functional Parallel Programming . His work explores thread synchronization , SPMD programming , BSP models , formal verification , and static analysis of parallel programs. The trends in his recent publications emphasize formal verification of parallel programs using tools like Coq , register safety in BSPlib , and transformation of SPMD programs . Key subfields include algorithmic skeletons, distributed arrays, and rewriting rules for program alignment. He has advised PhD student Arvid Jakobsson (CIFRE Huawei, 2016-) on BSP-programs static analysis . His research is supported by projects such as PaPDAS (in partnership with JST, Japan) and ANR SIMI 2 (2011-2014). Contact: wadoud.bousdira-semmar@univ-orleans.fr | Phone: +33 (0)2 38 41 72 69 | Address: LIFO, Building IIIA, University of Orleans, France.

Ali Osman Arslanمشاهده پروفایل

استادیار

• Electrical Engineering
• Power Electronics
• Electromechanical Energy Conversion
• +۳ مورد دیگر

Dr. Ali Osman Arslan is an Assistant Professor in the Department of Electrical and Electronics Engineering at Gaziantep University's Faculty of Engineering. He holds a Doctorate (2021) and Master's degree (2012) from Gaziantep University, specializing in Electrical Machinery and Power Systems. University: Gaziantep University School: Faculty of Engineering Department: Electrical and Electronics Engineering Academic Rank: Assistant Professor His research focuses on advanced power conversion systems, including modular multilevel converters , hybrid inverter topologies , and adaptive control techniques for renewable energy integration and industrial applications. He has extensively studied phase-shifted PWM methods, arm inductance optimization , and submodule topologies in converter systems. Recent publications analyze comparative performances of FACTS devices and future prospects of modular converter technologies. He teaches graduate courses like Advanced Static Power Conversion and undergraduate courses covering Power Electronics and Electromechanical Energy Conversion . Scientific Awards: 2023 Most Original Design Award (Akıncılar Team) 2022 First Place & Performance Prize (Akıncılar Team) 2021 First Place Local Award (Hidden Danger R&D Team) 2021 Most Original Design Award (Toprak R&D Team) Projects: Led 2022-2023 Teknofest student support projects and contributed to electromagnetic high-speed train development (2009-2010).

Masoud Akbarzadehمشاهده پروفایل

دانشیار

• Three-Dimensional Graphical Statics
• Structural Form Finding
• Computational Design
• +۶ مورد دیگر

Masoud Akbarzadeh is an Associate Professor of Architecture at the University of Pennsylvania's Stuart Weitzman School of Design, directing the Polyhedral Structures Laboratory (PSL) where he pioneers geometric approaches to structural design and digital fabrication. His work integrates architectural innovation with engineering precision to develop sustainable, high-performance building systems. His academic credentials include: D.Sc. from ETH Zurich's Institute of Technology in Architecture Master of Science in Architecture Studies (Computation) and M.Arch from MIT Degree in Earthquake Engineering from Iran University of Science and Technology B.S. in Civil and Environmental Engineering Dr. Akbarzadeh's research centers on Three-Dimensional Graphical Statics , revolutionizing structural form finding through polyhedral reciprocal diagrams. Key focus areas include computational geometry for spatial structures, digital fabrication of concrete and glass systems, and geometric optimization for environmental performance. His laboratory develops cutting-edge methods for translating theoretical geometry into buildable structures through advanced computational tools. Recent publications reveal accelerating innovation in carbon-capturing concrete using triply periodic minimum surfaces, ultra-thin glass bridges, and machine learning-enhanced structural design. His work consistently bridges theoretical geometric principles with practical applications in sustainable construction and renewable energy infrastructure, demonstrating increasing interdisciplinary impact. Major recognitions include: National Science Foundation CAREER Award (2020) Top 100 Innovators & Entrepreneurs Magazine (2025) SOM award for MIT thesis As principal investigator, he leads significant research initiatives including the NSF CAREER project on 3D graphic statics and collaborative EAGER grants for offshore renewable energy structures. Though specific students aren't listed, he mentors through PSL and teaches graduate courses like Structures II and Technology Lab, fostering next-generation designers in computational structural engineering. CAREER: 3D/Polyhedral Graphic Statics for Education, Design, and Optimization (2020) Collaborative EAGER: Harnessing Ocean Wave Energy with 3D Printed Structures (2024) The Polyhedral Structures Laboratory drives experimental research in geometric structural systems, producing breakthroughs like the Tortuca glass bridge and Terrene 2.0 biomaterial composites. Through partnerships with industry and academic institutions, PSL advances the frontiers of structural design, fabrication technology, and sustainable material applications in architecture.

• Computer Science
• Security and Privacy
• Cellular Networks
• +۳ مورد دیگر

SyedRafiul Hussain is an Assistant Professor at the School of Electrical Engineering and Computer Science. His research focuses on security and privacy in computer science, with a strong emphasis on cellular networks, Bluetooth Low Energy, and network protocols.

Pierre Parrendمشاهده پروفایل

استاد

• Artificial Intelligence
• Security of Complex Systems
• Software Security
• +۵ مورد دیگر

Pierre Parrend is Professor (HDR) of Computer Science at EPITA Strasbourg and a core member of the CSTB team within the ICube Laboratory . He previously served as Professor of Higher Education at ECAM Strasbourg-Europe (2019-2021) and University of Strasbourg (2016-2019), where he also headed the Computer Science & Mathematics Department and the Expertise & Recruitment Pole. Education & Academic Path PhD in Computer Science, INSA de Lyon, 2008 – “Software Security Models for Service-Oriented Programming (SOP) Platforms” Master Informatique de Lyon – Mastria Studies at INSA Lyon (Telecommunications, Services & Uses), UPC Barcelona (Spain), and Karlsruhe Institute of Technology (Germany) Research Focus His research lies at the intersection of Artificial Intelligence , Security of Complex Systems and Translational Bioinformatics . He designs secure architectures for the Industry of the Future , IoT health data and cyber-physical systems . Core themes include anomaly detection in AI ecosystems, evolutionary optimisation techniques, and component-based middleware security. Recent Articles & Trends Between 2007-2009 he produced pivotal works on OSGi security, vulnerability benchmarking and privacy-aware service integration. His publications reveal a consistent focus on static analysis of Java/OSGi components , runtime security for extensible platforms , and quantitative security metrics such as the Protection Rate. Grants & Projects HuMa (FUI AAP-19) – Human-centred analysis of massive data for security SENSAI – Sensor network security via artificial immune systems GenIDA – Secure social network for Medicine 4P 4P-Factory – Factory of the Future, UNESCO UNITWIN Complex Systems Digital Campus ComplexLean – Lean organisation modelling as complex systems RDR – Robust Digital Records with Cheikh Anta Diop University, Senegal EASEA – Evolutionary algorithms platform Doctoral Supervision & Labs He currently supervises four PhD students on explainable anomaly detection, autonomous evolutionary computers, magnetocaloric cooling optimisation and metaheuristic learning loops. Former graduates worked on industrial cybersecurity projects with IPLine, Hager and ComplexLean consortia. His laboratory hosts the BICS Platform and the e-laboratory of the UNITWIN UNESCO Complex System Digital Campus .

• Algorithms
• Concurrency
• Concurrent algorithms
• +۱۲ مورد دیگر

Paola Quaglia is an Associate Professor at the Department of Information Engineering and Computer Science, University of Trento. Her primary teaching activities include courses on Concurrency and Linguaggi formali e compilatori (Formal Languages and Compilers), focusing on shared-memory concurrency and compiler design methodologies applicable to formal/natural language analysis. Quaglia's research expertise spans Algorithms, Concurrency, Process Calculi, Formal Languages, Systems Biology, and Stochastic Processes . Her work bridges computational modeling with biological systems, emphasizing formal verification and concurrent programming paradigms. Notable publication trends include contributions to stochastic process algebra , BlenX/Beta-binders for biological modeling, and model-checking techniques for concurrent systems. She has extensively explored the intersection of programming language theory and computational biology.

Sapountzakis Evangelosمشاهده پروفایل

استاد

• Structural Engineering
• Seismic Protection
• Vibration Control
• +۵ مورد دیگر

Sapountzakis Evangelos serves as a Professor in the Department of Structural Engineering within the School of Civil Engineering at the National Technical University of Athens (NTUA). His academic work is centered at the Statics and Aseismic Research Laboratory, where he conducts research on advanced structural dynamics and earthquake engineering solutions. His institutional affiliation places him within Greece's premier technical university, known for its strong engineering programs and research contributions to civil infrastructure. Professor Sapountzakis' research interests focus on innovative approaches to structural protection against seismic events and vibrations. His work particularly emphasizes the development and application of negative stiffness mechanisms, vibration absorbers, and the KDamper technology for various structural systems. His research spans multiple structural types including multi-story buildings, bridges, and wind turbine towers, addressing both theoretical modeling and practical implementation challenges in earthquake engineering. Analysis of Professor Sapountzakis' recent publications reveals a consistent research trajectory focused on seismic protection systems, with particular emphasis on the Extended KDamper technology. His work combines numerical modeling, optimization techniques, and experimental validation to develop practical solutions for structural vibration control. The publications demonstrate increasing sophistication in handling complex structural dynamics problems, including soil-structure interaction, nonlinear responses, and multi-objective optimization approaches for enhanced structural performance during seismic events. Professor Sapountzakis maintains active research collaborations focused on structural dynamics and earthquake engineering. His work appears to involve both theoretical development and practical implementation of vibration control systems, with evidence of experimental testing alongside numerical simulations. While specific grant information isn't detailed in the available text, his extensive publication record suggests sustained research funding and active participation in the structural engineering research community. Professor Sapountzakis is affiliated with the Statics and Aseismic Research Laboratory at NTUA, which serves as the primary facility for his experimental work on vibration control systems and seismic protection devices. This laboratory appears to support both theoretical research through computational modeling and practical validation through physical testing of structural components and systems, particularly focusing on the development and refinement of the KDamper technology for various structural applications.

Xiaokang Qiuمشاهده پروفایل

دانشیار

• Programming Languages
• Software Engineering
• Program Verification
• +۲ مورد دیگر

Xiaokang Qiu is an Associate Professor at Purdue University's Elmore Family School of Electrical and Computer Engineering. His work bridges theoretical and applied research in programming languages and software engineering. Current Role: Associate Professor at Purdue University Research Focus: Program verification, synthesis, and automated deduction Over the past decade, Xiaokang's research has centered on advancing program synthesis techniques. His work appears in leading venues like POPL, PLDI, and SAS, where he explores: Syntax-guided synthesis for bit-vector operations Concurrent string transformation synthesis Library-based synthesis frameworks Recursive program verification He actively contributes to the academic community as a committee member and session chair at conferences including POPL, VMCAI, and SPLASH. His research addresses fundamental challenges in automating code generation while ensuring formal correctness.

Alex Groceمشاهده پروفایل

دانشیار

• Software Engineering
• Software Testing
• Mutation Testing
• +۷ مورد دیگر

Alex Groce is an Associate Professor at the School of Informatics, Computing, and Cyber Systems (SICCS) at Northern Arizona University. He joined NAU in 2017 after serving as faculty at Oregon State University where he was promoted to Associate Professor in 2015. Previously, he was a core member of NASA's Jet Propulsion Laboratory's Laboratory for Reliable Software and taught software testing at Caltech. Educational background includes: Ph.D. in Computer Science from Carnegie Mellon University (2005) B.S. in Computer Science and Multidisciplinary Studies from North Carolina State University (1999) His research focuses on software engineering with emphasis on testing techniques for complex systems. Primary interests include: Development of testing tools like TSTL (Python testing) DeepState (C/C++ unit testing with symbolic execution) Mutation testing frameworks including universalmutator and MuttFuzz Security/reliability of embedded and systems software Dr. Groce leads significant open-source projects and serves on program committees for top conferences including ISSTA, ICSE, ASE, and FSE.

Cezara Drăgoiمشاهده پروفایل

پژوهشگر

• Static Analysis
• Formal Verification
• Distributed Systems
• +۳ مورد دیگر

Cezara Drăgoi serves as a Researcher (Chargé de Recherche) at INRIA with dual affiliation at École Normale Supérieure's Department of Computer Science and CNRS. She maintains active roles in major programming language conferences including PLDI, POPL, and SPLASH where she contributes to program committees and steering groups, demonstrating her standing in the formal methods community. Her research program focuses on automated formal verification through abstraction techniques, specifically targeting data structures across the spectrum from sequential implementations to distributed systems. Drăgoi develops logic-based frameworks that enable Hoare-style reasoning about content and consistency properties, with particular expertise in identifying suitable fragments of first-order and separation logic for static analysis. Her work bridges theoretical foundations with practical verification challenges in both single-threaded and concurrent environments. Publication trends reveal a clear evolution from foundational work on shape analysis for sequential data structures toward increasingly complex distributed systems verification. This progression culminated in her development of PSync - a domain-specific language for fault-tolerant distributed algorithms with integrated verification capabilities - demonstrating her ability to create practical abstractions that make verification tractable for real-world systems. Steering Committee Member, Static Analysis Symposium (SAS 2025) Program Committee Co-Chair, VMCAI 2023 Multiple program committee roles at PLDI (2017, 2020), POPL (2016-2023), ECOOP (2019), and SPLASH (2020-2024) Session chair for SAS 2021 and VMCAI 2019 Drăgoi actively mentors emerging researchers through internship and PhD opportunities in specialized areas including Byzantine consensus verification (SABC project) and refinement techniques for fault-tolerant asynchronous code (RFTA project). She has developed two influential verification tools: CELIA (a Frama-C plugin for C program verification handling both data and structural properties) and PSync (a language with verification engine for distributed algorithms). Her teaching includes graduate-level courses on abstract interpretation at Université Paris Diderot. She leads verification research within the INRIA/ENS collaboration, focusing on making static analysis tractable for complex distributed systems through innovative synchronous programming abstractions. Current work targets verification challenges in consensus algorithms and communication-closed protocols, with emphasis on bridging theoretical soundness with practical applicability.

Parosh Aziz Abdullaمشاهده پروفایل

استاد

• Concurrency
• Distributed Systems
• Program Verification
• +۵ مورد دیگر

Parosh Aziz Abdulla is a Chaired Professor at the Department of Information Technology, Uppsala University, Sweden. He is a prominent researcher in the field of theoretical computer science with a focus on formal methods, concurrency, and program verification. His work bridges theoretical foundations with practical applications in software and hardware verification. Professor Abdulla's primary research interests include Concurrency, Distributed Systems, Program Verification, Model Checking, Automata, and Logic. His work spans both theoretical aspects of computer science and practical verification techniques for concurrent and distributed systems. He has made significant contributions to the understanding of memory models, particularly in the context of modern architectures like x86 with persistent memory. His research has evolved from foundational work on infinite-state systems to practical verification techniques for concurrent programs and string constraints. Professor Abdulla has served on numerous program committees for top-tier conferences including PLDI, POPL, CAV, CONCUR, and TACAS, demonstrating his standing in the research community. He has been PC co-Chair for TACAS'11 and has contributed to many other conferences over the years. As an advisor, Professor Abdulla has supervised numerous PhD students to completion, with graduates working on topics ranging from verification of networks of communicating processes to caches, transactions, and memory models. His students have gone on to successful careers in academia and industry. Professor Abdulla maintains an active research agenda, with recent work focusing on verification of quantum circuits, efficient linearizability monitoring, and verification under Intel-x86 with persistency. His research continues to address fundamental challenges in program verification while adapting to new computing paradigms and hardware architectures.

Sara Achourمشاهده پروفایل

استادیار

• Compilers
• Programming Languages
• Program Analysis
• +۵ مورد دیگر

Sara Achour is an Assistant Professor jointly appointed in both the Computer Science and Electrical Engineering Departments at Stanford University's School of Engineering. Her work bridges computer science and electrical engineering, focusing on enabling end-users to develop computations for emerging computing platforms with analog behaviors. Dr. Achour received her PhD in Computer Science from the Massachusetts Institute of Technology in 2021. Her academic journey led her to Stanford where she currently teaches courses including Introduction to Essential Software Systems and Tools (CS 104), Software Engineering (CS 295), and Software Techniques for Emerging Hardware Platforms (CS 349H/EE 349). Her research program centers on developing new programming languages, compilers, and runtime systems that address the challenges of emerging computing platforms. She specializes in creating tools that help developers harness the potential of analog and non-traditional hardware systems. Her work spans quantum computing, analog computing paradigms, hyperdimensional computing, and memory systems, with a particular emphasis on compiler techniques and hardware-aware optimization. Analysis of her recent publications reveals a strong focus on bridging the gap between software and emerging hardware platforms. Her work spans quantum computing (qubit/qutrit circuits), analog computing paradigms, hyperdimensional computing, and novel memory systems. A recurring theme is developing compiler techniques that optimize for specific hardware characteristics while maintaining programmer productivity. Dr. Achour actively mentors students across multiple levels of their academic careers. She serves as a Doctoral Dissertation Advisor, Co-Advisor, Reader, and Master's Program Advisor for numerous students working on cutting-edge research in compilers and emerging hardware. Her teaching portfolio includes both foundational courses like Introduction to Essential Software Systems and specialized advanced courses focused on emerging hardware platforms. She appears to be building a research group focused on programming languages and compilers for non-traditional computing architectures, with students working across quantum computing, analog systems, and memory technologies.

Bor-Yuh Evan Changمشاهده پروفایل

دانشیار

• Programming Languages
• Program Analysis
• Software Verification
• +۳ مورد دیگر

Bor-Yuh Evan Chang serves as an Associate Professor in the Department of Computer Science at the University of Colorado Boulder, holding a courtesy appointment in the Department of Electrical, Computer, and Energy Engineering. He co-directs the Programming Languages and Verification Group (CUPLV) and maintains an industry affiliation as an Amazon Scholar, bridging academic research with practical software engineering challenges. His research spans Programming Languages, Program Analysis, and Software Verification with emphasis on Abstract Interpretation, Static Analysis, and Distributed Systems. Chang's work focuses on developing algorithmic techniques to enhance software quality and developer productivity, particularly through automated reasoning for specification assistance, alarm triage, and repository-based improvement. Current investigations target real-world applications including Android programming models and distributed algorithm verification. Analysis of Chang's 15 most recent publications reveals a consistent trajectory in program analysis foundations with increasing focus on distributed systems verification. His work demonstrates evolution from callback analysis in mobile applications (2017-2019) toward sophisticated cost analysis and distributed consistency models (2021-2026), maintaining strong connections between theoretical abstract interpretation and practical tool implementation. Chang actively shapes the programming languages community through leadership roles including PLDI 2026 General Chair and SAS Steering Committee membership. He has served on program committees for every major venue in the field including PLDI, POPL, and SPLASH across 12 consecutive years (2015-2026). As co-director of CUPLV, Chang leads research efforts in formal methods for modern software systems. His group develops techniques for program analysis, verification, and automated reasoning with direct applications to industrial-scale codebases through the Amazon Scholar collaboration.