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

Mira Meziniمشاهده پروفایل

استاد

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

Mira Mezini is a Professor of Computer Science at Technical University of Darmstadt (TU Darmstadt), Germany. She leads the Software Technology Lab and is co-spokesperson for the Excellence Cluster Reasonable Artificial Intelligence . Mezini serves on the board of the National Research Center for Applied Cybersecurity ATHENE and co-directs hessian.AI, the Hessian Center for Artificial Intelligence. Her academic leadership includes past roles as Dean of Computer Science (2013-2014) and Vice President of TU Darmstadt (2014-2019). PhD in Computer Science, University of Siegen Assistant Professor, Northeastern University (USA) Visiting Professorships: Lancaster University (UK), Università della Svizzera Italiana (Switzerland) Research Interests : Mezini develops programming systems for reliable distributed software and AI, focusing on large-scale module concepts, adaptability, and extensibility. She creates intelligent software development environments leveraging web-based resources to automate programming rules and patterns. Her work spans automated API misuse detection , session types , and foundational code models . Scientific Contributions : Mezini has (co)authored over 200 peer-reviewed publications, including 15 recent representative works on: Modular multi-language analysis (2024) Secure distributed programming models (2023-2024) Effect systems for concurrency (2023) Reactive programming frameworks (2018-2024) Formal verification of cryptographic APIs (2018) Core languages for cloud computing (2016) ACM Fellow ERC Advanced Grant (2012) AITO Dahl-Nygaard Senior Prize (2025) Horst Görtz IT Security Award (2014, second prize) IBM Eclipse Innovation Awards (2005, 2006) Google Research Award (2017) Leadership : Mezini has chaired major conferences (OOPSLA, ECOOP, ICSE) and served on panels including the European Research Council Consolidator Grant, ACM SIGPLAN Executive Committee, and DFG Senate. She mentors through the SIGPLAN long-term program and contributes to DEI initiatives at conferences like SPLASH. Labs & Collaborations : Leads the Software Technology Lab at TU Darmstadt. Collaborates with institutions including EPFL (session types), ETH Zurich (language design), and Carnegie Mellon University (code analysis). Her teams focus on decentralized systems, API security, and programming language foundations.

Konstantinos Mamourasمشاهده پروفایل

استادیار

• Programming Languages
• Formal Methods
• Runtime Verification
• +۶ مورد دیگر

Konstantinos Mamouras is an Assistant Professor at the Department of Computer Science, Rice University. His research focuses on programming abstractions for data streams, runtime verification for cyber-physical systems, program semantics, and Kleene Algebra with Tests. Rice University, Houston, TX Department of Computer Science Research Interests : Design of programming abstractions for streaming data Runtime verification of cyber-physical systems Formal methods in program verification Kleene Algebra with Tests (equational theories) Efficient automata-based processing Quantitative monitoring frameworks Recent Scientific Contributions : 2025: Membership Testing for Semantic Regular Expressions (PLDI 2025) 2024: HybridSA GPU regex acceleration (OOPSLA 2024) 2024: Efficient regex with lookaround (POPL 2024) 2023: Bit Vector Automata for regex (OOPSLA 2023) 2021: Quantitative monitoring framework (RV 2021) Scientific Awards : 🏆 Distinguished Paper Award, PLDI 2024 🏆 Best Paper Award, EuroSys 2021 🏆 EATCS Best Theory Paper Award, FoSSaCS 2015 Advising : Mentored PhD student Lingkun Kong (2023) Advised MSc student Zhifu Wang (2022) Current advisees: Alexis Le Glaunec and Agnishom Chattopadhyay Teaching : Spring 2023: IoT Programming and Data Analysis (COMP 418/518) Fall 2022: Reasoning about Algorithms (COMP 382) Spring 2021: Reasoning about Software (COMP 403/503)

Ahmet Soyluمشاهده پروفایل

استاد

• Ontology-driven information systems
• Semantic Web
• Knowledge representation
• +۴ مورد دیگر

Ahmet Soylu is currently Dean of the School of Doctoral Studies and Professor of Computer Science at Kristiania University of Applied Sciences in Oslo, Norway. He also holds an Adjunct Professor position at the University of Oslo (UiO) . Previous roles: Full Professor at OsloMet – Oslo Metropolitan University (Innovation, Digital Transformation, Sustainability group), Norwegian University of Science and Technology (NTNU) Researcher background: Senior Scientist at SINTEF Digital, Senior Engineer at DNV, Postdoctoral Fellow at UiO, Visiting Researcher at University of Oxford PhD in Computer Science (2012) from University of Leuven, Belgium His research focuses on ontology-driven information systems with a human-computer interaction perspective, particularly for industrial data integration and Big Data using Semantic Web and Linked Data technologies. Key topics include: Visual query systems for non-technical users End-user development frameworks Digital transformation in enterprise environments Knowledge representation for data access Recent publications include work on semantic analytics in industrial contexts like Siemens and Statoil, with a particular emphasis on streaming data and static data integration . He has contributed to the development of the OptiqueVQS system for visual query formulation. As a project leader, he has coordinated major EU-funded initiatives such as: TheyBuyForYou (Horizon 2020) Optique (EU FP7) iCamp , ROLE , LEGIS LEFIS , TREE (FP6/FP7) He serves on editorial boards for: Journal of Web Semantics (JoWS) Transactions on Graph Data and Knowledge (TGDK) Professional activities include organizing: Declarative AI series (RuleML+RR) Reasoning Web Summer School DecisionCAMP conferences

Markus Krötzschمشاهده پروفایل

استاد

• Knowledge Graphs
• Semantic Web
• Ontologies
• +۶ مورد دیگر

Markus Krötzsch is a Professor for Knowledge-Based Systems at the Institute for Theoretical Computer Science, Faculty of Computer Science, Technische Universität Dresden. He is also affiliated with TUD's Center for Advancing Electronics (cfaed) and directs the School of Embedded Composite AI (SECAI). His work bridges theoretical research and practical applications in knowledge representation and semantic technologies. Current Projects: Wikidata, Semantic MediaWiki, Nemo (Datalog Engine), ELK Reasoner Areas: Intelligent Knowledge Management, Ontology Languages, Rule-Based Reasoning His research focuses on knowledge graphs , semantic web technologies , and rule-based systems for data integration and reasoning. He contributes to standards like OWL 2 and develops tools for collaborative data management and large-scale knowledge processing. Recent publications highlight advancements in Datalog reasoning (2024-2025), with applications in knowledge graph querying, ontology languages, and computational logic. Keywords include semantic technologies, knowledge representation, and scalable rule engines. He supervises students working on topics like reasoning complexity , chase algorithms , and rule-based data access . His activities include editorial roles (Area Editor of Transactions on Graph Data and Knowledge ) and leadership in academic organizations like the Open Semantic Data Association.

Hossein Hojjatمشاهده پروفایل

استادیار

• Formal Methods
• Software Verification
• Hardware Verification
• +۱۱ مورد دیگر

Hossein Hojjat is an Assistant Professor in the Department of Computer Science at the Rochester Institute of Technology (RIT), within the Golisano College of Computing and Information Sciences. He received his PhD in computer science from EPFL, Switzerland in 2013 and was a postdoctoral researcher at Cornell University before joining RIT. He is currently on leave from his academic position since 2019. Research Interests: His research focuses on formal methods for the analysis and verification of software and hardware systems. He works extensively on program verification, network verification (especially in software-defined networking), automated program repair, Horn clauses, interpolation techniques, and model checking. His work bridges theoretical foundations with practical tools and applications. Publication Trends: His recent publications (2012–2017) show a strong trend in applying formal methods to networked and distributed systems, particularly using NetKAT and Horn clause solvers. He has made significant contributions to ensuring consistency in network updates, synthesizing repairs, and analyzing timed and concurrent systems. His work integrates logic, programming languages, and systems. Scientific Service: Program Committee: FSEN 2015, FSEN 2017, TTCS 2017, VSTTE 2017, SEFM 2017, SBMF 2018, FSEN 2019 (co-chair), PLDI 2019 (AEC) Editorial Board: Information Processing Letters Advising and Grants: He has advised PhD student Ali Shokri and has received research funding through the SaTC: CORE: Small grant on federated network security. His academic advising and grant activities reflect his leadership in advancing formal techniques for secure and reliable systems. Labs and Teams: While no specific lab is mentioned, his collaborations with researchers at EPFL, Cornell, and in tool development (e.g., FLATA, ELDARICA) indicate active participation in formal methods research teams focused on verification toolkits and network programming.

Katharina Loiblمشاهده پروفایل

استاد

• Instructional Design
• Learning from Errors
• Problem-Solving Prior to Instruction (PS-I)
• +۲ مورد دیگر

Prof. Dr. Katharina Loibl is a full Professor (W3) for Interdisciplinary Teaching and Learning Research at the Institute of Psychology, University of Education Freiburg. She serves as the Executive Director of the Freiburg Advanced Center of Education (FACE) and co-founder of the Center of Interdisciplinary Research on Digital Education (CIRDE). Her research focuses on instructional design, learning from errors, problem-solving prior to instruction (PS-I), diagnostic reasoning in teachers, and Bayesian cognition in educational settings. University of Education Freiburg – Department of Interdisciplinary Teaching and Learning Research Co-leader of DFG-funded projects on adaptive instruction and digital education Dr. Loibl’s research explores how pre-instructional problem-solving phases (PS-I) enhance conceptual understanding and transfer. She investigates cognitive processes in teacher diagnostics, error processing in mathematics and physical education, and adaptive learning environments using digital tools. Her work bridges cognitive science and educational practice, particularly in mathematics and motor skills development. Recent publications emphasize PS-I frameworks (CID model), Bayesian reasoning in teacher diagnostics, and digital education mechanisms. Awards include the ISLS Early Career Award (2020/21) and multiple DFG grants. She supervises theses on PS-I applications in physical education and digital cognition, though specific student names are not listed. Early Career Award (ISLS) 2020/21 Wilhelm-Hollenberg Dissertationspreis 2014 Best Student Paper Award (CSCL) 2013 Nachwuchswissenschaftlerpreis (PAEPS) 2011 Dr. Loibl leads collaborative projects like the DFG network on PS-I mechanisms and the Baden-Württemberg-funded Di.ge.LL Kolleg for digital didactics. She co-ordinates the Freiburg Advanced Center of Education (FACE) and integrates data literacy through initiatives like the Future Teaching Lab.

• Software Engineering
• Formal Methods
• Verification and Validation
• +۵ مورد دیگر

Professor Wolfgang Reif serves as Director of the Institute for Software & Systems Engineering at the University of Augsburg's Faculty of Applied Computer Science. His research spans multiple domains where formal methods meet practical engineering applications, particularly in software engineering, robotics, and self-organizing systems. Prof. Reif's research interests focus on applying formal verification techniques to complex systems engineering challenges. His work bridges theoretical computer science with practical applications in robotics, manufacturing, and autonomous systems. He has developed approaches for verification of concurrent systems, self-organizing production cells, and human-robot collaboration frameworks. His research demonstrates a consistent pattern of translating theoretical formal methods into practical engineering solutions for real-world problems. The recent publications reveal a strong trend toward integrating artificial intelligence with traditional engineering domains. His team has been particularly active in applying machine learning techniques to robotics, manufacturing processes, and verification problems. The publications show increasing focus on practical implementations of self-organizing systems, with applications in drone swarms, production automation, and composite material manufacturing. The work consistently demonstrates how formal verification can be applied to increasingly complex systems involving AI components. Prof. Reif leads a substantial research group with numerous PhD students and collaborators. His team operates within the Institute for Software & Systems Engineering, where they maintain active collaborations with both academic and industrial partners. The research environment supports work across multiple domains including formal verification, robotics, manufacturing systems, and AI applications. The team has developed several notable frameworks including PROTEASE for swarm robotics, SensorClouds for multi-modal sensor processing, and various verification tools built around the KIV system.

Dhananjay Anandمشاهده پروفایل

پژوهشگر

• Metrology
• Control Systems
• Dynamics
• +۴ مورد دیگر

Dhananjay Anand is an associate research scientist in the Department of Electrical and Computer Engineering at Johns Hopkins University. He also serves as the lead research scientist for the National Institute of Standards and Technology's Smart Grid and Cyber-Physical Systems Program, focusing on the integration of physical and information systems in power grid applications. His educational background includes: Bachelor's in Mechanical Engineering from Visvesvaraya Technological University (2004) Master's from the University of Michigan (2008) Doctorate from the University of Michigan (2013), where he helped design their manufacturing testbed for information-driven reconfiguration Anand's research interests center around metrology, control systems, and dynamics in electrical power grid applications. He investigates system integration, diagnosis, and reasoning challenges in networks of interdependent information technology and physical components. His work bridges theoretical control systems with practical power grid applications, with particular focus on smart grid technologies, cyber-physical systems, and precise timing solutions for grid operations. His research has significant implications for electric vehicle integration, grid stability, and next-generation power infrastructure. His recent publications demonstrate a strong focus on electric vehicle charging infrastructure, quantum network synchronization, smart grid standards, and control systems for distributed energy resources. The research spans from theoretical control frameworks to practical grid applications, with particular emphasis on timing precision, system stability, and grid-edge integration of new technologies. His work shows a clear progression toward more complex cyber-physical integration challenges, with increasing attention to quantum technologies and advanced control methodologies for modern power systems. His notable scientific achievement includes: NIST Distinguished Associate Award (2018) As a reviewer for IEEE and ASME publications, Anand contributes to the academic community through peer review. His work with NIST involves developing critical testbeds and validation capabilities for smart grid technologies, representing significant grant-funded research activity in power systems and cyber-physical integration. He has also contributed to manufacturing testbed design during his doctoral work at the University of Michigan. Anand is associated with multiple advanced research testbeds including the NIST Campus Power System and the Assistive Clock Fusion Testbed, focusing on precision timing solutions for power grid applications. His work bridges the gap between theoretical control systems and practical implementation in real-world power systems, with particular expertise in time synchronization challenges within cyber-physical power systems.

• Automated Reasoning
• Software Verification
• Concurrency
• +۳ مورد دیگر

Azadeh Farzan is a Professor and Vice Chair in the Department of Computer Science at the University of Toronto, specializing in automated reasoning and software verification. She leads research in concurrency, program synthesis, and probabilistic systems with significant contributions to formal methods. Her research interests focus on automated verification of concurrent programs , where she develops novel techniques for detecting data races, proving termination, and synthesizing correct-by-construction code. Key areas include commutativity-based reasoning, hypersafety properties, and probabilistic program analysis, addressing challenges in scalability and modularity for real-world systems. Farzan has received the 2023 Amazon Research Award for her work on data race detection predictability. She serves on prestigious conference committees including CAV (2025 Area Chair) and POPL (2025 Program Committee), having previously chaired CAV 2016 and POPL 2021. She advises doctoral students such as Victor Nicolet and Emanuele D’Osualdo, with research funded through collaborations like the Amazon Scholars program. Her work bridges theoretical foundations and practical tools for software reliability, impacting both academia and industry.

Christine Schmidمشاهده پروفایل

پژوهشگر

• School Quality
• Quality of Instruction
• School Development
• +۱۶ مورد دیگر

Dr. Christine Schmid is a researcher and teaching-focused academic at the Department of Education and Psychology , Free University of Berlin , within the Primary Education working group. She has held research and teaching positions at several prestigious institutions, including Leuphana University Lüneburg, DIPF | Leibniz Institute, and the University of Salzburg. She completed her doctorate at the University of Potsdam and her habilitation at Georg-August-University Göttingen. Doctorate: University of Potsdam, 2003 Habilitation: Georg-August-University Göttingen, 2008 Diploma in Sociology: 1996, with minors in statistics, psychology, and politics Her research centers on school quality , civic education , grading practices , and social inequalities in education . She investigates how siblings , parental resources , gender , and immigration background affect academic achievement. Her work also explores political socialization , moral development , and the socioemotional influence of peers and parents during adolescence. Her recent publications analyze teacher grading biases , school improvement policies in Austria , sibling effects on math and reading achievement using large-scale assessments (PISA, TIMSS), and longitudinal models of political engagement . Her methodological expertise includes multi-level modeling , panel data analysis , and reanalysis of major educational studies . Member, Society for Empirical Educational Research (GEBF) Member, Austrian Society for Research and Development in Education (ÖFEB) Member, German Society for Research in Education (DGfE) Member, Working Group for Empirical Pedagogical Research (AEPF) Dr. Schmid supervises bachelor's and master's theses on topics such as educational inequality , all-day schooling , democracy education , and teacher professionalism . She provides methodological guidance, particularly for quantitative studies . She is involved in major research projects like EduCare and Schule im Wandel , focusing on the quality and impact of extended education programs. She is affiliated with the EduCare research program , now based at FU Berlin, which investigates the quality and effectiveness of all-day schooling and childcare, particularly in Switzerland and Germany. She contributes to the development of assessment instruments and the analysis of large-scale educational data.

Mooly Sagivمشاهده پروفایل

استاد

• Static Program Analysis
• Automated Theorem Proving
• Abstract Interpretation
• +۶ مورد دیگر

Professor Mooly Sagiv is a Chair of Software Systems at the School of Computer Science, Tel Aviv University , focusing on static program analysis and formal verification. His work bridges automated theorem proving with abstract interpretation to develop practical techniques for verifying software systems. Key Research Areas : Static analysis, formal verification, abstract interpretation, and automated reasoning about distributed systems and smart contracts. Notable Contributions : Development of the IVY tool for distributed protocol verification and frameworks for dynamic information flow control in cloud applications. Scientific Recognition : Fellow of the ACM Best Paper Award at PLDI'12 Recent Publications focus on binarized neural networks, stateful network verification, and liveness properties in infinite-state systems using decidable logic fragments.

Lars Birkedalمشاهده پروفایل

استاد

• Logic and Semantics of Programming Languages
• Type Theories
• Program Logics
• +۶ مورد دیگر

Lars Birkedal is a Professor of Computer Science at Aarhus University, Denmark, where he serves as Head of the Logic and Semantics Group. He previously held positions at the IT University of Copenhagen until 2012 and served as Head of Department of Computer Science at Aarhus from 2014 to 2017. His educational background includes a Ph.D. in Computer Science from Carnegie Mellon University, USA, completed in December 1999. Birkedal's primary research interests focus on the logic and semantics of programming languages and type theories. His current work centers on program logics for reasoning about distributed, concurrent, higher-order, and imperative programs; cyber-security; and type theories with guarded recursion. He has made significant contributions to separation logic, particularly through the development of the Iris framework, which earned him the 2023 Alonzo Church Award. His research bridges theoretical foundations with practical applications in program verification and security. His recent publications demonstrate a strong trend toward mechanized verification of complex systems, with particular emphasis on concurrent and distributed programming. The research spans multiple subfields including separation logic variants, capability systems, information flow security, and formal verification of low-level systems. A notable pattern is the integration of logical frameworks with practical verification tools, often implemented in proof assistants like Coq. His scientific achievements have been recognized with numerous prestigious awards: Fellow of the ACM ERC Advanced Grant from the European Research Council (2023) 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation Villum Investigator grant from the Villum Foundation (2019) Danish Minister of Research Elite Research Award (2015) Sapere Aude Advanced Grant from the Danish National Science Research Council (2013) ACM SIGPLAN Milner Award (2013) Birkedal has advised numerous PhD students and postdocs, including Lau Skorstengaard, Kristoffer Just Andersen, Morten Krogh-Jespersen, and Robbert Krebbers. His research has been supported by significant grants including an ERC Advanced Grant (2023), a Villum Investigator grant (2019), and a Sapere Aude Advanced Grant (2013). He has served in editorial roles including Editor-in-Chief of Logical Methods in Computer Science (2014-2020) and Chairman of the board, and as PC Chair for POPL 2020. He leads the Logic and Semantics Group at Aarhus University and has been instrumental in several major research projects including the CHORDS project (Compositional Higher-Order Reasoning about Distributed Systems) and the Center for Basic Research in Program Verification (CPV). His earlier ModuRes project (Modular Reasoning about Concurrent Higher-Order Imperative Programs) laid important groundwork for verification of modern programming language features.

• Programming Languages
• Formal Verification
• Type Systems
• +۵ مورد دیگر

Derek Dreyer is a Professor at the Max Planck Institute for Software Systems, where he leads research in programming languages, formal verification, and type systems. His work bridges theoretical foundations with practical applications, particularly in the verification of systems programming languages. His research focuses on developing rigorous semantic foundations for modern programming languages, with significant contributions to the verification of Rust, separation logic frameworks, module systems, and concurrency models. Dreyer's work combines deep theoretical insights with practical verification techniques, often implemented in proof assistants like Coq. His research spans formal semantics, type theory, program logics, and verification methodologies for both sequential and concurrent programs. Dreyer's publication record shows a consistent focus on foundational verification techniques, with recent work advancing separation logic (Iris framework), Rust verification, multi-language semantics, and novel program logics. His publications in top venues like POPL, PLDI, and ICFP demonstrate both theoretical depth and practical impact in programming language research. Dreyer has established himself as a leading researcher through extensive collaborations with prominent figures in the programming languages community, including Lars Birkedal, Ralf Jung, Robbert Krebbers, and Viktor Vafeiadis. His work often bridges multiple subfields, connecting theoretical concepts with practical verification challenges in systems programming.

• Adversarial Machine Learning
• Anomaly Detection
• Graph Convolutional Network
• +۷ مورد دیگر

Tianjin Huang is a University Researcher in the Mathematics and Computer Science school at Eindhoven University of Technology, focusing on deep learning, adversarial training, and sparsity. Their work spans traffic prediction, fairness in AI, and robustness evaluation. Specializes in Adversarial Machine Learning and Spatiotemporal Graph Modeling Develops novel frameworks for Traffic Prediction under real-world data challenges Explores Sparse Neural Networks for efficiency and performance Recent research trends include 4-bit training stability for LLMs, confusional spectral regularization for fairness, and principal eigenvalue methods for certified robustness. Their 2025 publications demonstrate cutting-edge work in adversarial training, graph neural networks, and low-bit optimization. Scientific recognition includes the Best Paper Award of LoG 2022 for collaborative work on sparse neural network training. They collaborate with institutions across Europe and Asia, focusing on trustworthy AI systems.

Jenifer Elmoreمشاهده پروفایل

استاد

• American Literature (Pre-1900)
• Nineteenth-Century British Literature
• Narratology
• +۴ مورد دیگر

Jenifer Elmore is a Professor of English and Associate Dean of Arts and Humanities at the School of Liberal Arts and Sciences. She co-coordinates the Faith, Roots, and Reason Program and teaches courses in American literature before 1900, narratology, grammar and composition, and Super Honors courses. PhD in Literature, Florida State University MA in English Literature, Florida State University BA in English, University of the South Her research focuses on American and British writers of the late eighteenth and nineteenth centuries, examining how their works intersect with faith, politics, social critique, and reform movements like anti-slavery and women’s rights. She has presented at academic conferences such as the Society for the Study of American Women Writers, American Literature Association, and the Catharine Maria Sedgwick Society, where she serves as First Vice President. Corts Award for Outstanding Teaching (2013) Dr. Elmore lives in Wellington with her husband, Charles (a journalist at The Palm Beach Post), and their teenage son. She is a ministry leader and school board member at St. David’s Episcopal Church. Her two adult daughters are a graduate student in biology at Harvard University and a registered nurse at Duke University Medical Center.