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

Robert Randمشاهده پروفایل

استادیار

• Quantum Computing
• Formal Verification
• Quantum Programming
• +۳ مورد دیگر

Robert Rand is an Assistant Professor of Computer Science at the University of Chicago, affiliated with the Programming Languages Research Group and the Chicago Quantum Exchange . His research bridges programming languages, formal verification, and quantum computation. Dr. Rand focuses on Quantum Computing , Formal Verification , and Quantum Programming . He develops tools like QWIRE for quantum circuit representation and VOQC for verified quantum compilers. Current work includes a textbook on verified quantum programming. His publications span quantum compiler verification, algebraic quantum languages, and formal methods in quantum computing. Recent projects involve error-correction, type systems, and quantum-classical interoperability through Qunity . Scientific Awards 2023 AFOSR Young Investigator Research Program Award France and Chicago Collaborating in the Sciences Award 2022 Keynote Speaker, Compiler Construction Distinguished paper awards: PLDI 2021, POPL 2019 Victor Basili Postdoctoral Fellowship (UMD) Dr. Rand actively collaborates on NSF-funded EPiQC (Enabling Practical-Scale Quantum Computing) and teaches advanced topics in quantum programming languages. He is currently working on a textbook on verified quantum programming and maintains active research groups in both Programming Languages and Quantum Computing.

Amar Hadzihasanovicمشاهده پروفایل

استادیار

• Category Theory
• Higher-Dimensional Algebra
• Quantum Computing
• +۳ مورد دیگر

Amar Hadzihasanovic is an Assistant Professor at Tallinn University of Technology, affiliated with the Compositional Systems and Methods group, and a Scientific Advisor at Quantinuum. He specializes in category theory, higher-dimensional algebra, and their applications in quantum computing and formal systems. His recent work includes organizing the 110th Peripatetic Seminar on Sheaves and Logic (PSSL) and completing a book on higher-categorical diagrams with Cambridge University Press. Hadzihasanovic has been awarded grants from ARIA (Safeguarded AI programme) and the Estonian Research Council, supporting his research on diagrammatic rewriting and homotopy theory. His research interests span categorical foundations, diagrammatic sets, and computational aspects of higher-dimensional structures. Key contributions include model structures for (∞, n)-categories, acyclicity conditions in pasting diagrams, and formal axiomatizations of quantum systems. He has advised PhD students Alkis Ioannidis and Clémence Chanavat, and collaborates widely with institutions like the University of Cambridge and Quantinuum. Hadzihasanovic has delivered invited talks at conferences such as Category Theory 2024, the Nordic Congress of Mathematicians, and the Geometric and Topological Methods in Computer Science (GETCO). His teaching includes a course on category theory and diagrammatic reasoning at Kyoto University. His software, including the rewalt library, supports topologically sound higher-dimensional diagram rewriting.

• Data Science
• Artificial Intelligence Explainability
• Web Science
• +۵ مورد دیگر

Marco Brambilla is a Professor at Politecnico di Milano and a Lecturer at Università della Svizzera italiana (USI) . He leads the Data Science Lab at Politecnico di Milano's Department of Electronics, Information and Bioengineering (DEIB) and serves as director of Computer Science and Engineering B.Sc. and M.Sc. curricula . Research focus on data science, AI explainability, web science, crowdsourcing, model-driven development, and social media analytics Co-inventor of the OMG IFML standard and holder of 2 patents on crowdsourcing and multi-domain search Founder of four startups: WebRatio, Fluxedo, Servitly, and Quantia His recent publications explore: Graph-based Retrieval Augmented Generation for energy efficiency Human-AI interaction analysis through live streaming platforms Model-driven approaches for multiexperience AI interfaces Explainable AI with human-in-the-loop validation Scientific contributions include: Best paper awards at international conferences Associate editor role at SIGMOD Records Editorial contributions to the PERISCOPE H2020 project on pandemic impacts He actively participates in European research initiatives such as: TRIGGER project on EU global governance PERISCOPE for pandemic preparedness

• Accounting
• Auditing
• Corporate Governance
• +۵ مورد دیگر

Christine Jubb is a Professor of Accounting at Swinburne University of Technology's School of Business, Law and Entrepreneurship. She specializes in auditing, corporate governance, and environmental, social, and governance (ESG) reporting, with significant contributions to research on climate-related disclosures, carbon pricing impacts, and boardroom diversity. Her work frequently employs empirical methods and policy analysis to address regulatory frameworks in Australia and globally. Professional Activities and Roles: She has served on the Auditing and Assurance Standards Board (2005–2010), chaired the Australian National Centre for Audit & Assurance (2010–2012), and currently chairs Swinburne's Senate. She is actively involved in public consultations on sustainability reporting standards and has led over 15 grants, including Australian Research Council projects focusing on corporate governance and environmental reporting. Key Research Focus: ESG assurance, gender diversity in corporate boards, and the impact of carbon pricing policies. Grants: Includes ARC grants on regulatory responses to corporate collapses (2005–2009) and carbon taxation (2004–2005). Awards: Recognized as a Top Research Supervisor (ANU, 2009) and frequently publishes in top journals like Business Strategy and the Environment and British Accounting Review . Her recent work explores how female director representation and environmental committees influence corporate performance and capital market outcomes. She also advises on climate-related financial disclosures and their implications for investor decision-making.

Kazuhiro Ogataمشاهده پروفایل

استاد

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

Kazuhiro Ogata is a Professor in the School of Information Science at Japan Advanced Institute of Science and Technology (JAIST). He actively teaches courses such as i116 Basic of Programming, i217 Functional Programming, and i219 Software Design Methodology, indicating a strong commitment to computer science education and curriculum development. Institution: Japan Advanced Institute of Science and Technology (JAIST) School: School of Information Science Position: Professor Email: ogata@jaist.ac.jp Research Laboratory: http://www.jaist.ac.jp/~ogata/lab/ His research interests center on programming languages, software design methodology, formal methods, and compiler construction. He emphasizes formal verification using theorem proving and rewriting logic, particularly with tools like Maude. His work bridges theoretical computer science with practical software engineering and education, focusing on correctness, design patterns, and language semantics. The analysis of his recent publications reveals a consistent focus on formal specification, verification of software systems, and educational tools for programming. His work spans functional programming, concurrent systems, and distributed algorithms, often using rewriting logic as a unifying framework. He integrates formal methods into both research and teaching, promoting rigorous software development practices. No scientific awards are explicitly mentioned in the provided texts. Kazuhiro Ogata advises students through his laboratory at JAIST and has developed structured course materials that suggest active mentorship. While specific grant information is not available, his sustained research output and tool development imply ongoing project funding. He contributes to academic outreach through summer schools and educational frameworks. He leads a research laboratory focused on formal methods and programming language design, fostering a collaborative environment for students and researchers. The lab develops tools for teaching and verifying software systems, emphasizing correctness and educational impact.

• Cybersecurity
• Formal Verification
• Cyber-Physical Systems
• +۷ مورد دیگر

Marjan Sirjani is a Professor at Mälardalen University, affiliated with the School of Innovation, Design and Engineering, and the Division of Computer Science and Software Engineering. Her research focuses on cybersecurity, formal verification, and cyber-physical systems, with notable contributions to actor-based modeling (e.g., Timed Rebeca) and tools like AFRA for model analysis. She specializes in integrating formal methods into safety-critical systems, including automotive cybersecurity, ROS2 robotics, and blockchain-based IoT systems. Her work emphasizes rigorous analysis of protocols, concurrency, and real-time constraints. Recent projects include the CRYSTAL framework for CPS assurance, Tiny Twins for runtime attack detection, and applying LLMs for automated test generation. She also explores semantic segmentation in construction and compositional analysis of distributed systems. Publications highlight advancements in protocol learning, controller synthesis for safety, and model-driven development. Her research bridges theoretical foundations (e.g., automata theory, temporal logics) with practical applications in autonomous systems, medical device interoperability, and smart mobility. Labs/Teams: Involved in the Rebeca tool development (AFRA) and collaborative projects on CPS security. Grants: Not explicitly listed but implied through project involvement.

• Theoretical Computer Science
• Automata Theory
• Formal Verification
• +۷ مورد دیگر

Ulrich Ultes-Nitsche is a Professor in the Department of Informatics at the University of Fribourg, where he also serves as Dean of the Faculty of Science and Medicine. His research spans theoretical computer science, formal methods, and cybersecurity, with a strong focus on automata theory, model checking, and secure network systems. Institution: University of Fribourg School: Faculty of Science and Medicine Department: Department of Informatics Role: Professor and Dean His research interests include theoretical computer science, automata theory, formal verification, temporal logic, and cybersecurity. He has made significant contributions to the understanding of Büchi automata, liveness properties, and secure authentication mechanisms using Trusted Platform Modules. His interdisciplinary work extends to secure medical data access and ecological network analysis. The recent publications highlight a clear trend: a deep and sustained focus on automata theory, particularly Büchi automata, with increasing integration of machine learning techniques like graph neural networks for analysis. His earlier work laid foundational contributions in formal verification, model checking under fairness, and secure network protocols, especially in firewall and EAP-TLS authentication. The research consistently bridges theoretical computer science with practical security applications. Carolin Latze InSeon Yoo Dominik Jungo David Buchmann Thierry Nicola Michael Hayoz Christoph Ehret Nayla Sokhn Ulrich Ultes-Nitsche has led and co-organized numerous international workshops (e.g., NCMA, MSVVEIS, VCL) on formal methods and verification, demonstrating a strong commitment to the academic community. His work has been supported by research in formal verification, network security, and trusted computing, often involving collaborations across institutions. He has also contributed to projects involving secure e-commerce, medical data access, and enterprise information systems. He has been a key figure in organizing and editing proceedings for the International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS) and the ACM Sigplan Workshop on Verification and Computational Logic (VCL), fostering research communities in formal methods and verification.

• Power Electronics
• Building Automation
• Energy Conversion Systems
• +۳ مورد دیگر

Marcin Jachimski serves as a lecturer at the Department of Power Electronics and Automation of Energy Conversion Systems within the Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering at AGH University of Science and Technology in Kraków. His academic role involves teaching and research focused on energy-efficient technologies and advanced control systems, with particular emphasis on practical applications in building automation and industrial processes. Dr. Jachimski holds both a PhD and an engineering degree (Eng.), establishing his foundation in electrical engineering principles. His educational credentials, while not detailed in available sources, underpin his expertise in power electronics and automation systems that drive his current academic work. His research spans multiple critical domains including Power Electronics for efficient energy conversion, Building Automation systems optimizing energy usage in structures, and Energy Conversion Systems for sustainable power management. He also investigates Electrical Energy Consumption monitoring techniques and develops advanced Control Systems for industrial applications, with growing interest in event-based data acquisition methods and energy-saving lighting technologies. Analysis of Dr. Jachimski's publication trends (2006-2020) reveals consistent focus on energy efficiency within building automation systems, particularly event-based electricity metering and LED/CFL lamp consumption analysis. His work demonstrates strong practical orientation through applications in lime processing control systems, industrial machine monitoring, and hardware implementations for safety functions, with increasing integration of LonWorks and TCP/IP technologies in building management solutions. No scientific awards or fellowships are documented in available sources, indicating his primary contributions occur through academic publications and teaching activities rather than formal recognitions. As a lecturer, Dr. Jachimski likely mentors undergraduate and graduate students, though specific advisees are not listed in available information. Details regarding research grants secured through competitive funding mechanisms are also absent from current documentation. His departmental affiliation suggests active participation in research teams developing energy conversion solutions and automation systems, though specific laboratory names or team structures are not explicitly mentioned in available materials. The department's focus implies collaborative work on industrial automation projects and energy monitoring systems.

• Building Automation
• Energy Management
• Query Optimization
• +۷ مورد دیگر

Paulo Carreira is an Associate Professor at Instituto Superior Técnico , Universidade de Lisboa. His research focuses on Building Automation , Energy Management , and Data Integration , with a particular emphasis on Smart Urban Environments and Cyber-Physical Systems . Fields: Building Automation, Energy Management, Data Privacy, Query Optimization, ETL, Streaming Query Processing Research Trends : His recent work spans from SQL Injection Attacks in LLM-integrated systems to Multi-Paradigm Modeling for Cyber-Physical Systems. Publications highlight his expertise in Energy Efficiency in buildings and BIM Integration with real-time data. Scientific Awards : Best Student Paper Award Nomination for Best Paper Award

Ravi Sethiمشاهده پروفایل

استاد

• Software technologies
• communications systems
• compilers
• +۲ مورد دیگر

Ravi Sethi serves as a Laureate Professor in the Department of Computer Science within the College of Engineering at the University of Arizona. His office is located in GS 842, and he can be contacted via email at rsethi@cs.arizona.edu or by phone at 520-621-0689. His primary research interests include: Software technologies Communications systems Compilers Programming languages Algorithms Professor Sethi is renowned for his foundational contributions to compiler design, particularly as co-author of the seminal textbook "Compilers: Principles, Techniques and Tools". His publication record spans over four decades with works translated into multiple languages, reflecting global influence in computer science education. Analysis of his recent articles reveals persistent focus on compiler construction, programming language semantics, and software engineering methodologies. Key trends include modern compiler optimizations, formal language theory, and enterprise communication systems, demonstrating sustained relevance in evolving technical landscapes. No scientific awards, student advising details, grant information, or laboratory affiliations were mentioned in the provided text.

Anders Møllerمشاهده پروفایل

استاد

• Static Program Analysis
• Dynamic Program Analysis
• JavaScript
• +۵ مورد دیگر

Anders Møller is a Professor at the Department of Computer Science , Aarhus University , Denmark. His career spans roles as an author , committee member , and session chair in conferences like SPLASH, OOPSLA, ECOOP, ISSTA, ICSE, and PLDI. Affiliation: Aarhus University Co-founder: Coana Research Focus : Specializing in static and dynamic program analysis for JavaScript, TypeScript, Java, and Node.js applications, his work addresses: Pointer analysis precision in Java Race condition detection in Node.js Library evolution and semantic patching Soundness improvements in static analyzers Type safety in modern languages Concolic execution for web testing Publication Trends : Recent work (2021–2024) emphasizes security-critical static analysis (taint specifications, Node.js security), soundness optimization (approximate interpretation), and program verification (channel-based communication). Earlier work (2013–2018) includes foundational contributions to JavaScript refactoring , Dart type safety , and AJAX race detection . Scientific Recognition : ISSTA 2019 Distinguished Paper Award Leadership Roles : Active in steering committees for SPLASH, ECOOP, and SIGPLAN, with chairs in OOPSLA, ECOOP, and PLDI program committees.

Anna Sågvall Heinمشاهده پروفایل

استاد

• Machine Translation
• Computational Linguistics
• Natural Language Processing
• +۳ مورد دیگر

Anna Sågvall Hein is a Professor in Computational Linguistics at Uppsala University's Department of Linguistics and Philology. She concurrently serves as CEO and Head of the Board of Convertus AB, a Uppsala University spin-off specializing in machine translation technology since its 2006 founding. Her research centers on Machine Translation and Computational Linguistics , with significant contributions to Swedish-Turkish language pair systems, parallel corpus development, and grammar checking methodologies. Her work bridges theoretical linguistics with industrial applications, particularly in resource-scarce language scenarios and controlled language environments. Publication analysis reveals consistent focus on machine translation architecture evolution, parallel corpus construction for minority languages, and human-computer interaction in mobile text processing. Her MATS system development demonstrates a 'glass box' transparency approach to translation engineering. She leads major initiatives including the PLUG project (Parallel Corpora in Linköping, Uppsala, Göteborg) and the Supporting Research Environment for Swedish and Turkish. Her industry role at Convertus AB drives commercialization of academic language technology research through practical machine translation solutions.

Thomas W. Repsمشاهده پروفایل

استاد

• Program analysis
• Abstract interpretation
• Model checking
• +۷ مورد دیگر

Thomas W. Reps is the J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair in the Computer Sciences Department of the University of Wisconsin-Madison, where he has been a faculty member since 1985. He is also President of GrammaTech, Inc., which he co-founded in 1988 to commercialize research on programming environments. Reps received his Ph.D. in Computer Science from Cornell University in 1982, winning the ACM Doctoral Dissertation Award. His research spans program analysis, abstract interpretation, model checking, programming languages, and computer security. Reps's most influential work includes pioneering program slicing techniques with Susan Horwitz, development of the Cornell Program Synthesizer and Synthesizer Generator with Tim Teitelbaum, and significant contributions to interprocedural dataflow analysis. His recent work extends into quantum computing and advanced program synthesis techniques. The analysis of his publications reveals consistent focus on program analysis techniques, with recent papers exploring quantum circuit verification, abstract transformer synthesis, and program synthesis. His work bridges theoretical foundations with practical applications, often addressing scalability challenges in program analysis. NSF Presidential Young Investigator Award (1986) Packard Fellowship (1988) ACM Fellow (2005) ACM SIGPLAN Programming Languages Achievement Award (2017) Elected foreign member of Academia Europaea (2013) Multiple best paper awards including ETAPS (2004, 2008) Reps has advised numerous students, several of whom have received departmental and national recognition. His work on the Wisconsin Program-Slicing Tool led to commercial products through GrammaTech. He has served on advisory boards for significant projects including Year 2000 remediation for the Department of Defense and F/A-22 avionics software integration.

• Sanskrit linguistics
• Indo-European syntax
• Ancient language pedagogy
• +۵ مورد دیگر

Dr. Antonia Ruppel is a Lecturer in Sanskrit at the School of Oriental and African Studies (SOAS), University of London , affiliated with the School of History, Religions and Philosophies . Her work bridges classical philology with modern linguistic theory and pedagogy. Institution : SOAS University of London School : School of History, Religions and Philosophies Role : Lecturer in Sanskrit Contact : ar83@soas.ac.uk Research Interests: Sanskrit syntax and morphology, with a focus on passives and causatives Indo-European comparative grammar and historical reconstruction Development of absolute constructions in early Indo-European languages Innovations in ancient language pedagogy and digital education platforms Curriculum design for classical languages in modern educational contexts Corpus-based analysis of Vedic and Classical Sanskrit texts Her recent publications demonstrate a dual focus on advancing linguistic theory while creating practical tools for Sanskrit learners, including textbooks and digital environments. She has pioneered initiatives to reintroduce Sanskrit to UK schools through modern pedagogical frameworks. Scientific Awards: No formal awards mentioned in the provided data Dr. Ruppel's work has significantly impacted Sanskrit education through innovative resources like The Cambridge Introduction to Sanskrit and research into grammatical constructions that shape our understanding of Indo-European language evolution.

Sašo Živanovićمشاهده پروفایل

استادیار

• Semantics
• Quantification
• Phonology
• +۴ مورد دیگر

Sašo Živanović is an Assistant Professor at the Department of Comparative and General Linguistics, Faculty of Arts, University of Ljubljana. He holds a PhD in General Linguistics (2007) and a Diploma in Theoretical Mathematics (2002), and has been continuously employed at the university since 2007. His educational background reflects an interdisciplinary approach, combining mathematical rigor with linguistic theory. This foundation supports his research at the intersection of formal linguistics and computational methods. Živanović's research spans theoretical linguistics with particular emphasis on semantics (especially quantification), phonology, and syntax. His work demonstrates a consistent focus on the formal properties of language structure, with publications ranging from theoretical explorations of logical form to practical applications in linguistic documentation. His recent work shows increasing integration of computational approaches, particularly through his development of specialized LaTeX packages for linguistic research. Analysis of his publication record reveals a dual trajectory: theoretical contributions to linguistic theory (particularly in Slavic languages) and practical tools for linguistic documentation and analysis. His most recent publications demonstrate growing interest in computational linguistics and the development of specialized software tools for linguistic research. Živanović maintains an active presence in both academic and open-source communities, with significant contributions to the LaTeX ecosystem through packages like Memoize, Forest, and SignDraw that address specific needs in linguistic research and publication. As an educator, he teaches courses including Phonetics and Phonology, Linguistic Typology, Modern Linguistic Theories, and LaTeX for Linguists, demonstrating his commitment to equipping students with both theoretical knowledge and practical technical skills essential for contemporary linguistic research.