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

Leonidas Lampropoulosمشاهده پروفایل

استادیار

• Programming Languages
• Software Engineering
• Formal Verification
• +۵ مورد دیگر

Leonidas Lampropoulos is an Assistant Professor of Computer Science at the University of Maryland, with an appointment in the University of Maryland Institute for Advanced Computer Studies (UMIACS). He leads research in Programming Languages and Software Engineering, focusing on formal verification, proof assistants, and scalable software development methodologies. His work addresses challenges in formalizing security properties, optimizing proof workflows, and advancing verified software for critical systems like distributed systems and autonomous vehicles. He received the NSF CAREER Award in 2022 and co-led a $540K NSF-funded project (2021) to improve proof engineering tools and protocols. His academic contributions span programming language design, type systems, and testing frameworks, with notable collaborations through the Maryland Cybersecurity Center (MC²). Advised PhD students: Segev Elazar Mittelman, Alperen Keles, Oliwia Kempinski, Jacob Prinz, Finn Voichick. Key honors: NSF CAREER Award (2022), NSF Award for Proof Engineering (2021). Research partnerships: Collaborates with institutions like the University of Texas at Austin on proof assistant scalability. His grants emphasize bridging software engineering practices with formal verification to enhance reliability in large-scale projects. Current efforts include improving proof assistant usability and integrating formal methods into mainstream software development.

Samuel J. Lomonacoمشاهده پروفایل

استاد

• Quantum Computation
• Topology
• Knot Theory
• +۳ مورد دیگر

Samuel J. Lomonaco is a Full Professor of Computer Science and Electrical Engineering at the University of Maryland, Baltimore County (UMBC). He holds a Ph.D. in Mathematics from Princeton University (1964) and a B.S. in Mathematics from St. Louis University (1961). His research focuses on quantum computation, topology, knot theory, and their applications in computer science and mathematics. He leads the Quantum Algorithms Research Group, supported by DARPA, and has authored influential books on quantum computation and information theory. Notable contributions include work on quantum hidden subgroup algorithms, topological quantum computing, and the application of knot theory to physics. Dr. Lomonaco has held academic and research roles at institutions such as SUNY Albany, Texas Instruments, and the Institute for Defense Analyses. He is an associate editor of the Journal of Knot Theory and Its Ramifications and has received awards including the 2003 Pot de Vin Award and recognition for contributions to the Ada programming language. His research interests span quantum cryptography, algebraic coding theory, and symbolic computation. He currently advises PhD students and has pioneered new quantum algorithms like the Wandering Shor algorithm. Education: Ph.D., Mathematics, Princeton University, 1964 B.S., Mathematics, St. Louis University, 1961 Research Interests: Quantum computation, topological quantum computing Knot theory and its applications in physics Algebraic coding theory and error-correcting codes Symbolic computation and quantum algorithms Awards & Recognitions: 2003 Pot de Vin Award Award from the U.S. Under Secretary of Defense for Research and Engineering (Ada programming contributions) Labs/Teams: Quantum Algorithms Research Group (DARPA-funded)

Stephan Hartmannمشاهده پروفایل

استاد

• Philosophy of Science
• Philosophy of Physics
• Formal Epistemology
• +۲ مورد دیگر

Stephan Hartmann is Chair of Philosophy of Science and Alexander von Humboldt Professor at Ludwig-Maximilians-Universität München (LMU Munich), where he also serves as Head of the Munich Center for Mathematical Philosophy. His academic journey spans multiple prestigious institutions across Europe, establishing him as a leading figure in contemporary philosophy of science. Hartmann received his academic training at Justus-Liebig University Giessen, where he completed a Diploma in Physics (1991), a Master in Philosophy (1991), and a PhD in Philosophy (1995). Prior to joining LMU Munich in 2012, he taught at Tilburg University, the London School of Economics, and the University of Konstanz, with visiting appointments at the University of California at Irvine, Lund University, and the Center for Philosophy of Science at the University of Pittsburgh. Hartmann's research program centers on the application of formal methods to philosophical problems, particularly through Bayesian frameworks. His work bridges philosophy of science, philosophy of physics, formal epistemology, social epistemology, and cognitive science. He has developed influential models for understanding reasoning, argumentation, deliberation, and scientific explanation using probabilistic and mathematical approaches. His current research focuses on the philosophy and psychology of reasoning and argumentation, the philosophy of physics (especially open quantum systems), and formal social epistemology (particularly models of deliberation). His extensive publication record reveals a consistent trajectory of applying formal methods to philosophical questions, with increasing emphasis on Bayesian approaches across multiple domains. Hartmann's work demonstrates remarkable integration of mathematical precision with philosophical depth, particularly in addressing traditional problems in epistemology and philosophy of science through computational and probabilistic frameworks. His research shows strong continuity in exploring how formal models can illuminate fundamental questions about scientific reasoning, evidence, and rationality. Alexander von Humboldt Professor President of the European Philosophy of Science Association (2013-2017) President of the European Society for Analytical Philosophy (2014-2017) Hartmann leads the Munich Center for Mathematical Philosophy, which serves as a hub for interdisciplinary research at the intersection of philosophy, mathematics, and formal methods. Under his direction, the center has become a prominent institution for advancing mathematical approaches to philosophical problems, fostering collaborations between philosophers, mathematicians, physicists, and cognitive scientists. His work has significantly influenced how formal methods are applied to traditional philosophical questions, particularly in epistemology and philosophy of science.

• Term Rewriting Systems
• Formal Methods
• Automated Reasoning
• +۳ مورد دیگر

Univ.-Prof. Dr. Aart Middeldorp is a Professor in the Department of Computer Science at the University of Innsbruck. He serves as the Associate Dean of Studies for the Informatik (BA/MA/ES) and Software Engineering (MA) programs, and as the Erasmus coordinator for Informatik. His research focuses on term rewriting systems, formal methods, automated reasoning, and theoretical computer science. He leads initiatives in confluence analysis, termination proofs, and the development of tools like crest and CSI . His work emphasizes formal verification, with contributions to proof term manipulation and abstract completion. Recent research trends include undecidability results in rewrite systems, formalized confluence criteria, and tool-based evaluation in competitions like CoCo. He actively contributes to the Confluence Competition , advancing automated analysis techniques for rewrite systems. Notable projects include the development of FORT-h and ProTeM , tools supporting formal proofs and term rewriting. His administrative roles ensure academic coordination across undergraduate and graduate programs in computer science and software engineering. Labs/Teams: His research group develops foundational tools for automated reasoning and term rewriting, with a focus on practical implementations for confluence and termination analysis.

Werner Nuttمشاهده پروفایل

استاد

• Data Management
• Knowledge Representation
• Intelligent Information Extraction
• +۳ مورد دیگر

Werner Nutt is a Professor at the Free University of Bozen-Bolzano , Italy, affiliated with the Faculty of Computer Science since 2005. He previously held academic positions as a Reader at Heriot-Watt University (2000-2005), Visiting Professor at Hebrew University of Jerusalem, and Research Scientist at DFKI (1992-2000). Current Role: Professor, Free University of Bozen-Bolzano Past Roles: Reader (Heriot-Watt), Visiting Professor (Hebrew University), Research Scientist (DFKI) Research Interests focus on Data Management , Knowledge Representation , and Intelligent Information Extraction , with emphasis on modeling Construction Processes and ensuring Data Quality . His work bridges Semantic Web technologies with Business Process Management , notably through the COCkPiT project (2017-present) for construction process optimization. Key Contributions include foundational work on Query Completeness in databases, SPARQL Reasoning , and Semantic Diagnostics . He has published extensively in venues like ISWC , BPM , and CIKM , with an h-index of 35 on Google Scholar. His 154+ publications span topics from Probabilistic XML to Construction Process Modeling .

Zhoulai Fuمشاهده پروفایل

دانشیار

• Programming Language Theory and Implementation
• Program Analysis
• Testing and Verification
• +۵ مورد دیگر

Zhoulai Fu is a tenured Associate Professor at the State University of New York (SUNY), Korea, specializing in programming languages and software security. He also holds joint appointments as a Research Associate Professor at Stony Brook University and is affiliated with the Electrical and Computer Engineering Department at Virginia Tech. His educational background includes: Ph.D., 2009-2013, INRIA – Université de Rennes 1, France M.Eng., 2008-2009, Télécom ParisTech, France M.S, B.S, and French engineer degrees (Ingénieur), 2005-2008, École Polytechnique, France Professor Fu's research focuses on the intersection of Programming Languages, Software Security, and Large Language Models, with special emphasis on improving software reliability through formal methods, numerical error analysis, and scalable verification techniques . His work spans abstract interpretation, automated testing, and verification tools development. He has made significant contributions to floating-point analysis and program verification, with publications at top-tier conferences including PLDI, POPL, OOPSLA, ICSE, and CAV. His publication record shows a consistent trajectory in programming language theory with increasing practical applications. Early work focused on foundational aspects of abstract interpretation and floating-point analysis, while recent papers address security concerns through programming language techniques and incorporate modern approaches like incorrectness logic. Key themes across his publications include formal verification of low-level code, numerical error analysis, and developing scalable analysis tools for real-world software systems. His notable achievements include: Principal Investigator for DARPA E-BOSS Program funding Sole Principal Investigator for National Research Foundation of Korea funding Program Committee membership for POPL 2026, FSE 2024, and PLDI 2023 Professor Fu actively mentors students and has taught courses including Foundations of Computer Science, Programming Abstractions, and Research in Computer Science. His research is supported by significant grants from DARPA and NRF, enabling him to lead the Data & Intelligent Computing Lab at SUNY Korea. He is currently seeking postdocs, PhD, and graduate students to join his research team. He leads the Data & Intelligent Computing Lab, which focuses on advancing programming language techniques for software reliability and security. The lab collaborates with institutions including Virginia Tech, Stony Brook University, and international partners across Europe, working on projects that bridge theoretical computer science with practical software engineering challenges.

Isambo Karaliمشاهده پروفایل

استادیار

• Knowledge Representation and Reasoning with Uncertainty
• Artificial intelligence
• Logic Programming
• +۱۰ مورد دیگر

Isambo Karali is an Assistant Professor in the Department of Informatics and Telecommunications at the National and Kapodistrian University of Athens, a position she has held since November 2007. Prior to this, she served as a Lecturer at the same department from September 1999 to November 2007. Her academic career spans over three decades with significant contributions to knowledge representation, uncertainty reasoning, and semantic web technologies. Dr. Karali's educational background includes: PhD in Informatics (1995) from the University of Athens MSc in Computer Science (1988) from University College, University of London Bachelor of Mathematics (1986) from the Department of Mathematics, University of Athens Dr. Karali's research focuses on Knowledge Representation and Reasoning with Uncertainty, Artificial Intelligence, Logic Programming, and Object-Oriented Programming. She has made significant contributions to applying Dempster-Shafer theory for handling uncertainty in Semantic Web applications. Her work bridges theoretical foundations of logic programming with practical applications in knowledge representation, particularly in distributed and heterogeneous environments. She has supervised numerous PhD and master's theses in these areas. Her recent publications demonstrate a strong trend toward integrating uncertainty reasoning with Semantic Web technologies, particularly using Dempster-Shafer theory and fuzzy logic. Her work addresses challenges in managing imprecise and uncertain information in large-scale knowledge systems, with applications in recommendation systems, news analysis, and semantic search. The interdisciplinary nature of her research connects artificial intelligence, knowledge representation, and web technologies to solve complex information management problems. Dr. Karali has been actively involved in research funding and collaboration: Principal Investigator for "Handling uncertainty in data intensive applications on a distributed computing environment (cloud computing)" under the "Thalis" Program Scientific Responsible for "Artificial Intelligence and Logic Programming Techniques for Knowledge on the World Wide Web" at the National and Kapodistrian University of Athens Scientific Responsible for "Semantic Web and Logic Programming - Application to Guided Search" at the National and Kapodistrian University of Athens Participant in multiple EU research projects including MISSION, COSMOS, ADDSIA, PARACHUTE, APPLAUSE, and EDS As an educator, Dr. Karali has taught core undergraduate courses including Object-Oriented Programming and Logic Programming, as well as graduate courses on Knowledge Technologies and Artificial Intelligence. She has supervised numerous PhD and master's students, with a focus on uncertainty reasoning, semantic web technologies, and logic programming applications. Her mentorship extends to student competitions, including guiding the Department's team in the Microsoft ImagineCup 2009. Dr. Karali has also contributed to the academic community through service activities, including membership on program committees for conferences like IEEE ICTAI, reviewer for prestigious journals, and organizational roles in academic events. From 2000 to 2012, she was responsible for the Department's website, contributing to its architecture design and system development.

Emily Machadoمشاهده پروفایل

دانشیار

• Multilingual Education
• Early Childhood Literacy
• Educational Equity
• +۳ مورد دیگر

Emily Machado is an Associate Professor in the School of Education at the University of Wisconsin-Madison. She holds a PhD in Curriculum & Instruction from the University of Illinois at Chicago (2018), an MAT in English for Speakers of Other Languages from American University (2011), and a BS in Education and Social Policy from Northwestern University (2009). Her research focuses on multilingual literacy practices in early childhood classrooms, emphasizing translanguaging pedagogies and equity-driven educational approaches. Machado advocates for culturally sustaining practices that honor students' linguistic and cultural resources, particularly in linguistically diverse settings. Her work includes exploring how young children utilize their full communicative repertoires (languages, literacies, cultural practices) in writing, and how educators can create inclusive classroom spaces. Notable contributions address liberatory pedagogies, intergenerational learning, and dismantling carceral logics in education. Machado has been recognized with awards including the Literacy Research Association's Early Career Achievement Award (2023) and multiple dissertation awards from the American Educational Research Association (2019–2020). Machado's research extends to teacher education, examining how preservice teachers enact translanguaging strategies and resist linguistic ideologies that marginalize multilingual learners. Her community-focused initiatives include intergenerational storytelling workshops and collaborations with families to center culturally sustaining practices. She actively contributes to professional development programs for educators aiming to reimagine literacy instruction through an equity lens. Awards: Literacy Research Association Early Career Achievement Award, AERA SIG Early Career Award, and multiple Outstanding Dissertation Awards Key Themes: Translanguaging, Equity in Literacy Education, Early Childhood Pedagogy, Community-Based Learning Collaborations: Partnerships with urban schools, community libraries, and intergenerational programs

Martin Schoeberlمشاهده پروفایل

استاد

• Real-Time Systems
• Embedded Systems
• Multicore Processing
• +۳ مورد دیگر

Professor Martin Schoeberl is affiliated with the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU). His research focuses on real-time systems, worst-case execution time analysis, and embedded systems engineering. He is actively involved in projects such as Rigoletto, aiming to develop high-performance automotive processors using RISC-V architecture. Research Interests: Schoeberl's work spans time-predictable processors, network-on-chip architectures, and hardware-software co-design for cyber-physical systems. He explores methodologies to ensure deterministic behavior in multicore environments and develops tools for WCET analysis. His contributions include advancements in compiler optimizations for neural networks and temporal semantics in embedded systems. Advising & Grants: Schoeberl supervises PhD students such as E. Khodadad (on rigorous design of time-predictable systems) and A. Cerioli (on compiler optimizations for neural networks). He leads or participates in funded projects including Rigoletto (2025-2028) and Multi-Core Architecture for L1 Deterministic Processing (2022-2025). These projects aim to enhance real-time capabilities in embedded systems and automotive computing platforms. Labs & Teams: As part of the Embedded Systems Engineering group at DTU, Schoeberl collaborates on hardware generators using Chisel and designs reactor-oriented architectures for cyber-physical systems. His work integrates reconfigurable logic and synchronous models to create efficient, time-predictable solutions.

• Programming Languages
• Concurrency
• Embedded Systems
• +۴ مورد دیگر

Dr. Emil Sekerinski is a Professor in the Department of Computing and Software at McMaster University. He holds the position of Undergraduate Advisor for Computer Science (Jan 1, 2025 – June 30, 2025). His expertise spans programming logic (verification, refinement), concurrency (components, implementation), embedded systems (modelling, analysis), and programming languages (run-time, compilation). He is actively involved in research clusters focused on Digital & Smart Systems. His research interests emphasize formal methods in computer science, concurrency theory, parallel algorithms, and embedded systems design. He has contributed to advancing methodologies for software quality assurance and system reliability through formal specifications and automated verification techniques. Recent work includes efficient synchronization mechanisms for object-oriented programming languages and formal development of delay-tolerant multicast protocols for wireless sensors. Dr. Sekerinski has organized and participated in major conferences such as FMTea'24 (Co-Chair) and ICTAC'24 (Program Committee). His teaching includes advanced courses like CAS 781 Advanced Topics: Advanced Compiler Design and Optimization and SFWR ENG 3BB4 Concurrent System Design . He maintains an active presence in academic outreach through LinkedIn, Instagram, and other platforms. His work bridges theoretical foundations with practical applications, including environmental sensor data analysis and holistic embedded system development. Despite no explicit mention of awards, his contributions to formal methods education and research are widely recognized in his field.

Boris Motikمشاهده پروفایل

استاد

• Semantic Web
• Datalog
• Knowledge representation
• +۲ مورد دیگر

Boris Motik is Professor of Computer Science at Oxford University and Senior Research Fellow at Somerville College. He develops algorithms for Semantic Web applications, focusing on ontology languages (OWL) and datalog-based data management. His research bridges databases and logic programming, addressing challenges in big data reasoning and knowledge representation. Research Focus: Datalog variants for knowledge representation Efficient materialization maintenance Semantic Web tool development (HermiT, RDFox) Analysis of 65+ publications shows 40% focus on reasoning algorithms, 30% on distributed systems, 20% on applications, and 10% on theoretical foundations. Recent work emphasizes scalable graph querying. Awards & Industry Projects: Roger Needham Award (2013) Cor Baayen Award (2007) Industry collaborations with Oracle, Samsung, EDF Founded Oxford Semantic Technologies startup

Brijesh Dongolمشاهده پروفایل

استاد

• Formal Verification
• Concurrent Systems
• Weak Memory Models
• +۴ مورد دیگر

Prof. Brijesh Dongol is a Professor at the University of Surrey and Director of the UK Research Institute on Verified Trustworthy Software Systems (VeTSS). He leads research in formal techniques for concurrent and real-time systems, including transactional memory, weak memory models, and hybrid systems. His work emphasizes verification methods to ensure correctness in complex software systems. Education: BSc in Computer Science and Mathematics, BSc (Hons) in Logic and Computation from Victoria University of Wellington (NZ), PhD from University of Queensland (Australia). Postdoctoral roles at University of Queensland and University of Sheffield followed, before joining Brunel University London as a Lecturer and later the University of Surrey as Senior Lecturer. Research interests focus on formal verification of concurrent systems, with contributions to weak memory models, transactional memory protocols, and formal methods education. He has led EPSRC-funded projects totaling over £3.5 million, including grants on secure remote memory access and concurrent programming for advanced architectures. Notable roles include editorial board memberships (Formal Aspects of Computing), program committees (ESOP, FM, FACS), and international conference steering boards (iFM). His advisory roles include the ACM CS202X panel on Programming Languages. Current projects (2023-2027) include CHIST-ERA's REDONDA blockchain protocol, EPSRC grants on secure RDMA and concurrent programming. Supervised 10+ PhD students and postdocs, with alumni now in industry (e.g., Axiomise, Arm) and academia (Imperial College London). Labs/Teams: Director of VeTSS, collaborates internationally on projects like RoboCalc and RoboTest. Active in software engineering for robotics (RoboSoft RAEng initiative).

Steven Xiaotian Daiمشاهده پروفایل

مدرس

• Real-Time Systems
• Cyber-Physical Systems (CPS)
• Robotics
• +۶ مورد دیگر

Dr. Steven Xiaotian Dai is a Lecturer in Cyber-Physical Systems at the Department of Computer Science, University of York, UK. He leads the ReFLEX Lab and is affiliated with the Real-Time and Distributed Systems Group. His research focuses on real-time scheduling, digital twins, and safety assurance in autonomous systems, with applications in aerospace, robotics, and avionics. He holds a PhD from the University of York (2019, Best Thesis Award) and has contributed to prestigious projects like SCHEME (Innovate UK) and MOCHA (Huawei). Dr. Dai’s academic qualifications include a PhD in Real-Time Systems (York), MSc in Control Systems (Sheffield), and BSc in Automatic Control (Nanjing). His research grants include £2.2M from Innovate UK for SCHEME and £985K from Huawei for MOCHA. He actively serves on program committees for leading conferences like RTSS and RTAS. His research interests encompass real-time scheduling on multi-cores, timing assurance for CPS, and hardware-software co-design. Collaborations span industries and academia globally, addressing challenges in safety-critical systems. Dr. Dai supervises multiple PhD and MSc students, emphasizing adaptive scheduling, digital twins, and robotics. He is a member of IEEE CS, IEEE RAS, and ACM SIGBED, and his work has been published in over 30 peer-reviewed articles. The ReFLEX Lab explores cutting-edge topics like routerless network-on-chip optimization and ROS 2 executor timing analysis.

Hongwei Xiمشاهده پروفایل

دانشیار

• Programming Languages
• Type Theory
• Dependent Types
• +۴ مورد دیگر

Hongwei Xi is an Associate Professor in the Department of Computer Science at Boston University, affiliated with the College of Arts & Sciences. He holds a PhD in Pure and Applied Logic from Carnegie Mellon University (1998). His primary research focuses on applying advanced type theory to programming language design, particularly through the development of the ATS programming language. This language emphasizes safe software construction via a paradigm combining programming with theorem proving. Dr. Xi's work includes pioneering contributions to dependent and linear types for practical programming, as well as serving on program committees for major ACM conferences like POPL and PLDI. His research interests span type systems, formal verification, and concurrency models. He has authored numerous publications on topics such as session types, multirole logic, and dependently typed programming languages. Dr. Xi’s academic contributions also include the design of the ATS language and its implementation, which demonstrates practical applications of type-theoretic principles. His recent work explores two-level linear dependent type theories and multirole logic frameworks for multiparty systems. His professional activities include advising on language design and verification methodologies, though specific grant details are not detailed in the provided materials. Dr. Xi is actively involved in advancing the theoretical foundations of programming languages while ensuring practical applicability in real-world software development.

Dino Distefanoمشاهده پروفایل

استاد

• Software Verification
• Program Analysis
• Static Analysis
• +۳ مورد دیگر

Professor Dino Distefano is a Professor of Software Verification at Queen Mary University of London's School of Electronic Engineering and Computer Science. He is currently on leave at Anthropic, focusing on connections between large language models and program verification. His research centers on automatic program verification, leveraging separation logic and scalable static analysis tools like Infer, which is widely used at Meta and other tech giants. Distefano co-founded Monoidics, acquired by Facebook in 2013, and leads WhatsApp's Dev Infra Org, developing tools to enhance software reliability and security. Education: PhD from the University of Twente, Netherlands. Awards include the IEEE Cybersecurity Award (2021), ACM SIGPLAN POPL 2019 Most Influential Paper Award, and Royal Academy of Engineering Silver Medal (2014). His work spans formal methods, program analysis, and industrial-scale verification tools. Publications focus on compositional verification, dynamic/static analysis integration, and privacy-aware code analysis. He has contributed to over 50 conferences and workshops, including key roles on program committees for VMCAI, ECOOP, and CAV.