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

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.

Jörgen Svenssonمشاهده پروفایل

مدرس ارشد

• Power Systems
• Autonomous distributed power systems
• Offshore wind energy
• +۳ مورد دیگر

Jörgen Svensson is a Senior Lecturer and Profile Area member for The Energy Transition at Lund University's Faculty of Engineering (LTH), serving as Director of first and second cycle studies in the Division for Industrial Electrical Engineering and Automation. His research addresses critical challenges in sustainable energy systems, particularly the integration of renewable resources to meet climate targets through electrification of transport and industry. His core research domains include: Power Systems and Grid Stability Autonomous Distributed Power Systems Offshore Wind Energy Integration Renewable Resource Ancillary Services Svensson investigates scalability and flexibility in local energy systems through advanced automation and communication technologies, with emphasis on wind power's role in future energy mixes and coordination of power balance services. Recent publications reveal a concentrated focus on power system stability mechanisms, including VSC-HVDC applications for voltage stability enhancement, impedance matching techniques for damping controllers, and grid-forming converter solutions for transformer energization—addressing reliability challenges in high-renewable penetration grids. He actively contributes to the Swedish Wind Center project at Lund University as a researcher, advancing wind energy technologies. His leadership in academic studies indicates substantial involvement in undergraduate and master's level program direction despite no explicitly listed student advisees. Collaboration with industry partners like Kraftringen AB is evidenced through research workshops, operating within LTH's Division for Industrial Electrical Engineering and Automation to develop interdisciplinary solutions for sustainable power systems.

• Software Architecture
• Software Testing
• Agile Methodologies (Scrum/XP)
• +۴ مورد دیگر

Martin Blom is an Associate Professor at the Department of Computer Science, Karlstad University since 1996. His research focuses on software architecture, software testing, agile methodologies (Scrum/XP), code metrics, and semantic programming. He has authored/co-authored over 25 journal/conference papers and three book chapters. Education: Licentiate in Computer Science (Karlstad University, 2002) PhD in Computer Science (Karlstad University, 2006) Research Interests: Architectural degradation detection using code metrics Testability and software performance analysis Agile methodologies in complex system development Documentation methods and reusability in software maintenance Semantic aspects in component-based systems Key Article Trends: Recent work emphasizes empirical studies on software architecture recovery, code smell detection's applicability to architectural degradation, and systematic mapping studies on testability. Earlier contributions focused on contract-based programming and design contracts' role in error management. Labs/Teams: Currently collaborates with multiple local businesses on applied research projects. Active in software engineering education integrating empirical research into teaching.

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.

• Timber Engineering
• Wood Mechanics
• Structural Engineering
• +۵ مورد دیگر

Min Hu is a Lecturer in the Department of Building Technology at Linnaeus University's Faculty of Technology. With a PhD in Building Technology completed in 2018, Dr. Hu has established a research program focused on improving machine strength grading of structural timber through advanced analysis of fiber orientation and local bending stiffness related to knots in sawn timber. Dr. Hu's research interests center on timber engineering, wood mechanics, and structural analysis, with particular expertise in non-destructive testing methods including laser scanning and X-ray computed tomography. Their work bridges computational modeling with practical applications in wood construction, developing sophisticated models to predict mechanical properties of timber based on internal structure. The publication record demonstrates a consistent focus on understanding fiber orientation in Norway spruce and other timber species, with recent work expanding into Cross-Laminated Timber (CLT) applications. The research shows progression from fundamental studies of wood microstructure to practical engineering applications for improving timber grading and construction systems. Dr. Hu actively supervises bachelor's and master's degree projects while teaching courses in Structural Mechanics, Construction Technology, and the Finite Element Method. Their pedagogical approach emphasizes creating an encouraging environment that conveys the joy of learning and inspires critical thinking. Department of Building Technology Faculty of Technology Linnaeus University Dr. Hu leads research within multiple collaborative frameworks including the Linnaeus University Centre for Competitive Timber Structures (Lnuc TiSt) and participates in several ongoing research projects focused on sustainable wood construction, detection of internal timber properties, and improving CLT-based building systems through engineering design.

Emma Söderbergمشاهده پروفایل

مدرس ارشد

• Software Engineering
• Human-Computer Interaction
• Programming Tools
• +۴ مورد دیگر

Emma Söderberg is a Senior Lecturer in the Department of Computer Science at Lund University's Faculty of Engineering with key roles as Project Manager for ELLIIT (Linköping-Lund IT initiative), Coordinator of the LTH AI and Digitalization Profile Area, and Researcher in the NEXTG2COM competence centre. She earned her academic credentials from Lund University: M.Sc. (2007), Licentiate (2011), and Ph.D. (2013) in Computer Science and Engineering, with doctoral research on semantic editors using reference attribute grammars. After a Google tenure (2013-2018) developing Chromium infrastructure, she returned to Lund to pioneer human-centered software engineering research. Her work focuses on the intersection of programming tools, software engineering, and human-computer interaction, specifically how tools can support human needs in development workflows. Recent investigations examine cognitive aspects of code review, AI augmentation (not replacement) of developer judgment, and gamification for tool feedback collection. Analysis of her 2025 publications reveals a cohesive research trajectory centered on developer behavior modeling—spanning cognitive code review frameworks, AI-supported quality assurance, educational program analysis applications, and gamified static analysis feedback systems—all emphasizing human-tool symbiosis over full automation. She actively supervises four PhD candidates: N. Korkakakis on continuous automotive software engineering (CASE-SDV) N. Hagatulah on safeguards for LLM-assisted refactoring (REFORGE) P. Palesetti on AI-driven DevOps for cyber-physical systems A. Bexell on semi-automatic code improvement (SACI) Her leadership extends to organizing NEXTG2COM workshops, delivering industry outreach talks (e.g., 'This thing called programming & AI and programming'), and contributing to UN Sustainable Development Goals through software engineering advancements. Current projects funded through 2030 address critical challenges in automotive software and AI-enhanced development environments.

Ulf Kargénمشاهده پروفایل

استادیار

• Information Security
• Systems Security
• Software Security
• +۴ مورد دیگر

Ulf Kargén is an Assistant Professor at Linköping University's Department of Computer and Information Science (IDA). His research focuses on information security, particularly systems and software security, with an emphasis on dynamic analysis of binary-code programs. He is a PhD student under the supervision of Professor Nahid Shahmehri, exploring topics such as scalable dynamic analysis methods and security flaw detection in software. He leads courses in software security (TDDC90) and information security (TDDD17) at Linköping University. His work includes developing tools like desync-cc for program obfuscation and analyzing Android app decompilation performance. He is part of the Security and Networks Group at ADIT, which emphasizes secure and reliable information systems. Key research areas include code obfuscation detection, malware analysis, and empirical studies of decompiler effectiveness. His publications span topics like autonomous vehicle compliance testing, binary code analysis, and compiler-level security mechanisms.

Björn Lisperمشاهده پروفایل

استاد

• Computer Science
• Software Engineering
• Real-Time Systems
• +۵ مورد دیگر

Björn Lisper is a Professor at Mälardalen University, Sweden, affiliated with the School of Innovation, Design and Engineering and the Division of Computer Science and Software Engineering. His research focuses on formal methods, real-time systems, embedded software, static analysis, and high-level synthesis. He has contributed to advancements in WCET analysis, machine learning applications in testing, and compiler optimization techniques. His work emphasizes practical industrial applications, particularly in automotive and multi-core systems. Research Interests: Real-Time Systems & WCET Analysis Static Program Analysis High-Level Synthesis for FPGAs Machine Learning in Software Testing Formal Methods & Verification Embedded Systems Design Publications span topics like neural network accelerators, automated testing frameworks, and compiler optimizations, reflecting a blend of theoretical and applied computer science. His work is characterized by collaboration between academia and industry to bridge gaps in embedded software predictability and performance.

Bruno Kreyssigمشاهده پروفایل

پژوهشگر

• Software Engineering
• Cybersecurity
• Programming Languages
• +۳ مورد دیگر

Bruno Kreyssig is a Researcher at Umeå University's Department of Computing Science, based in the MIT-huset building (MIT.B.271), Umeå, Sweden. Research Interests: Bruno focuses on Software Engineering and Cybersecurity , particularly in Java applications . His work investigates the prerequisites for deserialization vulnerabilities, contributing to secure software development practices. Publications: His recent work, Analyzing prerequisites of known deserialization vulnerabilities on Java applications , presented at EASE '24 (2024), highlights his expertise in programming languages, static code analysis, and application security. Affiliations: Bruno is a member of the Software Engineering and Security research group at Umeå University.

David Bromanمشاهده پروفایل

استاد

• Programming Languages and Compilers
• Real-Time Systems and Cyber-Physical Systems
• Probabilistic Machine Learning
• +۲ مورد دیگر

David Broman is a Professor at KTH Royal Institute of Technology in Sweden, leading the Division of Software and Computer Systems (SCS) and serving as Associate Director Faculty for Digital Futures. He holds a Ph.D. in Computer Science from Linköping University (2010), with visiting roles at UC Berkeley (2012–2016) and Stanford University (2023–2024). His research spans programming languages, real-time systems, and probabilistic machine learning, emphasizing secure and efficient compilation techniques. Education: Ph.D. in Computer Science (Linköping University, 2010) Visiting Roles: UC Berkeley (2012–2014 part-time), Stanford University (2023–2024) Research Interests: David focuses on advancing programming language theory, compilers, and probabilistic methods. Key areas include transformer-based compilation, cyber-physical systems, and formal verification. His work bridges theory and practice, addressing challenges in software reliability and efficiency. Awards: Notable recognitions include the Best ETAPS Paper Award (2023), Distinguished Artifact Award (ESOP 2022), and Teacher of the Year (KTH 2017). His contributions also include grants from the Swedish Foundation for Strategic Research and Wallenberg AI, Autonomous Systems and Software Program (WASP). Advising & Grants: David mentors graduate students (e.g., Gizem Caylak, Viktor Palmkvist) and leads projects funded by WASP, focusing on next-generation compilation techniques. He also contributed to tools like Miking, Timed C, and FlexPRET. Labs & Teams: His team develops frameworks for probabilistic programming and real-time systems, emphasizing collaboration with industry and academia through initiatives like Digital Futures at KTH.

Markus Borgمشاهده پروفایل

مدرس ارشد

• Software Engineering
• Artificial Intelligence
• Requirement Engineering
• +۵ مورد دیگر

Dr. Markus Borg is an Adjunct Senior Lecturer at the Department of Computer Science, Lund University, and a Principal Researcher at CodeScene. He specializes in software engineering and applied artificial intelligence, with affiliations to the Software Engineering Research Group, LTH Profile Area for AI and Digitalization, and ELLIIT. His roles include project management and supervision within initiatives like the NEXTG2COM Competence Centre. Research focuses on software engineering, AI compliance, requirement engineering, and developer happiness. He contributes to Empirical Software Engineering and IEEE Software . Recent work addresses AI Act compliance challenges, gamification in software tools, and organizational resilience. Received the Best Paper Award in 2015. Leads projects like REFORGE (LLM-assisted refactoring safeguards) and Continuous Quality Assurance for Trustworthy AI. Active in organizing workshops/seminars on AI-assisted development and developer happiness. His research spans 76 publications and involves collaborations across academia and industry.

Emre Sürenمشاهده پروفایل

پژوهشگر

• LLM Security
• IoT Hacking
• Cyber Threat Intelligence
• +۶ مورد دیگر

Dr. Emre Süren serves as a Researcher at KTH Royal Institute of Technology within the Division of Network and Systems Engineering and concurrently leads Cybercampus Sweden's Royal Hacking Lab as its Head. His dual roles position him at the forefront of national cybersecurity research with extensive collaborations across EU Horizon projects, Swedish government entities, and international academic institutions. His research spans critical domains including LLM security, IoT hacking, cyber threat intelligence, and digital forensics, with particular emphasis on AI-driven vulnerability research. Current work focuses on developing frameworks like CORTEX for AI-enhanced threat intelligence and Applied VORTEX for AI-based vulnerability discovery, supported by substantial grants from Vinnova, Swedish Research Council, and EU Horizon programs. Dr. Süren's publication portfolio demonstrates consistent innovation in security research, with recent articles exploring procedural generation for power systems security, penetration testing methodologies for connected households, and practical IoT threat research frameworks. His work increasingly integrates AI/ML techniques to address evolving cybersecurity challenges, particularly in zero-day exploit detection and IoT security. National Academic Infrastructure for Supercomputing grants (NAISS) for LLM-based threat intelligence EU Horizon funding for DFIRent (AI-assisted digital forensics) Swedish Research Council funding for Applied VORTEX (5.7M SEK) Digital Futures funding for CORTEX (3M SEK) Vinnova Cybercampus grant (17.5M SEK total) As an active educator, he supervises numerous PhD and Master's students on projects ranging from mobile application security to AI-powered honeypot architectures. His technical committee service includes NordSec, DFIR Review, and IEEE Security & Privacy, while his practical contributions include open-source tools like Memotopsy (memory forensics) and PatrIoT (IoT vulnerability research methodology).

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

Cristian Bogdan is a Professor at KTH Royal Institute of Technology, Stockholm, within the Media Technology and Interaction Design division. His work focuses on human-computer interaction, interaction design, and human-centered software engineering, with the goal of making complex technologies accessible and actionable for people. Education & Courses: While explicit degrees are not listed, Bogdan has extensive teaching responsibilities. He is the examiner for seven advanced-level degree-project courses and teaches or coordinates courses such as Advanced Interaction Programming (DH2643) , Interaction Programming and Dynamic Web (DH2642) , and Software Development for Interactive Media (DM1595) . He founded the course DH2400 Physical Interaction Design and Realization . Research Interests: Bogdan’s research integrates human-computer interaction with sustainable design , virtual and mixed reality , and programming education . He explores how embodied interaction, sonic feedback, and declarative models can create intuitive systems for domains ranging from energy sustainability to public transport and clinical therapy. Publications Trend: His recent articles (2020-2025) reveal a concentration on virtual and mixed reality applications —including locomotion techniques, exposure therapy, and block-based programming in VR—alongside software engineering topics such as dependency bloat and cross-platform frameworks. Sustainability themes appear in studies on energy feedback and inclusive transport. Advising & Grants: Since 2006 he has graduated five PhD students (Kis, Hasselqvist, Rauh, Koller, Hedlund) and co-supervised two others (Sandor, Lundström). Grant details are not disclosed in the supplied text. Labs & Teams: He is affiliated with the MID division (Media Technology and Interaction Design) at KTH, but specific lab names or larger team structures are not provided.

• Ergonomics
• Work Environment
• Risk Management
• +۴ مورد دیگر

Linda Rose is an Associate Professor in the Division of Ergonomics at KTH Royal Institute of Technology. Her work focuses on developing tools, methods, and systems to minimize injury risks at work through participatory approaches with users and companies. She has been active in ergonomics research since the late 1980s, working from both individual perspectives (safety, health, usability) and systems perspectives (productivity, quality, economy). Her research interests center on developing models and methods for ergonomic improvements. This includes modeling physical reactions to understand correlations between physical load, recovery needs, injury risks, and productivity; risk evaluation and management methods for identifying and assessing injury risks; and work environment economics models that consider economic consequences of work environments. She has a strong interest in product development with ergonomic focus and in education and pedagogy. Professor Rose's recent publications show a clear trend toward developing and validating the RAMP (Risk Assessment and Management tool for Manual handling Proactively) system, which has become a central focus of her work. Her research spans multiple industries including construction, maritime, manufacturing, and home environments, with particular emphasis on musculoskeletal disorder prevention, risk management methodologies, and demonstrating the economic value of good ergonomics. As an educator, she teaches and is course responsible for multiple courses including Ergonomics in Product Development, Planning and Design of Physical Work Environments, and the RAMP series of courses focused on risk assessment and management of work-related injuries. She serves as examiner for degree projects in Technology, Work and Health.

Philipp Hallerمشاهده پروفایل

دانشیار

• Programming Languages
• Type Systems
• Concurrency
• +۱۱ مورد دیگر

Philipp Haller is an Associate Professor in the Department of Computer Science at KTH Royal Institute of Technology, affiliated with the Theoretical Computer Science Group, Digital Futures, and WASP. He holds a PhD from EPFL (2010) and has held research positions at Stanford and EPFL, and industry roles at Typesafe Inc. Research Interests: His work centers on programming language design, concurrency (especially actor and futures models), distributed programming, type systems, and serverless computing. He is a leading contributor to the Scala language, having co-created its async/await syntax and futures library. His recent research includes the Portals framework for stateful serverless applications and formal models for consistency and concurrency safety. Publication Trends: His recent work (2020–2024) shows a strong focus on safe and scalable concurrency, stateful serverless systems, formal verification of language features, and distributed data consistency. He frequently publishes in top venues like ECOOP, OOPSLA, and PLDI, often combining theory with practical implementations in Scala. 2019 ACM SIGPLAN Programming Languages Software Award (for Scala) 2017 Teacher of the Year, EECS, KTH Advising and Grants: He supervises PhD students including Jonas Spenger, Xin Zhao, and Viktor Palmkvist. He led the Software Development Academy, a reskilling program for immigrants funded by the Wallenberg Foundations. He actively participates in academic service, co-chairing workshops like PLACES and AGERE!, and serving on program committees for OOPSLA, ECOOP, and POPL. Labs and Teams: He is part of the Theoretical Computer Science Group at KTH and leads research related to the Portals framework, which unifies dataflow and actor models for edge and serverless computing.