جستجوی استاد راهنمای دانشگاهی

David Sands is a Professor of Computer Science at Chalmers University of Technology in Sweden since 2001, leading the ProSec research group (Programming Language Based Methods for Security). His work bridges Programming Languages and Computer Security through formal methods and program analysis. He earned his PhD from Imperial College London in 1990 and maintains active roles in academic governance including Co-director of Chalmers Area of Advance ICT and former Chairman (2011-2013) of Sweden's Science Council Computer Science evaluation panel. Research Focus: Professor Sands specializes in language-based security mechanisms, developing programming language techniques to solve critical security challenges. His group pioneers formal verification methods for secure systems and program analysis frameworks that detect vulnerabilities at compile time. Professional Leadership: As a sought-after expert, he has served on program committees for premier conferences including POPL, ESOP, and IEEE Security & Privacy. His keynote addresses at ESORICS 2009, NORDSEC 2014, and ETAPS 2011 highlight his influence in security foundations. Academic Mentorship: Current PhD Students: Hamid Ebadi Bart van Delft Former PhD Students: Johan Agat Andrei Sabelfeld Jörgen Gustavsson Stefan Axelsson Karol Ostrovsky Josef Svenningsson Daniel Hedin Tobias Gedell Niklas Broberg Phu H Phung Filippo Del Tedesco Research Infrastructure: He directs the ProSec group's operations from Room 5474 in Chalmers' EDIT building, coordinating international collaborations through Chalmers' Department of Computer Science and Engineering.

• Programming Languages
• Computer Security
• Software Security
• +۲ مورد دیگر

Mats Brorsson is a Professor at the Division of Software and Computer Systems , KTH Royal Institute of Technology. His research spans multiple areas of computer architecture and parallel computing, with a focus on system software, energy-aware architectures, and performance debugging tools. He is actively involved in projects like the PaPP ARTEMIS collaboration and coordinates the KTH-SICS Scalable Computing Systems initiative. Research Interests : Mats Brorsson's work primarily addresses parallel computing , task-based programming models (e.g., OpenMP), and energy-efficient computer architectures . He has made significant contributions to NUMA system optimization , work-stealing schedulers , and runtime systems for high-performance computing. Professional Activities : Mats Brorsson serves as coordinator for the PaPP ARTEMIS project and is a member of the KTH-SICS Collaboration in Scalable Computing Systems. His publications reflect deep engagement with task scheduling , cache coherence protocols , and adaptive resource management for parallel systems.

• Parallel Computing
• Programming Models
• System Software
• +۳ مورد دیگر

Welf Löwe is a资深 researcher and faculty member at Linnaeus University's Faculty of Technology, Department of Computer Science and Media Technology, and also teaches at Linköping University's Department of Computer and Information Science. His research focuses on data-intensive technologies, software metrics, design pattern detection, and context-aware systems. He leads the Data Intensive Software Technologies and Applications (DISTA) group and contributes to the Linnaeus University Centre for Data Intensive Sciences and Applications (DISA). He actively collaborates on projects like the Data Intensive Applications (DIA) graduate school and the High-Performance Computing Center (HPCC). His work spans machine learning applications in healthcare, forestry, and industrial automation. Recent research includes feature engineering in medical data, skeleton avatar technology for aging studies, and AI-driven diagnostics. He has authored over 150 peer-reviewed publications and participates in interdisciplinary initiatives such as the iSchool project.

• Data-Intensive Technologies
• Software Engineering
• Machine Learning
• +۵ مورد دیگر

Kajsa Falasca is a University Lecturer and Senior Lecturer in Media and Communication Science at Mid Sweden University, affiliated with the DEMICOM research center and the Department of Communication, Quality Technology and Information Systems (KKI). Her research focuses on strategic political communication in modern media environments, particularly how election campaigns leverage digital platforms and how media shapes political discourse. She teaches courses on strategic political communication, scientific methodology, and academic writing at undergraduate and master's levels, while also providing lectures to authorities and organizations on media's role in democracy. Her scientific work spans journal articles, book chapters, and conference papers analyzing media effects, election strategies, and the evolving relationship between political actors and journalists. Her recent publications explore topics like digital political labor, media repertoires' impact on participation, and framing of crises. She is a frequent media commentator and co-editor of the Snabbtänkt series, which provides expert reflections on Swedish and European elections.

• Political Communication
• Media and Communication Sciences
• Social Media Strategies
• +۴ مورد دیگر

Terry Walker is a Professor of English Linguistics at Mid Sweden University's Department of Humanities and Social Sciences. He holds a PhD in English Linguistics (2005) from Uppsala University, where he contributed to the A Corpus of English Dialogues 1560–1760 project. His research focuses on historical linguistics, corpus studies, and speech-related texts from the early modern period. Education: PhD (Uppsala University, 2005); BA in History (University of East Anglia, 1983) Collaborators: Prof. Merja Kytö (Uppsala), Prof. Peter J. Grund (Yale), Assoc. Prof. Rachel Allan (Mid Sweden University) His work includes the edition An Electronic Text Edition of Depositions 1560–1760 , analyzing linguistic standardization processes in historical corpora. Recent research examines speech representation in early modern English legal texts, resulting in publications in Journal of Historical Pragmatics and Langages . Walker co-edits the Nordic Journal of English Studies since 2021 and organizes academic symposia like Incorporating Corpora in Teaching (2020). He has supervised four doctoral students and contributed chapters to major projects like The New Cambridge History of the English Language (forthcoming 2024). Walker's teaching spans English language education, corpus linguistics, and historical pragmatics at undergraduate and graduate levels. His editorial projects include co-editing special issues on data-driven learning (2023) and medical humanities (2022) for the Nordic Journal of English Studies .

• Corpus linguistics
• Language history
• Philology
• +۳ مورد دیگر

Lu Liu is an Assistant Professor in Finance at Stockholm Business School, Stockholm University, with a focus on climate and sustainable finance, social and economic networks, and household finance. She is affiliated with the Emerging Markets Cross-Cultural Research Group , which studies emerging markets using interdisciplinary methods. Her research interests include: Climate and sustainable finance Corporate and social networks International finance Household finance Her recent publications analyze trends in: Corporate environmental actions driven by competitive pressure (2025) Propagation of environmental performance in corporate networks (2024) Institutional quality's role in stock market participation (2024) Learning channels' impact on financial decisions (2022) Cross-border asset holdings' influence on bond markets (2018) She teaches Advanced Financial Empirical Research in the Master's program. Her methodological approach combines spatial econometrics and network analysis to study financial phenomena.

• Finance
• Climate and Sustainable Finance
• Social and Economic Networks
• +۴ مورد دیگر

Kristian Niemi is a Lecturer at Karlstad University, Sweden, specializing in Religious Education and the History of Religions. He holds a PhD in Religious Didactics and is certified as an upper secondary school teacher in Religion and Philosophy. His research focuses on international religious education systems, particularly comparing Swedish and Indian contexts, and explores themes such as religious literacy, multicultural education, and the interplay between secular and religious aspects in school curricula. He actively participates in interdisciplinary collaborations including the Comparative Studies in Didactics (CSD) and Religious and Social Education (ROSE) at Karlstad University. Niemi is a member of the National Forum for Research in Religious Education/Pedagogy (NFR), the Swedish Society for the History of Religions (SSRF), and international networks like the International Seminar for Religion and Values (ISREV) and the Nordic Conference on Religion and Education (NCRE). Niemi's work emphasizes comparative studies, having published extensively on India's religious education framework, threshold concepts in religious studies, and methodological approaches to intercultural analysis. His recent publications (2023-2025) address topics like religious literacy in post-Lutheran societies, curriculum comparisons across Sweden, England, and Finland, and the role of space in religious education. He also contributes to pedagogical innovation through digital portfolio development in teacher education.

• Religious Education
• Comparative Religious Studies
• Indian Education Systems
• +۳ مورد دیگر

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.

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

Ulf Jansson is a Senior Lecturer at the Department of Human Geography, Stockholm University , specializing in historical geography, landscape history, and GIS applications. His work bridges agrarian history with modern data privacy concerns, focusing on Sweden’s rural landscapes from medieval to contemporary periods. Academic Affiliation: Stockholm University, KTH Royal Institute of Technology (collaboration) Research Focus: Historical GIS, Commons Management, Sustainable Agriculture Research Interests include the evolution of Swedish landscapes through field systems (1550-1750), the institutional geography of commons, and the use of cadastral maps to analyze agrarian management. He explores transitions in transport systems, biodiversity shifts, and the role of cartography in understanding historical land use. Key Projects encompass a 2021-2022 international Geoprivacy initiative, the 2013-2016 Historical Transport GIS project, and long-term studies on 20th-century agricultural-forestry transitions. He co-edited the 2005 book Bruka, odla, hävda – Odlingssystem och uthålligt jordbruk under 400 år . Teaching spans historical geography, GIS, and cartography at various academic levels, including courses like Society and Space and GIS in Human Geography . His publications cover topics from medieval deserted farms to modern geospatial data ethics.

• Historical Geography
• Landscape History
• GIS Applications
• +۵ مورد دیگر

Johan Boye is an Associate Professor at the School of Electrical Engineering and Computer Science at KTH Royal Institute of Technology, part of the Speech, Music, and Hearing department. He leads the SWE-QUEST project, developing automated question generation for Swedish language education, funded by Vinnova and Digital Futures. His research focuses on dialogue systems, natural language processing, and spatial language understanding, with applications in education, robotics, and human-computer interaction. Education background includes a docent title (Swedish associate professor) and extensive academic experience. He has supervised over 20 master’s and PhD theses in NLP and AI, with recent topics including large language models, coreference resolution, and multimodal retrieval systems. Teaching responsibilities include courses on language technology, search engines, and speech processing. His work spans cross-disciplinary collaborations with Stockholm University and RISE Research Institutes in the Digital Futures initiative, addressing societal challenges through digital innovation. Key projects include the SpaceBook EU project (2010–2014) exploring pedestrian navigation via dialogue systems and the NICE game (2005) for child-computer interaction. Research outputs include over 50 peer-reviewed publications in journals like the Journal of Natural Language Engineering and conferences such as ACL and SIGDIAL. He maintains active roles in academic service, including editorial work and program committees for NLP conferences. His lab develops tools like Textinator for NLP evaluation and UDon2 for dependency tree manipulation, emphasizing open-source contributions to the research community.

• Natural Language Processing
• Spoken Dialogue Systems
• Multimodal Dialogue Systems
• +۶ مورد دیگر

Magnus Myreen is a Professor in the Department of Computer Science and Engineering at Chalmers University of Technology, where he leads research in program verification, interactive theorem proving, and verified software systems. He previously held a prestigious Royal Society University Research Fellowship at the University of Cambridge. Chalmers University of Technology — Professor (2023–present), Associate Professor (2015–2023) University of Cambridge — Royal Society Research Fellow (2012–2018) His research focuses on making formal verification practical and scalable, particularly through the CakeML project—a fully verified ML-style language with a bootstrapped compiler. He develops techniques in decompilation into logic, proof-producing synthesis, and verified runtimes for theorem provers like Milawa and HOL Light. His recent publications span top venues such as POPL, PLDI, ITP, and CAV, with a strong emphasis on verified compilation, compiler optimizations, and connecting verified components into larger systems (e.g., seL4 + CakeML). The work consistently targets real-world applicability and reduction of trusted computing bases. ACM SIGPLAN Most Influential POPL Paper Award (2014) BCS Distinguished Dissertation Competition Winner (2010) Amazon Research Award (2023) Royal Society University Research Fellowship Magnus has advised several PhD students including Oskar Abrahamsson, Alejandro Gomez, and Andreas Loow. His research has been funded by the Swedish Research Council and EPSRC. He is currently chair of the ITP steering committee and frequently serves on program committees for ITP, CPP, PLDI, and related conferences. He has led major collaborative efforts to connect verified systems, such as extending the seL4 microkernel verification down to machine code and proving the soundness of the Milawa theorem prover down to x86 machine code. He also works on verified synthesis of hardware and formal semantics of multiprocessor architectures.

• Program Verification
• Interactive Theorem Proving
• Formal Methods
• +۸ مورد دیگر

Henrik Kaatari is a Senior Lecturer in the Department of English at the University of Gävle . His research focuses on corpus linguistics , language learning , and formality in academic writing , with particular interests in grammatical variation , syntactic complexity , and the impact of extramural English (EE) activities on L2 writing development. Current Project : Principal Investigator of the ComplEExity Project (RJ P23-0437), funded by the Bank of Sweden Tercentenary Foundation, investigating EE's impact on Swedish secondary students' L2 writing. Research Areas : Lexical complexity, register variation, phraseology, and self-initiated language learning. His recent publications analyze the relationship between extramural exposure (e.g., gaming, YouTube) and improvements in lexical diversity and grammatical complexity. Using the Swedish Learner English Corpus , Kaatari employs cross-sectional designs and complexity measures to assess writing development across lexis, phraseology, and grammar. His work has practical implications for English pedagogy in Swedish schools.

• Corpus Linguistics
• Language Learning
• Grammatical Variation
• +۳ مورد دیگر

Annalotta Dessen Jankell is a part-time lecturer at Stockholm University’s Department of Teaching and Learning , where she focuses on geography education. She recently completed her PhD in November 2023 with the thesis Understand reality as systems , exploring systems thinking in geography education and its role in developing students' understanding of complex sustainability issues such as climate change and global consumption patterns. Currently, she teaches geography, biology, and science at a Stockholm upper secondary school while dedicating half her time to university projects and teacher training. Education: PhD in Geography Education (2023, Stockholm University) Research Interests: Systems thinking, sustainability education, didactic modeling, and integration of Learning Activity frameworks in geography teaching Her work has produced several publications and didactic models, including the connection web methodology for analyzing human-nature systems. She emphasizes the importance of making abstract sustainability concepts tangible through educational design, aligning with UN recommendations for systems thinking as a key competence. Key Publications: System Geographical Webbing (2021), Tankaredskap som stöd för geografiundervisning (2020), and Organising concepts in geography education: a model (2020).

• Geography Education
• Systems Thinking
• Sustainable Development
• +۳ مورد دیگر

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.

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

Senior Lecturer Daniel Sjölie is affiliated with the Department of 3D and Immersive Media at University West. His work spans academic publishing, conference organization (e.g., ACM VRST 2017), and contributions to Open Lab initiatives. He focuses on integrating immersive technologies with real-world data for urban sustainability, environmental analysis, and education solutions. Key areas include VR applications in welding training, procedural visualization for digital twins, and neurocognitive studies of presence in virtual environments. His research interests combine computer science, environmental science, and cognitive neuroscience. He explores how VR can enhance distance education, visualize invisible environmental data, and address urban air quality challenges through airflow modeling. Additionally, he investigates the neurological underpinnings of presence disruption and substance effects on VR experiences. Recent publications (2024–2013) highlight trends in urban digital twin development, environmental data visualization, and immersive education. Earlier work includes foundational studies on EEG-based presence measurement and spatial memory neurocognition. No scientific awards are explicitly listed in the provided texts. Advising and grants details are not mentioned, but his involvement in student projects and Open Lab collaborations suggests active engagement in academic mentorship. He is part of teams focused on virtual reality software, procedural modeling, and interdisciplinary urban research. Labs and teams include the Open Lab at University West, where he contributes to projects blending immersive media with practical applications in urban planning and education. His research also connects with the SIGRAD conference and ACM VRST communities.

• Virtual Reality
• Immersive Media
• Urban Planning
• +۴ مورد دیگر