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

• Formal Verification
• Model Checking
• Concurrent Systems
• +۶ مورد دیگر

Parosh Abdulla is a Professor in the Division of Computer Systems within the Department of Information Technology at Uppsala University, Sweden. His research focuses on formal methods and program verification with emphasis on concurrent systems, memory models, and verification techniques. With an extensive publication record spanning over three decades, he has established himself as a leading researcher in his field. His primary research interests include formal verification, model checking, concurrent systems analysis, memory models (particularly TSO and PSO), string constraints, timed automata, parameterized verification, and program analysis. His work addresses fundamental challenges in verifying complex software systems, especially those involving concurrency and weak memory models. In recent years, he has expanded his research to include quantum systems verification and the application of machine learning techniques to formal methods. Analysis of his recent publications (2023-2025) reveals a continued focus on advancing verification techniques for concurrent systems, with growing interest in quantum computing verification and the integration of graph neural networks with traditional formal methods. His work demonstrates consistent innovation in reducing the state space explosion problem while maintaining verification completeness. Professor Abdulla has established significant collaborations with researchers including Mohamed Faouzi Atig, Bengt Jonsson, and others, resulting in numerous high-impact publications in top-tier venues. His research has practical implications for developing reliable concurrent software systems and advancing formal verification methodologies. While specific details about his advising activities and grants aren't explicitly mentioned in the available information, his extensive publication record suggests active supervision of graduate students and involvement in multiple research projects. His work likely contributes to formal methods research groups at Uppsala University, focusing on verification tools and theoretical foundations of program analysis.

Sarbojit Dasمشاهده پروفایل

پژوهشگر

• Computer Science
• Software Verification
• Concurrency
• +۳ مورد دیگر

Sarbojit Das is a Researcher at the Department of Information Technology; Division of Computer Systems , Uppsala University . His work focuses on improving verification techniques for concurrent systems, particularly in stateless model checking and dynamic partial order reduction. Email: sarbojit.das@it.uu.se Location: Uppsala, Sweden Research Interests: Prioritizing rigorous analysis of concurrent and multi-threaded systems, Sarbojit Das investigates methods to reduce computational complexity in software verification. His work bridges theoretical computer science with practical applications in formal methods and algorithm optimization. Publication Trends: Recent publications emphasize advancements in stateless model checking, dynamic partial order reduction, and event-driven architectures. Topics include thread scheduling, memory optimization, and scalable verification for distributed systems.

Wolfgang Ahrendtمشاهده پروفایل

استاد

• Formal Methods
• Software Verification
• Automated Deduction
• +۷ مورد دیگر

Wolfgang Ahrendt is a Professor at the Department of Computer Science and Engineering, Chalmers University of Technology and University of Gothenburg. His research focuses on formal methods, software verification, and automated deduction, particularly for Java and smart contracts. He has led major projects like the KeY verification system and contributed to bridging AI with formal verification. Education Roles: Vice-head of Department for PhD Education (2023), Director of PhD Studies (2016-2023), Head of IT and Computer Science Programs (2005-2015). Community Work: Chair of iFM Steering Board, PC co-Chair for TAP 2020 and iFM 2019, Conference Chair for CADE-26 (2017), and member of AAR and CADE secretariats. His research interests span formal verification, symbolic execution, runtime verification, and smart contract security. He has pioneered the integration of static and runtime verification through tools like KeY and StaRVOOrS. Recent work explores AI-assisted programming and hybrid verification frameworks. Publications highlight his focus on smart contract analysis, differential dynamic logic for autonomous systems, and advancements in the KeY system. His edited works include Deductive Software Verification - The KeY Book and proceedings for TAP, iFM, and ISoLA conferences. As a teacher , he coordinates courses on formal methods, verification techniques, and Java modeling. His lab assignments emphasize hands-on experience with tools like SPIN and KeY, fostering practical understanding of verification workflows.

Ahmed Rezineمشاهده پروفایل

مدرس ارشد

• Computer Science
• Software Verification
• Machine Learning
• +۷ مورد دیگر

Ahmed Rezine is a Senior Lecturer and Associate Professor at the Department of Computer Science (IDA) , specifically within the Software and Systems (SAS) division at Linköping University . His research focuses on software verification , machine learning , and cybersecurity , particularly in the context of deep neural networks and embedded systems . Research Trends: His recent publications, such as VNN: Verification-Friendly Neural Networks (2024) and Trojans in Instruction Sets (2024), highlight his work at the intersection of AI robustness and hardware security . Earlier studies (2023-2017) emphasize formal verification of concurrent systems and GPU architectures , reflecting a consistent focus on parameterized systems and security analysis . Colleagues & Collaborations: Rezine collaborates with researchers in the Software and Systems group, part of the Wallenberg Autonomous Systems Program (WASP) . His work intersects with AI IDA and Embedded Systems (ESLAB) , focusing on autonomous systems and real-time processing .

Magnus Lembkeمشاهده پروفایل

دانشیار

• Latin American Studies
• Indigenous Studies
• Decolonial Theory
• +۵ مورد دیگر

Magnus Lembke is an Associate Professor at Stockholm University's Department of Romance Studies and Classics. He serves as Director of Studies for Latin American Studies and Research Secretary within his department. His work address is Room C 5156, Universitetsvägen 10 B, 5th floor, 106 91 Stockholm. Dr. Lembke's research focuses on Latin American Studies with particular emphasis on Indigenous epistemologies, decolonial theory, and political systems in the region. His scholarly work examines intercultural relations, Andean philosophies including Sumak Kawsay/Buen Vivir, indigenous resource management practices, and the political economy of state-indigenous relations. He has conducted extensive research on electoral systems and accountability mechanisms in Latin America, as well as the territorial politics of indigenous communities in Ecuador. His recent publications reveal a strong engagement with decolonial approaches to social justice, indigenous knowledge systems, and alternative development models that challenge Western paradigms. Lembke's scholarship spans multiple languages and demonstrates deep engagement with both theoretical frameworks and empirical studies of indigenous communities, particularly Shuar communities in the Ecuadorian Amazon. His work often bridges political science, anthropology, and indigenous studies to develop nuanced understandings of governance, identity, and sustainability in Latin America. As Director of Studies for Latin American Studies, Dr. Lembke oversees academic programs while maintaining an active research agenda that includes ethnographic work with Latin American indigenous communities. His methodological approach emphasizes trust-building in research relationships and ethical considerations when working with indigenous populations.

Valentin Gorankoمشاهده پروفایل

استاد

• Logic
• Artificial Intelligence
• Multi-agent Systems
• +۳ مورد دیگر

Valentin Goranko is a Professor in the Department of Philosophy at Stockholm University, specializing in logic and its interdisciplinary applications across computer science, artificial intelligence, and multi-agent systems. His academic profile reflects a deep integration of philosophical inquiry with practical computational frameworks. Professor Goranko's research centers on the theoretical foundations of logic with specific applications to artificial intelligence, multi-agent systems, game theory, and computer science. His work develops formal frameworks for strategic reasoning, temporal logic, and coalition-based decision making, bridging abstract logical theory with concrete implementation challenges. The research demonstrates methodological sophistication through its combination of theoretical depth with practical verification considerations. Analysis of his recent publications reveals a maturing research program that has evolved from foundational work on temporal logics toward more complex applications involving structural analysis of logical systems and the synthesis of quantitative and qualitative reasoning approaches. His contributions to alternating-time temporal logic (ATL), game-theoretic semantics, and coalition logics have provided new insights into model checking and verification of multi-agent systems, with particular emphasis on socially friendly coalition logic (SFCL) and group protecting coalition logic (GPCL). Professor Goranko has authored several influential textbooks including 'Logic as a Tool' (2016), 'Temporal Logics in Computer Science' (2016), and 'Logic and Discrete Mathematics' (2015), which have become standard references in their respective fields. These works reflect his commitment to making complex logical concepts accessible while maintaining rigorous theoretical standards. At Stockholm University, he teaches Classical Logic (introductory) and Philosophical Logics II (advanced), courses that emphasize both foundational logical principles and their advanced philosophical applications. His teaching approach demonstrates a consistent focus on practical utility of logical reasoning alongside theoretical rigor, preparing students for both academic research and practical applications in computer science and artificial intelligence.

Meiko Jensenمشاهده پروفایل

دانشیار

• Cybersecurity
• Privacy Engineering
• Data Protection
• +۷ مورد دیگر

Meiko Jensen is an Associate Professor at Karlstad University specializing in Cybersecurity, with a focus on privacy engineering, data protection, and GDPR compliance. Her work bridges technical solutions with legal frameworks, emphasizing practical implementations of privacy principles in evolving digital landscapes. Research interests include corporate cybersecurity resilience, privacy-preserving technologies, forensic strategies in advanced networks, and ethical challenges in emerging technologies like the Metaverse. She has contributed to EU-wide initiatives on data sharing models and personal data protection standards, particularly through collaborations with ENISA and academic networks. Recent publications explore ransomware mitigation strategies in Nordic enterprises, consent management systems under the GDPR, and frameworks for privacy engineering. Her work often integrates interdisciplinary approaches, addressing both technical vulnerabilities and regulatory requirements. Notable contributions include protocols for privacy-aware contact tracing in campus environments and methodologies for automating data subject rights fulfillment. Her research underscores the importance of aligning technological innovation with robust privacy protections. Awards and recognitions are not explicitly stated in the provided materials, but her extensive publication record reflects sustained academic impact in cybersecurity and privacy fields. She advises on interdisciplinary projects at the intersection of law, technology, and policy, though student advisees are not listed here. Professional activities include editorial roles and conference participation in privacy and data protection forums.

• Enterprise Modeling
• Cybersecurity
• Multi-Level Modeling
• +۵ مورد دیگر

Manfred Jeusfeld is a Professor of Information Technology at the University of Skövde's School of Informatics, Department of Information Technology. He specializes in enterprise modeling, cybersecurity, multi-level modeling, and critical infrastructure protection. His research integrates formal methodologies with practical applications in domains like product lifecycle management and data warehouse architecture. Research Interests: Multi-Level Modeling (formal semantics, tool implementation) Cybersecurity in Critical Infrastructures (model-based analysis, vulnerability assessment) Conceptual Modeling Methodologies (enterprise architecture, ontological frameworks) Product Lifecycle Management (virtual factories, extended PLM systems) Key Projects: Leading the Virtual Factories of the Future (VF-KDO) research profile (2018–2026) ELVIRA project (EU ISF-funded cybersecurity analysis for smart grids) OMI project (teaching enterprise modeling tools for European education) Publications: Recent work emphasizes systematic literature reviews in cybersecurity modeling, formal verification of multi-level systems, and tool contributions like DeepTelos for ConceptBase. His work bridges theoretical model development with real-world applications in critical infrastructure protection.

Jan Carlsonمشاهده پروفایل

استاد

• Software Engineering
• Embedded Systems
• Model-Based Development
• +۵ مورد دیگر

Jan Carlson is a Professor at Mälardalen University's School of Innovation, Design and Engineering, specializing in the Division of Computer Science and Software Engineering. His primary focus is on software engineering, particularly model-based and component-based development of embedded systems. He earned his M.Sc. from Linköping University (2000) and a doctoral degree from Mälardalen University (2007) with a thesis on event pattern detection for embedded systems. Research interests include allocation optimization, timing analysis, code generation, real-time systems, and safety-critical component reuse. His work often addresses challenges such as cache-aware response time analysis, limited preemption scheduling, and integration of GPU components in embedded systems. He has contributed to projects like SCALL (a component allocator for heterogeneous systems) and Rubus (a GPU-aware component model). His research also explores continuous integration practices in model-based development and decision support systems for component selection. Key contributions include studies on architectural change management, ontology development for systems of systems, and tools for consistency checking between system models and implementations. He has authored over 80 publications, with recent work focusing on performance prediction, resource utilization, and safety-critical system integration. No notable awards are mentioned, though his extensive publication record highlights significant academic impact. Jan Carlson has advised numerous students and research teams but no explicit student names are listed in the provided text. His work is closely tied to industrial collaboration, addressing real-world challenges in automotive, railway, and smart industry domains. He actively participates in workshops and conferences, such as MARCH and ModComp, to advance model-driven engineering practices.

Yehia Abd Alrahmanمشاهده پروفایل

مدرس ارشد

• Formal Methods
• Model Checking
• Reconfigurable Systems
• +۳ مورد دیگر

Yehia Abd Alrahman is a Senior Lecturer at the Department of Formal Methods within the University of Gothenburg. His work focuses on formal methods, model checking, and reconfigurable systems, with particular emphasis on multi-agent systems and attribute-based communication. He develops verification tools like R-CHECK and contributes to theoretical foundations for collective adaptive systems. His research integrates formal verification techniques with practical applications in distributed systems and energy grids. Key research interests include formal verification of reconfigurable systems, attribute-based communication models, and correct-by-design teamwork plans for multi-agent systems. He has published extensively on topics such as bisimulation theory, distributed coordination frameworks, and protocol analysis. His work often bridges theoretical computer science with practical implementation in domains like power grid control and system resilience. Academic contributions span programming language design for CAS, verification frameworks, and pedagogical approaches to formal methods education. Collaborations include projects on runtime verification, distributed API design, and adaptive system coordination protocols. Current research trends emphasize enhancing system correctness through automated synthesis and rigorous formal methods.

Eduard Paul Enoiuمشاهده پروفایل

دانشیار

• Software Engineering
• Empirical Research
• Automated Test Generation
• +۷ مورد دیگر

Eduard Paul Enoiu is an Associate Professor at Mälardalen University's Department of Networked and Embedded Systems, affiliated with the Software Testing Laboratory and Formal Modelling and Analysis groups. He holds a PhD from Mälardalen University (2016) and an Engineer's degree from Polytechnic University of Bucharest (2009). His research focuses on software engineering, empirical studies in testing, automated test generation, and model-based verification. He teaches automated testing at master’s/PhD levels and industrial practitioners. Current research includes cognitive aspects of testing, ethical considerations, and applying AI in DevOps security. He advises theses in software testing and embedded systems development. **Education:** PhD in Software Engineering (2016), Mälardalen University Engineer's degree (2009), Polytechnic University of Bucharest **Research Interests:** Automated test generation and optimization Formal verification of embedded systems Cognitive psychology in software testing Requirements engineering and reuse Security validation in DevOps Ethical and human factors in testing **Labs/Teams:** Software Testing Laboratory Formal Modelling and Analysis of Embedded Systems group

Martin Monperrusمشاهده پروفایل

استاد

• Software Engineering
• Program Repair
• Artificial Intelligence for Software Engineering
• +۵ مورد دیگر

Martin Monperrus is a Professor of Software Technology at KTH Royal Institute of Technology in Stockholm, Sweden. He leads the software engineering research group focusing on program repair, AI-driven software development, and software supply chain security. His work spans theoretical computer science and practical applications in blockchain, testing, and diversity in systems. Teaches courses such as Automated Software Testing, Blockchain Systems, and Advanced Software Engineering. Research centers on inventing tools for modern software engineering, including program synthesis, neural repair, and resilient systems. Pioneers initiatives like Repairnator (automatic bug fixing bot) and open-source tools like Astor and Gumtree. Research interests include: Automated program repair using large language models Blockchain security and decentralized systems Reproducible builds and dependency management Formal methods for smart contracts Recent work emphasizes: Generating mocks and test data with AI Supply chain attacks in Java/Golang Leaderboards for program repair models Labs/Teams: Leads the KTH Software Technology Group , collaborating with PhD/Master's students on cutting-edge projects.

Eva Petterssonمشاهده پروفایل

پژوهشگر

• Computational Linguistics
• Digital Humanities
• Historical Linguistics
• +۵ مورد دیگر

Eva Pettersson is a Researcher in computational linguistics at Uppsala University's Department of Linguistics and Philology. She is affiliated with the Swedish National Language Bank and collaborates with researchers across multiple institutions, including the University of Gothenburg where she works with Lars Borin on corpus linguistics projects. Her academic work bridges computational methods with historical language analysis. Dr. Pettersson's research focuses on the intersection of digital humanities and computational linguistics, specializing in the processing and analysis of historical texts. Her work spans multiple domains including natural language processing for historical documents, historical cryptology, corpus development, and linguistic analysis of diachronic language change. She has made significant contributions to Swedish historical linguistics through her development of specialized resources and tools. Her publication record demonstrates a consistent trajectory of innovation in historical text processing, with recent work focusing on medieval scribal habits, named entity recognition in 19th century Swedish, rhetorical structure analysis of historical petitions, and historical cryptanalysis. These publications reveal a progression from foundational work on spelling normalization to increasingly sophisticated applications of NLP techniques to historical documents across multiple centuries. Dr. Pettersson has developed significant linguistic resources including the Swedish Diachronic Corpus and the HistCorp collection of historical corpora and tools. These resources have become essential for researchers working on historical Swedish language and provide standardized datasets for computational analysis of language change over time. Her collaborative work extends to international projects like the DECRYPT initiative for historical manuscript decryption and the development of specialized databases for historical ciphers. Through these projects, she has established herself as a key figure in the application of computational methods to historical linguistic materials and cryptological challenges.

• Artificial Intelligence
• Machine Learning
• Natural Language Processing
• +۵ مورد دیگر

Dr. Sriparna Saha is an Associate Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology Patna, India. She holds a Ph.D. from the Indian Statistical Institute Kolkata and has held leadership roles including Head of Department (2021-2023) and Associate Dean for Research and Development (2019-2021). Her research focuses on AI, machine learning, natural language processing, bioinformatics, and multiobjective optimization. She has authored over 400 publications with an h-index of 38 and received awards such as the NASI Young Scientist Platinum Jubilee Award and Google India Women in Engineering Award. Her work spans multimodal systems, medical image analysis, and computational social systems. Education: M.Tech (2005) and Ph.D. (2011) in Computer Science from Indian Statistical Institute Kolkata. Research Interests: Multimodal information processing, NLP, machine learning, bioinformatics, and optimization techniques. Awards: Includes Lt. Rashi Roy Memorial Gold Medal, BIRD Award, and multiple fellowships (Humboldt, CNRS, etc.). Administrative Roles: IEEE Student Branch Councilor, Senate Member, and Visvesvaraya Nodal Officer at IIT Patna. Her recent work includes advancements in multimodal recommendation systems, breast cancer prognosis models, and computational social systems for crisis management. She has also contributed to hate speech detection in multilingual contexts and medical imaging diagnostics.

Ramanathan Thinniyam Srinivasanمشاهده پروفایل

استادیار

• Theoretical Computer Science
• Formal Verification
• Automata Theory
• +۴ مورد دیگر

Ramanathan Thinniyam Srinivasan is an Assistant Senior Lecturer in the Department of Information Technology, specifically within Computer Engineering at Uppsala University, Sweden. He is actively engaged in research and academic instruction in theoretical aspects of computing. His research centers on theoretical computer science, with a focus on formal verification, automata theory, and program analysis. His work involves modeling and analyzing complex computational systems, particularly those with infinite states, using logical and mathematical frameworks to ensure correctness and safety in software and hardware systems. The most recent publication highlights ongoing research in reachability problems within continuous pushdown vector addition systems, indicating deep engagement with foundational models of computation and verification. This work contributes to the broader fields of concurrency theory, logic in computer science, and computational complexity. No scientific awards mentioned in the text. There is no public information available regarding student advising or research grants. However, given his affiliation with a leading research university and active publication record, it is likely he participates in collaborative research and may supervise students at the graduate level. There is no mention of specific labs, research groups, or teams in the provided text, though his work context suggests possible involvement with formal methods or programming languages research groups at Uppsala University.