Declarative Process Modeling Professors and Supervisors

Oscar Corchoمشاهده پروفایل

استاد

FIZ Karlsruhe – Leibniz Institute for Information InfrastructureGermany

Oscar Corcho is a Full Professor at the Department of Artificial Intelligence within the School of Computer Science at the Technical University of Madrid. He is a prominent member of the Ontology Engineering Group and has been serving as a Professor since May 2007, with his current position as Full Professor reflecting his significant contributions to the field. Professor Corcho's research primarily focuses on Ontology-based Data Integration and the application of Semantics in Open Science. His expertise extends across the broader domains of Semantic Web, Linked Data, Knowledge Graphs, and Ontological Engineering. His work bridges theoretical research with practical applications, particularly in data integration systems and knowledge representation frameworks. With over 460 publications and more than 12,000 citations, he has established himself as a leading researcher in semantic technologies. His recent publications show a strong emphasis on virtual knowledge graph architectures, RDF-star generation, semantic labeling techniques for tabular data, and applications of semantic technologies in scientific literature analysis. His research demonstrates a clear trajectory toward solving real-world data integration challenges across heterogeneous sources while advancing the theoretical foundations of knowledge representation. Third Spanish Award on Computer Science (2001) Beyond his academic role, Professor Corcho is a co-founder of LocaliData Spain, demonstrating his commitment to translating research into practical applications. He has supervised numerous research projects and has been instrumental in developing tools like Morph-KGC for knowledge graph construction. His work has significant implications for public procurement systems, transportation data integration, citizen science initiatives, and scientific research infrastructure. As leader of the Ontology Engineering Group, he oversees a research program that develops innovative methodologies for ontology engineering and semantic data integration across diverse domains. His group's work has influenced both academic research and industry practices in knowledge representation and semantic technologies.

پروفایل رسمی دانشگاه

Christopher R. Yukinsمشاهده پروفایل

استاد پژوهشی

George Washington UniversityUnited States

Christopher R. Yukins serves as the Lynn David Research Professor in Government Procurement Law at The George Washington University Law School. With extensive experience in public procurement law, he previously worked as a trial attorney with the U.S. Department of Justice handling bid protests and contract claims. Currently of counsel to Arnold & Porter LLP, he advises the U.S. delegation to UNCITRAL's Model Procurement Law reform working group and serves on multiple professional committees including the American Bar Association's Public Contract Law Section. Education: BA, Harvard University JD, University of Virginia Professor Yukins specializes in government contract formation and performance, bid protests, Contract Disputes Act litigation, and comparative international procurement systems. His research focuses on emerging policy questions in U.S. procurement, particularly digital transformation, anti-corruption measures, green procurement initiatives, and international trade implications. He co-runs GW Law's popular colloquium series on procurement reform with Professor Steven Schooner and serves as faculty advisor to the Public Contract Law Journal. His recent scholarly output demonstrates significant engagement with contemporary procurement challenges including AI applications (Percipient.ai), post-Loper Bright regulatory frameworks, transatlantic green procurement strategies, EU foreign subsidy regulations, and Ukraine's ProZorro anti-corruption system. These works reveal a consistent pattern of addressing the intersection between traditional procurement principles and emerging technological, geopolitical, and sustainability challenges. Professor Yukins maintains active professional engagement through contributions to publications like Washington Technology, Government Contractor, and Legal Times, while advising governmental bodies on procurement reform. His work with international organizations like UNCITRAL demonstrates global recognition of his expertise in harmonizing procurement practices across jurisdictions.

پروفایل رسمی دانشگاه

Walker M. Whiteمشاهده پروفایل

استاد آموزشی

Cornell UniversityUnited States

Walker M. White serves as Stephen H. Weiss Provost's Teaching Fellow and Director of the Game Design Initiative at Cornell (GDIAC) within Cornell University's Department of Computer Science. He teaches core game design courses (CS/INFO 3152 and CS/INFO 4152), CS 1110 (Introduction to Computing in Python), and mentors independent study projects through CS/INFO 4999. His academic leadership spans curriculum development, career advising for game design students, and cross-departmental coordination for Cornell's game design minor. White's research centers on two interconnected domains: data-driven game development and data stream processing. In data-driven games, he pioneers declarative specification methods for non-player character behavior, addressing performance bottlenecks in massively multiplayer environments through innovations like the SGL language. His concurrent Cayuga project develops scalable data stream processing systems that balance expressive query capabilities with publish/subscribe system efficiency, yielding theoretical advances in temporal query semantics and practical implementations for event monitoring. His educational scholarship focuses on inquiry-based learning techniques adapted from mathematical logic to computer science pedagogy. White's publication record from 2006-2011 reveals a cohesive trajectory where database theory informs gaming innovation. Early work established foundational challenges in virtual world scalability, evolving into specialized techniques for checkpoint recovery, MapReduce-based behavioral simulation, and declarative game languages. Simultaneously, his Cayuga research advanced publish/subscribe systems through multi-query optimization and formal stream semantics, demonstrating consistent methodological rigor across both domains. Stephen H. Weiss Provost's Teaching Fellow As GDIAC Director, White advises undergraduate game design students through competitive independent study projects, with select student games featured at independent game festivals. He facilitates industry recruitment by major studios including Electronic Arts, Valve, and Bungie, while supporting student startups in the mobile gaming space. His career advising leverages strong industry connections cultivated through Cornell's game design program. White leads the Game Design Initiative at Cornell (GDIAC), coordinating game design education across multiple academic departments. He collaborates extensively with Cornell's database research group, particularly with Johannes Gehrke and Alan Demers on data stream processing and gaming projects. His educational initiatives include developing inquiry-based learning materials for computer science and mathematics bridge courses.

پروفایل رسمی دانشگاه

Thomas Ströderمشاهده پروفایل

مدرس

University of Applied Sciences for BusinessGermany

Thomas Ströder is a Lecturer in Business Informatics at FHDW University of Applied Sciences since 2022, specializing in software engineering and formal methods. Previously, he served as Head of Full Stack Development at METRO (2016-2019) and Site Manager at IT-P GmbH (2020-2022), combining academic research with industrial leadership in software development organizations. His educational background includes: Diploma in Computer Science with Business Administration minor from RWTH Aachen University (2004-2010), featuring an exchange semester at UNSW Sydney (2008) funded by the Studienstiftung des Deutschen Volkes PhD in Computer Science from RWTH Aachen University (2019) focused on automatic quality assurance and software synthesis Ströder's research bridges theoretical computer science and industrial software engineering through core interests in program verification, formal methods, and software architecture. His work emphasizes practical applications of automated reasoning for termination analysis, memory safety, and complexity bounds in real-world systems, while extending to organizational development and data-driven decision processes in agile environments. This dual focus enables translation of formal verification techniques into enterprise software solutions. His 15 publications (2009-2018) reveal a consistent trajectory in program termination analysis and verification, primarily through the AProVE framework. Early work established foundations in term rewriting and logic program analysis, evolving toward memory-safe C program verification and bitvector arithmetic handling. Publications in top venues like Journal of Automated Reasoning and TACAS demonstrate specialization in bridging theoretical formal methods with practical software engineering challenges, particularly in pointer arithmetic and memory manipulation contexts. Professional activities include research collaborations with Microsoft Research Cambridge (2013) and leadership in building in-house software development organizations at METRO, reflecting strong industry-academia integration in his career trajectory.

پروفایل رسمی دانشگاه

Raffi Khatchadourianمشاهده پروفایل

دانشیار

Hunter College, CUNYUnited States

Raffi Khatchadourian is an Associate Professor in the Department of Computer Science at Hunter College and a member of the Doctoral Faculty of The Graduate School and University Center's Ph.D. Program in Computer Science at the City University of New York (CUNY). He leads the PONDER Lab @ CUNY and is a member of the CUNY Institute of Computer Simulation, Stochastic Modeling, and Optimization (CoSSMO). His research lies at the intersection of software engineering, programming languages, and reliable machine learning systems. He investigates how program analysis, automated refactoring, and type theory can ease the burden of correctly, efficiently, and securely evolving large and complex software. His work spans several key areas including automated refactoring of Java programs, empirical studies of software development practices, migration of imperative Deep Learning programs to graph execution, and the application of software engineering methodology to improve statistical programs and artificial intelligence. His research has been externally supported by the National Science Foundation (NSF), the Japan Society for the Promotion of Science (JSPS), Amazon Web Services (AWS), and the Verizon Foundation. Dr. Khatchadourian's recent publications demonstrate a strong focus on improving Deep Learning systems through automated refactoring techniques, analyzing technical debt in machine learning systems, and addressing concurrency challenges in modern programming languages. His work frequently appears in top-tier conferences including ICSE, ASE, ESEC/FSE, and FASE. His scientific achievements have been recognized with numerous awards including the EAPLS Distinguished Paper Award at FASE '25, EAPLS Best Paper Award at FASE '20, and a Distinguished Paper Award at IEEE SCAM '18. He has also received fellowships from JSPS and NSF EAPSI, along with the Eleanor Quinlan Memorial Award for Excellence in Teaching. As an advisor, Dr. Khatchadourian has mentored numerous PhD, Master's, and undergraduate students, including Tatiana Castro Vélez who recently accepted a tenure-track Assistant Professor position at University of Puerto Rico. He has served on multiple program committees for major conferences including ICSE, ASE, ECOOP, and GPCE, and has organized events such as the New York Seminar on Programming Languages and Software Engineering (NYPLSE). He also mentors students through NYU GSTEM and ACM SIGPLAN-M programs. Dr. Khatchadourian maintains active research collaborations across institutions and leads the PONDER Lab @ CUNY, which focuses on programming, optimization, and novel development environments for reliable software. The lab provides opportunities for undergraduate, master's, and doctoral students interested in programming languages and software engineering research.

پروفایل رسمی دانشگاه

Marta Andhovمشاهده پروفایل

دانشیار

University of CopenhagenDenmark

Marta Andhov is an Associate Professor at the University of Copenhagen Faculty of Law, where she serves as a leading expert in public procurement law. She is affiliated with the Centre for Private Governance (CEPRI) and has established herself as a prominent researcher in sustainable public procurement, governmental contracts, and EU law. Her research interests span public procurement law, sustainability considerations in governmental contracting, EU law, tender law, international trade law, corporate social responsibility, and supply chain management. Dr. Andhov has made significant contributions to understanding how life-cycle costing can be integrated into public procurement processes to advance sustainability goals. Dr. Andhov leads the Purchase Power project funded by the Carlsberg Foundation (DKK 4.99 million) and co-leads the EU-Horizon 2020 funded SAPIENS project (€3.9 million), which focuses on sustainability and procurement across international, European, and national systems. She is also a member of the COCOREADO project (€2.9 million), which addresses sustainable public procurement of local and seasonal food. Her scholarly work has been recognized through multiple prestigious awards and grants. She has been cited by high-level decision-makers including the EU Commission, WTO, and UNEP, and her research was referenced in an Advocate General opinion to Case C-332/20. In 2019, she co-edited the influential book 'Cost and EU Public Procurement Law – Life-Cycle Costing for Sustainability,' which has shaped the field of sustainable procurement. Dr. Andhov is actively engaged in academic dissemination through her co-hosting of the Bestek Public Procurement Podcast and through extensive teaching and training activities. She has conducted seminars for the Chartered Institute of Procurement & Supply, the International Training Centre of the International Labour Organization, and the Procurement Regulation Postgraduate Diploma at King's College London. Her work bridges academic research and practical implementation, making significant contributions to both theoretical understanding and real-world application of sustainable public procurement principles.

پروفایل رسمی دانشگاه