Programming Language Foundations Professors and Supervisors in Germany | ApplySharif

Active facets:

Find Academic Supervisors

Find and connect with academic supervisors, professors, and scholars for your research journey.

Showing 46-60 of 1,092 supervisors

Profile data may be stale. It is sourced from public faculty pages.

Ori LahavView profile

Associate Professor

Max Planck Institute for Software SystemsGermany

Ori Lahav is a faculty member in the School of Computer Science at Tel Aviv University. His research is generously supported by an ERC Starting Grant and an ISF Grant. He actively supervises PhD and MSc students, and seeks highly motivated candidates for postdoc, PhD, and MSc positions in programming language theory, concurrency, and formal methods. Dr. Lahav completed his PhD at Tel Aviv University under the supervision of Arnon Avron. In 2014, he was a postdoctoral researcher at Tel Aviv University hosted by Mooly Sagiv. From 2014 to September 2017, he was a postdoctoral researcher at MPI-SWS in Germany hosted by Viktor Vafeiadis and Derek Dreyer. His primary research areas focus on programming languages and verification, with specialization in concurrency and relaxed memory models. He also has significant interests in proof-theory, semantics of non-classical logics, and automated reasoning. His work bridges theoretical foundations with practical applications in programming language design and implementation. Dr. Lahav's publication record shows a consistent trajectory of high-impact research in top-tier conferences including PLDI, POPL, OOPSLA, and ESOP. His recent work (2023-2025) demonstrates continued leadership in memory models, concurrency semantics, and verification techniques. His research spans both theoretical contributions in denotational semantics and practical tools for verification. Best Paper Award DISC 2024 Best Student Paper Award DISC 2024 Distinguished Artifact Award ESOP 2022 Distinguished Paper Award OOPSLA 2021 Kleene Award for Best Student Paper LICS 2013 Dr. Lahav actively advises students including Yoav Ben Shimon, Yotam Dvir, Amir Karniel, and Roy Margalit (PhD students), Yuval Katsman Ezra (MSc student), and has alumni including Ori Saporta (MSc) and Abhishek Kr Singh (postdoc, now Assistant Professor at IIIT Hyderabad). He has organized significant events including VMCAI 2024 and Dagstuhl Seminars on persistent programming. His teaching portfolio includes courses on Shared Memory Concurrency Semantics, Programming Language Foundations, and Software Foundations in Coq.

Official University Profile

Julia SchlüterView profile

Professor

Otto Friedrich University of BambergGermany

Professor Julia Schlüter is a distinguished academic in the Chair of English Linguistics within the Humanities Faculty at the University of Bamberg, Germany. She has served as Senior Lecturer at the Chair of English Linguistics and Language History under Prof. Manfred Krug since June 2008, holding the title of Professor following her habilitation in 2008. Her institutional profile demonstrates deep commitment to both research and teaching innovation, particularly through her leadership of the KorPLUS project and development of open educational resources for corpus linguistics. Her research interests span corpus linguistics for English language learners, empirical methods for studying language variation and change, and the application of corpus methods to teaching. She specializes in examining grammatical, phonological, and lexical differences between British and American English across historical periods from Middle English to present-day usage. Her work investigates phonological variation (particularly phonotactically controlled alternations), morphological change, and syntactic variation through corpus analysis, with special attention to functional grammar and grammaticalization theory. Professor Schlüter's recent publications (2022-2025) reveal a strategic evolution in her research focus, with increasing emphasis on the intersection of corpus linguistics and digital education. While maintaining her foundational work in historical English linguistics, she has developed significant expertise in applying corpus methods to language teacher education and evaluating AI writing tools. Her work demonstrates consistent methodological innovation, moving from traditional corpus analysis to blended learning approaches and digital educational resource development. Her scientific recognition includes: Winner of the 2025 Teaching Innovation Prize from the International Society for the Linguistics of English for the KorPLUS project University of Bamberg Prize for outstanding habilitation (2009) Lise Meitner Programme post-doctoral scholarship (2005-2006) Rectorate Prize from University of Paderborn for outstanding Ph.D. thesis (2005) Multiple DAAD scholarships for international study Professor Schlüter actively supervises doctoral research, currently guiding three Ph.D. candidates (Katharina Deckert, Aklima Nahar, and Nikolai Beland) while having successfully completed supervision for several others. She leads the KorPLUS project (2021-2025), funded by the Stiftung Innovation in der Hochschullehre, which develops open educational resources for corpus linguistics. Her research has been consistently supported by the German Research Foundation (DFG) and other funding bodies throughout her career. She heads the KorPLUS team (with Carina Großmann and Katharina Deckert) which develops the interactive Open Educational Resource platform for corpus linguistics. Her YouTube channel offers video tutorials on corpus basics, and she has created the Video Podcast Series "How to Update your Grammar" for English teachers. She regularly organizes in-service teacher trainings and collaborates with the Virtual Linguistics Campus at RWTH Aachen University to deliver her educational materials globally.

Official University Profile

Birgit Ulrike MünchView profile

Professor

Rhenish Friedrich Wilhelm University of BonnGermany

Prof. Dr. Birgit Ulrike Münch serves as Professor of General Art History with focus on Dutch Art and Vice Rector for International Affairs at the University of Bonn's Faculty of Arts and Humanities. Her academic leadership includes directorship of the Institute of Art History (2018-2020) and membership in university-wide committees including the Faculty Council and Habilitation Commission. Her educational background encompasses Magistra Artium in Art History and Medieval/Modern History from Heidelberg University (1995-2003), with additional studies at Paris-Sorbonne and FU Berlin. Her doctoral dissertation Geteiltes Leid. Die Passion Christi in Bildern und Texten der Konfessionalisierung (2007, summa cum laude) and habilitation Jenseits der Académie: Studies on Alternative Art Publics in France and the Netherlands from 1450 to around 1815 (2016) established foundational contributions to Northern European art historiography. Münch's research spans Flemish, Dutch, German, and French art (15th-18th centuries), with pioneering work on genre painting genesis, proverb visualization, and illness representation. She investigates how emotions like existential anxiety shaped artistic production during crises such as the Reformation, and examines court dwarf agency through interdisciplinary collaborations. Recent projects analyze syphilis's impact on art and colonialism's representation in Dutch still lifes, demonstrating her commitment to methodological innovation at the intersection of art history and medical humanities. Her publication trajectory reveals increasing engagement with postcolonial frameworks, particularly in re-examining Northern European art's entanglement with slavery and dependency systems. The 2022-2025 works demonstrate sophisticated interdisciplinary approaches connecting visual culture with critical race theory, gender studies, and economic history. International Wolfgang-Ratjen Prize (2008) for research on graphic arts Nomination for DFG's Heinz Maier-Leibnitz Prize (2016) Senior Global Fellowship at University of St Andrews (2022) Membership in Comité International d'histoire de l'Art (CIHA) As Principal Investigator for the Bonn Center for Dependency and Slavery Studies (2020-present), she directs the project "Prostitution, Serfdom, Slavery: Picturing Female Dependencies in Early Modern Amsterdam." Her leadership in the GOTH Symposium and MeWo Mentoring Program for women at the Centre d'Excellence Denis Mukwege highlights commitment to gender equity. Major grants include DFG Excellence Cluster funding and BMBF research fellowships for collection recontextualization projects. She co-founded the Kunsthistorisches Forum Irsee (2014-2020), producing 7 edited volumes on premodern art communities. Current leadership includes the "Aby Warburg's Bonn Years" research group and the Crossroads project on Frankfurt's 16th-century art market with North American collaborators. Her curation of the "A Feast for the Eyes? Dutch Still Lifes in Detail" exhibition exemplifies her commitment to public scholarship and decolonial museum practices.

Official University Profile

Lionel C. BriandView profile

Professor

Max Planck Institute for Security and PrivacyGermany

Lionel C. Briand is a Professor of Software Engineering with shared appointments at the University of Luxembourg's SnT Centre for Security, Reliability, and Trust and the School of Electrical Engineering and Computer Science at the University of Ottawa. He holds a Canada Research Chair (Tier 1) in Intelligent Software Dependability and Compliance and serves as Director of Lero, Ireland's national software research center. His academic leadership spans over 25 years of collaborative research with industry partners across automotive, aerospace, energy, financial, and legal domains. Professor Briand's research focuses on software verification and validation, trustworthy AI systems, model-driven engineering, and empirical software engineering methodologies. His work bridges theoretical foundations with industrial applications, particularly in cyber-physical systems where machine learning components interact with safety-critical control systems. He has pioneered techniques for testing AI-enabled systems, GDPR compliance automation, and mutation analysis for space systems. His publication portfolio demonstrates consistent innovation in software testing, with recent emphasis on large language models for test generation, automated compliance checking, and safety analysis of deep neural networks. Key trends include black-box testing methodologies, metamorphic testing for security, and search-based approaches for DNN validation. IEEE Fellow and ACM Fellow IEEE Computer Society Harlan Mills Award (2012) ACM SIGSOFT Outstanding Research Award (2022) IEEE Reliability Society Engineer-of-the-Year Award (2013) ERC Advanced Grant recipient (2016) Fellow of the Academy of Science, Royal Society of Canada (2023) ICSE 2011 Most Influential Paper Award As Director of Lero and holder of a Canada Research Chair, Professor Briand leads major research initiatives including an ERC Advanced Grant on cyber-physical system modeling and testing. His industrial collaborations generate substantial grant funding, particularly in automotive safety validation and regulatory compliance automation. He mentors numerous researchers through his dual appointments and serves on program committees for top software engineering conferences. Professor Briand directs research activities at the SnT Centre's SVV department, focusing on software verification and validation. His team develops practical tools like MASS for space system mutation analysis and COREQQA for compliance requirements understanding, with strong industry adoption in automotive and aerospace sectors.

Official University Profile

Tej ChajedView profile

Assistant Professor

Max Planck Institute for Security and PrivacyGermany

Tej Chajed is an Assistant Professor in the Department of Computer Science at the University of Wisconsin-Madison, where he conducts research in formal verification of systems software. His work focuses on building and proving the correctness of critical systems, particularly file systems and concurrent software. Dr. Chajed earned his PhD from MIT in the PDOS group, followed by a one-year postdoc at VMware Research before joining UW-Madison. His academic journey reflects a strong commitment to bridging theoretical formal methods with practical systems implementation. Chajed's research centers on formal verification techniques for systems software, with particular emphasis on concurrent and crash-safe systems . His work aims to eliminate bugs in critical software through mathematical proofs of correctness. Key contributions include DaisyNFS (a verified concurrent file system), the Perennial framework for reasoning about crash safety, and Goose for connecting proofs to Go code. His research spans the intersection of programming languages, operating systems, and formal methods, developing practical tools that bring verification to real-world systems. His recent publications demonstrate a consistent trajectory toward more practical and scalable verification techniques for increasingly complex systems. The research shows progression from foundational verification frameworks to applied work on specific systems like file systems, journaling, and distributed protocols. A notable trend is the focus on making verification more accessible and practical for systems developers, bridging the gap between theoretical formal methods and real-world software engineering. Dr. Chajed serves on numerous program committees including OSDI 2025 PC, PLDI 2024 PC, SySDW 2023 PC, ECOOP 2023 ERC, CPP 2023 PC, POPL 2023 PC, PLDI 2022 PC, POPL 2022 AEC, EuroDW 2021 PC, POPL 2021 AEC, PLDI 2020 AEC, POPL 2020 AEC, and SOSP 2019 AEC, reflecting his standing in the systems and programming languages research community. In teaching, Chajed has developed and instructed courses on systems verification, operating systems, and protocol verification. He previously helped create MIT's 6.826 (Principles of Computer Systems) during his PhD. His passion for technical communication was cultivated during his time as a Communication Fellow in the EECS Communication Lab at MIT, where he continues to offer guidance to students on writing and presentation skills. His research group at UW-Madison focuses on advancing the state of the art in systems verification, with current projects centered around practical verification frameworks for concurrent and crash-safe systems.

Official University Profile

Allison SullivanView profile

Assistant Professor

Max Planck Institute for Security and PrivacyGermany

Allison Sullivan is an Assistant Professor of Computer Science at the University of Texas at Arlington (UTA), where she also serves as the Undergraduate Software Engineering Program Director. She is a member of the Software Engineering Research Center (SERC) at UTA and serves as faculty advisor for UTA's Society of Women Engineers (SWE) club. Dr. Sullivan received her PhD in Software Verification, Validation and Testing (SVVAT) from the University of Texas at Austin in 2017 under Sarfraz Khurshid. Her educational background includes: PhD in Software Verification, Validation and Testing, University of Texas at Austin (2017) M.S. in Software Engineering, University of Texas at Austin (2014) B.S. in Software Engineering, University of Texas at Dallas (2012) Dr. Sullivan's research focuses on two primary areas: Automated Software Engineering : Test/Oracle Generation, Automated Bug Localization and Repair, Mutation Testing, and Regression Testing Formal Methods and Programming Languages : Abstractions, Finite Model Finders, Program Synthesis, and SAT/SMT Solvers She leads the SCOPE lab which focuses on 'showing the correctness of all program executions' and has published extensively on Alloy modeling language applications. Her recent publications demonstrate a strong focus on applying formal methods to software engineering problems, with a growing emphasis on the intersection of large language models and software development practices. Her work spans theoretical foundations, tool development, and empirical studies of how developers use modeling languages. Her scientific achievements have been recognized with: NSF CAREER Award (2024) UTA CSE department Rising Star Research Award (2024) UTA College of Engineering Outstanding Early Career Faculty Award (2025) NSF grant for building an educational tool for software modeling ($400k) Dr. Sullivan has successfully advised two PhD students to completion: Dr. Ana Jovanovic (defended November 2024) and Dr. Anahita Samadi (defended February 2025). She actively mentors undergraduate researchers and has secured significant research funding including the NSF CAREER grant. Her service includes committee roles for major conferences including ASE, ISSRE, and FormaliSE. She leads the SCOPE lab at UTA, which brings together graduate and undergraduate researchers to develop techniques for improving software verification and validation, with particular emphasis on making formal methods more accessible to practitioners.

Official University Profile

Martin HeppView profile

Professor

Saarland UniversityGermany

Martin Hepp is Professor of Web Science and Digitalization at the Universität der Bundeswehr Munich, where he leads the E-Business and Web Science Research Group. He is also CEO and Chief Scientist of Hepp Research GmbH, a consultancy firm specializing in semantic technologies, GoodRelations, and schema.org. He has held academic positions at the University of Innsbruck, Florida Gulf Mexico University, and DERI Innsbruck, and has been a visiting scientist at IBM Research and Boston University. Education: Habilitation in Information Systems, University of Würzburg, 2005–2008 PhD in Management Information Systems, University of Würzburg, 2000–2003 (Summa Cum Laude) Diplom-Kaufmann (M.B.A.), Business Administration and Management, University of Würzburg, 1997–1999 Vordiplom, Business Administration and Management, University of Würzburg, 1994–1997 His research centers on shared data structures at web scale, particularly ontology engineering and semantic interoperability in e-commerce. He is best known for creating GoodRelations , an OWL DL ontology for e-commerce that became the official e-commerce core of schema.org in November 2012. His other major projects include the Product Types Ontology, OPDM (Ontology-based Product Data Management), and the Automotive Ontology Working Group. He has developed methodologies such as GenTax for deriving ontologies from taxonomies and advocates for community-driven ontology development. His recent publications explore foundational issues in ontology design and the future of web communication, reflecting a blend of technical innovation and philosophical inquiry. These works highlight trends in semantic technologies, particularly their application in real-world business systems and ethical dimensions of digital interaction. Scientific Awards: Linked Data-a-thon Award (4th prize), ISWC 2009 ACM Senior Member (2009) 2nd place, FIT-IT Research Proposal Award (2007) Dissertation Award, Alcatel SEL Foundation (2004) Dissertation Award, Unterfränkische Gedenkjahrstiftung (2004) Summa cum laude, University of Würzburg (2003) Prof. Hepp has supervised numerous research projects funded by the European Commission, BMBF, FFG/BMVIT, and others, including MUSING, SUPER, myOntology, and OPDM. He has been an active member of over 60 conference program committees, including ISWC, ESWC, WWW, and ECIS, and has chaired workshops and tracks on semantic web topics. He serves or has served on editorial boards of journals such as the International Journal on Semantic Web and Information Systems (IJSWIS). He leads several research labs and teams, including the E-Business and Web Science Research Group at Universität der Bundeswehr Munich, and has contributed to open-source projects such as SKOS2GenTax, myClassify, and eClassOWL. His work bridges academic research and industry application through Hepp Research GmbH and collaborative initiatives like the Automotive Ontology Working Group.

Official University Profile

Alina RoitbergView profile

Assistant Professor

University of StuttgartGermany

Alina Roitberg is a Junior Professor (Assistant Professor) at the University of Stuttgart , affiliated with the Faculty of Computer Science, Electrical Engineering and Information Technology . Her research focuses on advancing computer vision, machine learning, and robotics applications, particularly in human activity recognition, domain adaptation, and synthetic data generation. She explores challenges in action understanding, cross-domain generalization, and real-world deployment of AI systems in fields like healthcare, autonomous vehicles, and industrial automation. Her work emphasizes robust learning under noisy conditions, multimodal data fusion, and ethical AI applications. Recent projects include foundational studies on large language models in construction (AEC), video-based muscle group estimation, and improving driver activity recognition for autonomous vehicles. She also investigates circular factory design through uncertainty-aware process optimization and human-robot interaction. Dr. Roitberg's contributions span academic publications and industrial collaborations, addressing both theoretical advancements and practical implementations. Her research bridges computer vision techniques with real-world problems, emphasizing scalability and ethical considerations in AI deployment.

Official University Profile

Jiří MurycView profile

Researcher

Humboldt UniversityGermany

Jiří Muryc is a researcher at the Department of Slavonic Studies, Faculty of Arts, University of Ostrava. He specializes in Polish-Czech language contact, bilingualism, and sociolinguistic dynamics of the Czech-Polish borderlands. His work spans translation studies, orthographic interference, and linguistic landscapes. Position: Head of Department International Affiliation: Collaborated with Vytautas Magnus University, University of Wrocław, and other institutions His research focuses on multilingual environments, Polish language visibility in Czech public spaces, and cross-border language policy. He explores code-switching, hybrid lects, and ethnolinguistic identity in bilingual communities. Muryc's publications analyze Polish-Czech legal terminology, phraseological dictionaries, and translation challenges between typologically close languages. He emphasizes practical applications in interpreter training and digital language platforms like Polski.info . He supervises theses on topics ranging from Polish literature in Czech translations to Czech-Polish business phraseology and UNESCO heritage linguistics. His projects include Erasmus+ initiatives for Polish language e-learning and sociolinguistic studies of Zaolzie.

Official University Profile

Tobias NipkowView profile

Professor

Technical University of MunichGermany

Professor Tobias Nipkow is a leading researcher in formal methods and interactive theorem proving at the Technical University of Munich (TUM), affiliated with the School of Computation, Information and Technology and the Department of Computer Science. He is a core developer of the Isabelle proof assistant and leads the Theorem Proving Group. His work has profoundly influenced program verification, semantics, and formalized mathematics. University: Technical University of Munich School: School of Computation, Information and Technology Department: Department of Computer Science Research Group: Theorem Proving Group Key Projects: Isabelle, Archive of Formal Proofs, Concrete Semantics His research focuses on formal verification, higher-order logic, semantics of programming languages, and verified algorithms. He has pioneered the formalization of textbook algorithms, data structures like B+-trees and quadtrees, and logical systems. His work bridges theoretical foundations with practical tools for software correctness. The most recent publications show a strong trend in verifying classical algorithms (e.g., Gale-Shapley, Earley parser), data structures (B+-trees, deques), and decision procedures, primarily using Isabelle/HOL. His contributions span foundational logic, program analysis, and educational approaches to formal methods. Best Paper Award at CADE 28 (2021) Tobias Nipkow has made extensive contributions to advising and collaborative research, co-authoring with numerous researchers and students. He has secured support for large-scale formalization efforts and contributed to major projects like the Flyspeck proof of the Kepler conjecture. His work is supported by ongoing development of the Isabelle framework and the Archive of Formal Proofs. He leads the Theorem Proving Group at TUM, which is central to the development and application of Isabelle. The group fosters international collaboration, contributes to the Archive of Formal Proofs, and advances research in automated reasoning, semantics, and verified systems.

Official University Profile

Philip WadlerView profile

Professor

Max Planck Institute for Software SystemsGermany

Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK. He is an ACM Fellow, Fellow of the Royal Society, and Fellow of the Royal Society of Edinburgh. His work spans programming language design, type systems, and formal verification, with significant contributions to Haskell, Java, and XQuery. He has held leadership roles in ACM SIGPLAN and served on editorial boards for major journals. Research Interests: Wadler's research focuses on the foundations of programming languages , including Gradual and session typing Language-integrated query Functional and logic programming XML data models Parametricity and free theorems Verification of smart contracts Publication Trends: Recent articles emphasize type safety, formal verification, and blockchain applications. Key themes include gradual typing (blame calculus), session types for concurrency, and logical foundations of programming. His 2015–2025 papers show sustained focus on type theory and language design . Awards & Recognition: POPL Most Influential Paper (2003 for 1993 work) SIGPLAN Distinguished Service Award Best Paper SBMF 2018 Royal Society-Wolfson Fellowship (2004–2009) ACM Fellow (2007) Fellow of Royal Society of Edinburgh (2005) Advising & Grants: He has supervised numerous PhD students in programs like the Centre for Doctoral Training in Pervasive Parallelism. His EPSRC Programme Grant "From Data Types to Session Types" (2013–2020) funded major advances in concurrency theory. Current work with IOHK explores blockchain verification using Haskell-based Plutus.

Official University Profile

Amr RizkView profile

Professor

University of Duisburg-EssenGermany

Professor Amr Rizk is the Director of the Networks and Communication Systems (NCS) Lab at the University of Duisburg-Essen, where he has been serving as Professor since April 2021. Previously, he was Assistant Professor at Ulm University (2019-2021) and completed his habilitation at TU Darmstadt in 2019. His academic journey includes research positions at prestigious institutions including University of Massachusetts Amherst, University of Warwick, and TU Darmstadt where he was an Athene Young Investigator. Professor Rizk's research spans multiple aspects of networking and communication systems with a particular focus on network performance analysis, stochastic modeling, and practical implementations. His work bridges theoretical foundations with real-world applications, especially in content delivery, video streaming, and network protocols. He has made significant contributions to network calculus, quality of experience optimization, and novel approaches to congestion control and caching mechanisms. His publication record demonstrates consistent high-impact contributions across top networking conferences and journals. Recent work shows a growing emphasis on programmable data planes, AI/ML applications in networking, and advanced techniques for network measurement and performance prediction. His research group at Duisburg-Essen maintains strong connections with both academic and industrial partners in the networking ecosystem. Best Paper Award at ACM MMSys Conference (2023) Distinguished TPC Member for IEEE INFOCOM (2020, 2022) Best Paper Award at ACM/USENIX Middleware Conference (2017) Athene Young Investigator Award, TU Darmstadt (2017) Professor Rizk serves as Associate Editor for Elsevier Computer Communications and has extensive experience with research funding bodies as a reviewer. His leadership extends to conference organization, including roles as PC Co-Chair for IEEE MIPR (2023) and Steering Committee member for Workshop on Network Calculus (2022). He maintains active participation in numerous top networking conferences as Technical Program Committee member, reflecting his standing within the international networking research community.

Official University Profile

Igor LorencinView profile

Professor

Friedensau Theological UniversityGermany

Igor Lorencin is Professor of New Testament at the Department of Theology, Friedensau Adventist University, Germany, and Coordinator of the Doctoral Program since 2024. Previously, he served as Lecturer in New Testament Studies at the same institution from 2015 to 2023, and held administrative roles including Dean at Adriatic Union College, Croatia (2013-2015). His academic credentials include: Diplom-Theologian (Dipl.-Theol.) from Friedensau Theological College, Germany (1994-1999) Doctor of Philosophy (Ph.D.) from Andrews University, Michigan, USA (1999-2007) Habilitation (Dr. habil.) from Debrecen Reformed Theological University, Hungary (2018-2023) Lorencin's research centers on New Testament studies with emphasis on early Christian rituals as frameworks for sustaining eschatological hope, social dynamics in early communities (particularly hospitality versus patronage in 3 John), and cosmic conflict in Mark's Gospel. His work integrates ritual theory, cognitive science, and social anthropology to analyze how embodied practices shaped early Christian identity and hope. He actively contributes to Seventh-day Adventist biblical theology, especially regarding apocalyptic literature and eschatology. Analysis of his 15 most recent publications (2009-2025) reveals consistent focus on ritual embodiment's role in maintaining Advent hope, with increasing attention to cognitive and emotional dimensions of ritual practice. Recent works (2023-2025) demonstrate methodological sophistication through interdisciplinary approaches combining biblical exegesis with ritual studies and social theory. As Doctoral Program Coordinator, Lorencin provides comprehensive student support up to doctoral level, including counseling and academic supervision. His teaching portfolio spans foundational Greek language instruction, advanced exegetical methods, specialized New Testament courses (including Revelation, Johannine literature, and ritual dynamics), and doctoral seminars. He has delivered guest lectures across Europe and North America, reflecting his international academic engagement.

Official University Profile

Danh Le PhuocView profile

Researcher

Technical University of Berlin (TU Berlin)Germany

Danh Le Phuoc is a Principal Computer Scientist at Technical University of Berlin, leading research at the PICOM.AI lab where his team develops autonomous information systems for robotics, autonomous vehicles, and IoT systems through pervasive intelligence in complex networks. With over 70 publications and significant academic impact (6811 citations, H-index 31), he has established himself as a notable researcher in semantic technologies. His educational background isn't explicitly detailed in the provided text, but his research expertise spans multiple domains requiring advanced technical knowledge. Le Phuoc's research focuses on bridging theoretical concepts with practical system implementation, particularly in RDF Stream Processing, Semantic Web technologies, and IoT middleware. His work emphasizes building real-world systems that process linked streams and data in real-time, enabling applications in intelligent transportation systems and connected vehicles. His research trajectory shows consistent innovation from foundational work on semantic mashups (2009) through to advanced stream processing frameworks (2017). His publications reveal strong trends toward processing real-time semantic data streams, with increasing focus on scalability, performance optimization, and integration of IoT systems with knowledge graphs. The progression shows movement from basic semantic web pipes to complex, elastic cloud-based stream processing systems. 22 Awards, Honours, Fellowships and Grants 10+ awards for innovative Semantic Web applications Multiple honors for IoT applications As an obsessive builder, Le Phuoc has developed numerous influential systems including The Graph of Things, CQELS (Continuous Query Evaluation over Linked Streams), Semantic Web Pipes, and Linked Sensor/Stream Middleware. His current focus is on ASAP (Autonomous Semantic Stream Processing), a platform for connected vehicles and intelligent transportation systems. His lab appears to maintain active GitHub repositories for several of these systems, suggesting ongoing development and community engagement.

Official University Profile

Stefan ThomasView profile

Research Professor

Potsdam University of Applied SciencesGermany

Prof. Dr. Stefan Thomas is a Research Professor at the Institute for Applied Research – Urban Future within the Potsdam University of Applied Sciences . He holds a professorship in Empirical Social Research and Social Work since 2012 and has served as Head of the Master's program in Childhood Studies and Children's Rights (2016–2021). His work bridges academia and practice through participatory methodologies. Expert in citizen social science and participatory research with marginalized communities Recipient of major grants from the Federal Ministry of Education and Research and EU Horizon 2020 for refugee education projects International collaborations with institutions in Barcelona , Vienna , and Berlin His research focuses on refugee integration in vocational training , multi-generational housing , and critical ethnography . He has developed innovative research forums as spaces for co-creative knowledge production. Current projects include PowerMii (empowerment for migrant girls) and laeneAs (rural refugee education). He serves as a reviewer for EU Horizon 2020 and trustee for the Hans-Böckler Foundation . Publications span participatory methods, refugee studies, and social theory.

Official University Profile