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

• Bioinformatics
• Systems Biology
• Computational Biology
• +۷ مورد دیگر

Zelmina Lubovac-Pilav is a Senior Lecturer in Bioinformatics at the School of Bioscience, University of Skövde. She coordinates advanced and foundational courses in bioscience and serves as Programme Coordinator for Master's-level programs. Her research focuses on bioinformatics , systems biology , and disease module analysis , particularly in pancreatic cancer , multiple sclerosis , and breast cancer . Her work involves multi-omics data integration (genomics, proteomics, transcriptomics) and biomarker discovery , supported by projects like BIO-AID (AI-driven biomedical analytics) and DMDPipe (disease-causing protein modules in asthma). She develops computational tools such as MODalyseR and TFTenricher for disease module inference and transcription factor analysis. The 15 most recent articles highlight trends in latent space modeling , network biology , and clinical data analysis , with applications in pancreatic cancer early detection , multiple sclerosis biomarkers , and miRNA functional analysis . These studies emphasize algorithm development , data normalization , and community-driven network predictions . Contact: zelmina.lubovac@his.se

• Real-Time Systems
• Embedded Systems
• Scheduling Algorithms
• +۵ مورد دیگر

Dr. Gaoyang Dai is an Assistant Professor at Uppsala University's Department of Information Technology, specializing in Computer Systems research. His work focuses on real-time systems, embedded computing, and scheduling algorithms for complex task models. Research interests include: Deterministic timing analysis in distributed systems Priority inversion handling in multicore environments Non-preemptive node scheduling for DAG tasks Cyber-physical system design paradigms Deep learning applications in wireless networks Recent publications demonstrate expertise in IEEE Transactions and DATE conference proceedings, with particular emphasis on sporadic DAG task scheduling and resource sharing protocols. Collaborative work includes development of the TIMES-Pro toolchain for CPS implementation.

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.

• Electrical Engineering
• Control Systems
• Signal Processing
• +۳ مورد دیگر

Mohammed Abdul-Niby is an Assistant Professor of Electrical Engineering and serves as Dean of the School of Engineering at Australian University Kuwait (AU). His professional roles combine academic leadership with engineering education innovation. He is actively involved in the CDIO Initiative, contributing to curriculum design and implementation. His academic focus includes electrical engineering disciplines and educational methodologies, particularly within the CDIO framework. As a key figure in AU's engineering programs, he oversees departmental operations and faculty development. No specific research grants, student advisories, or lab affiliations are detailed in the provided text. His professional contributions are centered on institutional leadership and engineering pedagogy.

Wasif Afzalمشاهده پروفایل

استاد

• Software Testing
• Model-Based Testing
• Embedded Systems
• +۴ مورد دیگر

Wasif Afzal is a Professor at Mälardalen University, affiliated with the School of Innovation, Design and Engineering and the Division of Networked and Embedded Systems. His primary role includes duties as an orientation representative for the school. His research focuses on software testing methodologies, model-based testing, embedded systems, cybersecurity, and blockchain applications, with significant contributions to industrial collaborations. Key research interests include advancing automated testing frameworks, optimizing test case generation and prioritization, and enhancing cybersecurity through innovative approaches like serious gaming for phishing resilience. He has led projects such as the SmartDelta initiative, which addresses automated quality assurance in industrial software systems, and contributed to EU-funded projects like Adeptness for DevOps integration in cyber-physical systems. His recent work explores gaps in software testing education, leveraging machine learning for test reduction, and applying EARS notation for PLC system requirements validation. Over 50 publications reflect his expertise in testing tools, safety-critical systems, and systematic literature reviews in software engineering. Notable projects include developing the Pylc framework for PLC software validation and exploring blockchain applications for food safety. He actively engages in improving test automation strategies and measurable outcomes in safety-critical domains.

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 .

Karl-Erik Årzénمشاهده پروفایل

استاد

• Control Engineering
• Computer Engineering
• Feedback Computing
• +۵ مورد دیگر

Karl-Erik Årzén serves as Professor and Head of the Department of Automatic Control at Lund University's Faculty of Engineering. He concurrently holds the position of Co-director for the Wallenberg AI, Autonomous Systems and Software Program (WASP) and maintains Fellow status with the Royal Swedish Academy of Engineering Science (IVA), alongside advisory roles at SMaRC and Aalto University. His research operates at the convergence of control theory and computer engineering, specializing in dynamic feedback-based resource management (feedback computing) for embedded systems and cloud infrastructures. Additional expertise spans embedded control, real-time systems, cyber-physical systems, and domain-specific programming languages for control applications, demonstrating consistent bridging of theoretical control frameworks with computational implementation challenges. Recent publication trends reveal intensive focus on applying control methodologies to distributed resource allocation, evidenced by works on real-time application offloading, auction-based storage allocation, and reinforcement learning-driven cloud auto-scaling. These contributions critically address scalability and performance challenges across computer science, telecommunications, and next-generation 6G network architectures. Scientific recognition includes: Best Paper Award (2018) for Predictability and Cloud Application research Best paper award (2018) Best Paper Award at RTNS 2016 Best Paper Award at RTCSA 2004 With 35 supervised students to date, Årzén currently serves as primary supervisor for PhD candidate Ahmed Al Bayati. His research portfolio includes active leadership in the Vinnova-funded AORTA project (2023-2025), Robust and Secure Control over the Cloud initiative (2021-2026), and the long-term WASP program (2015-2029), alongside completed projects like AutoDC and Testing Autonomous Control-Based Software Systems. He actively contributes to the ELLIIT research environment and shapes Lund University's AI and Digitalization profile area alongside LU's Natural and Artificial Cognition initiative.

• Hardware Security
• Cryptography
• Side-Channel Attacks
• +۳ مورد دیگر

Elena Dubrova is a Professor at the Division of Electronics and Embedded Systems, KTH Royal Institute of Technology. She specializes in hardware security, cryptography, and embedded systems security. Her roles include examiner and course responsible for advanced degree projects in Computer Engineering, Communication Systems, Embedded Systems, and Machine Learning. She also teaches courses such as Design of Fault-Tolerant Systems, Hardware Security, and Internet Security and Privacy. Her research focuses on side-channel attacks, cryptographic algorithm vulnerabilities, and FPGA security. Notable work includes analyzing hardware security flaws in cryptographic implementations (e.g., CRYSTALS-Kyber, AES), RF signal leakage in chips, and mitigating threats in FPGA-based systems. Her contributions span both theoretical advancements and practical countermeasure development. Dr. Dubrova’s articles highlight trends in post-quantum cryptography vulnerabilities, machine learning-assisted security analysis, and the integration of physical unclonable functions (PUFs) for secure authentication. She emphasizes hardware-software co-design for robust security solutions. No scientific awards are explicitly listed in the provided information. Her work involves collaborative projects on cryptographic protocol design and secure embedded system architecture, though specific grants or lab affiliations are not detailed here.

Fredrik Asplundمشاهده پروفایل

دانشیار

• Cyber-Physical Systems
• Safety Engineering
• System Software Engineering
• +۵ مورد دیگر

Fredrik Asplund is an Associate Professor and Docent in Cyber-Physical Systems (CPS) at KTH Royal Institute of Technology, affiliated with the School of Industrial Engineering and Management (ITM) and the Digital Futures Faculty. His research focuses on system safety, software engineering practices in CPS development, innovation ecosystems, and engineering education. Prior to academia, he worked in the telecommunications industry as a software architect. He leads and contributes to projects such as GPARSE (Guaranteeing Pro-Active and Reactive Safety in intersections through resource management at the Edge). His work addresses safety challenges in autonomous vehicles, maritime systems, and industrial CPS applications, emphasizing sociotechnical constraints affecting engineers. Teaching responsibilities include courses on embedded systems, mechatronics, and research methodology. He has supervised numerous master’s degree projects in embedded control systems, machine design, and mechatronics. His research spans empirical studies of software tool integration, reference architectures, and cross-industry collaboration mechanisms. Recent work includes analyzing social capital in university-industry partnerships and developing frameworks for autonomic computing in CPS-of-Systems. Publications highlight topics like boundary object usage in CPS co-engineering, collision mitigation algorithms, and skill alignment for early-career engineers.

• Control Systems
• Robotics
• Multi-agent Systems
• +۳ مورد دیگر

Dimos Dimarogonas is a Professor and Head of Department at the Department of Automatic Control, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology. His research and teaching focus on advanced control systems, robotics, and multi-agent systems with applications across various engineering domains. His primary research interests include Control Systems, Robotics, Multi-agent Systems, Formal Methods, Signal Temporal Logic, and Distributed Control. Professor Dimarogonas has made significant contributions to the field of formal methods for control systems, particularly in applying signal temporal logic to robotic motion planning and control. His work bridges theoretical control theory with practical applications in robotics and autonomous systems, with a strong emphasis on safety-critical control and formal verification of system behavior. His recent publications demonstrate a clear trend toward integrating formal methods with distributed control of multi-agent systems. The research focuses on signal temporal logic specifications, control barrier functions, and distributed optimization approaches for complex multi-robot coordination tasks. His work addresses fundamental challenges in ensuring safety, stability, and performance guarantees for networked robotic systems operating under complex spatiotemporal constraints. Professor Dimarogonas serves as examiner for numerous advanced degree projects at KTH, including the Sustainable Engineer in Systems Engineering course and multiple degree projects in computer science, computer engineering, and electrical engineering with focus areas in systems engineering, robotics, and embedded systems. His teaching and supervision cover both theoretical foundations and practical implementation of advanced control systems.

Hajo Michael Holtzمشاهده پروفایل

مدرس ارشد

• IT Law
• Market Law
• Intellectual Property Law
• +۳ مورد دیگر

Hajo Michael Holtz is a Senior Lecturer at the Department of Law, Uppsala University, Sweden. He has been active in the Swedish academy since 2013 and joined Uppsala University in 2021, initially at the Department of Business Administration (2021-2025) before transitioning to the Department of Law. His academic role encompasses interdisciplinary teaching and research with significant managerial responsibilities. Hajo Michael Holtz holds the following academic qualifications: First state law degree and doctorate from Leibniz Universität Hannover, Germany Master of Laws (Commercial Law) from the University of Edinburgh, UK Second state law degree (practical training) from Oberlandesgericht Celle, Germany Holtz specializes in IT law, market law, and intellectual property law with concentrated research on digital business practices, GDPR implementation, AI regulation, and the digital single market. His work uniquely integrates German legal perspectives with Swedish and EU frameworks, particularly examining data protection's intersection with marketing law and unfair commercial practices. His recent publications (2023-2025) reveal intense focus on emerging EU digital regulations including the AI Act, Digital Services Act, and Digital Markets Act. Key themes include GDPR compliance in data sharing, influencer marketing accountability, and transparency requirements for AI systems, alongside innovative interdisciplinary teaching methodologies for business-law integration. No scientific awards, fellowships, or medals were mentioned in the provided text. As a senior lecturer, Holtz advises students across systems science, business administration, and law programs. He served as program coordinator for Uppsala's interdisciplinary master's program in international and European law and entrepreneurship (2022-2025). The text indicates active grant involvement through EU-funded research but provides no specific grant details or named advisees.

• Secure Control Systems
• Scalable Control
• Positive Systems
• +۳ مورد دیگر

Sribalaji C. Anand is a postdoctoral researcher at KTH Royal Institute of Technology, Sweden, affiliated with the Division of Decision and Control Systems and the Department of Intelligent Systems. Hosted by Prof. Karl Henrik Johansson and Prof. Henrik Sandberg, his academic journey includes an M.Sc. in System and Control from Delft University of Technology (2019) and a Ph.D. in Automatic Control from Uppsala University (2024). Research Focus: Secure control systems, scalable control, positive systems, convex optimization applications, dissipative systems, and adaptive control. Grants: VR International Postdoctoral Grant (2024), STINT International Postdoctoral Scholarship (2024), and multiple travel scholarships from IEEE and Stenholm Wilgott. Publications: 15 recent articles covering security metrics, attack mitigation, and control system optimization.

• Power Electronics
• Electric Vehicles
• Traction Motor Systems
• +۴ مورد دیگر

Artem Rodionov is a researcher at Chalmers University of Technology, specifically affiliated with the Department of Electrical Power Engineering . His work focuses on power electronics and electric vehicle technologies, with specialization in traction drive systems and energy efficiency optimization. Current projects: LongDrive (2024–2027) with Volvo Group and Energimyndigheten, PowerDrive (2022–2025) funded by EU, and Integrerade drivsystem (2016–2020) with Energimyndigheten Collaborators: Yujing Liu, Nimananda Sharma, Alessandro Acquaviva, Anton Kersten Key research themes include: Power electronics for transportation electrification High-density drive systems for EVs Thermal management of power modules Multi-motor drivetrain verification Capacitor dimensioning in traction applications Publication trends show expertise in: IEEE Transactions: Inverter loss analysis IECON Conferences: Capacitor sizing, bus bar inductance Doctoral thesis: High power density EV drives Multi-phase motor efficiency studies Cooling system parameter sensitivity

• Non-equilibrium statistical physics
• Theoretical cell biology
• Theoretical computer science (unconventional computing)
• +۴ مورد دیگر

Zoran Konkoli is an Associate Professor at Chalmers University of Technology, affiliated with the Department of Microtechnology and Nanoscience (MC2) within the Electronic Materials division. His research spans interdisciplinary areas including non-equilibrium statistical physics, theoretical cell biology, and unconventional computing. He holds a PhD in Theoretical Chemistry from Gothenburg University and has held postdoctoral positions at Chalmers, NORDITA, and the Applied Physics Department at Chalmers. His academic journey includes roles such as assistant professor in Biological Physics (2002–2006) and a permanent position as Associate Professor since 2007. Konkoli’s research focuses on diffusion-controlled reactions, theoretical cell biology (e.g., HIV latency mechanisms), and computational models like cellular automata and memristor networks. His work intersects condensed matter theory, statistical physics, and computer science. Key projects include the EU-funded RECORD-IT (2015–2018) and SYMONE (2012–2015), exploring reservoir computing and biomimetic systems. He collaborates widely, emphasizing interdisciplinary networks to advance theoretical ideas into practical applications. His expertise includes mathematical logic, measure theory, and approximation theorems, reflecting his broad academic interests.

• Real-Time Systems
• Scheduling Algorithms
• Network Protocols
• +۳ مورد دیگر

Radu Dobrin is a Senior Lecturer and Head of Department at the Department of Computer Science and Software Engineering, Mälardalen University. He is associated with the Academy of Innovation, Design and Technology. His research focuses on real-time systems, scheduling algorithms, network protocols, and embedded systems. He also contributes to curricular development in computer science education, as evidenced by his work on curriculum mapping frameworks and ethics integration. Dobrin's recent work includes advancements in TSN (Time-Sensitive Networking), fault-tolerant scheduling, and probabilistic analysis of real-time systems. Despite no explicit mentions of awards or grants, his extensive publication record indicates substantial contributions to both theoretical and applied aspects of computer science. His research trends emphasize improving scheduling efficiency in real-time environments, handling cache-related preemption delays, and enhancing network resilience through adaptive frameworks like MALOC. Collaborations with industry are evident in projects like HUBLINKED and curriculum mapping initiatives. While specific student advisees are not listed, his academic role suggests involvement in mentoring graduate students in computer science and engineering disciplines. Technical responsibilities include managing the department's academic operations and contributing to Mälardalen University's digital infrastructure, as seen through his involvement in accessibility improvements and web-related projects. No specific grants or lab affiliations are detailed in the provided texts, though his research areas imply potential involvement in EU-funded or industry-sponsored projects.