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

Adi Yoga Sidi Prabawaمشاهده پروفایل

مدرس ارشد

• Automated Software Verification
• Language-based Information Flow Control
• Type System
• +۴ مورد دیگر

Adi Yoga Sidi Prabawa is a Senior Lecturer (Educator Track) at the National University of Singapore's School of Computing, Department of Computer Science. He also serves as Deputy Director of the Centre for Nurturing Computing Excellence (CeNCE). His academic journey includes a B.Sc. in Computer Science (2011) and Ph.D. in Computer Science (2019), both from NUS. His research focuses on Automated Software Verification , Language-based Information Flow Control , Type System , and Program Analysis . His work bridges theoretical computer science with practical security applications. His teaching spans computer organization, database systems, and programming languages, where he has developed educational tools for MIPS processor simulation and compiler implementation. His research publications include work presented at VMCAI 2018 and APLAS 2019, focusing on information flow verification and lattice representation in theorem provers. These works demonstrate his expertise in formal methods and programming language theory. IBM Certified Database Associate Microsoft Certified Technology Specialist Microsoft SQL 2008 Business Intelligence Development and Maintenance As an educator, he has taught numerous courses including CS2100 Computer Organisation, CS2102 Database Systems, and CS1010E Programming Methodology across multiple semesters from 2018-2022. He has developed comprehensive educational materials including MIPS interpreter, assembler, and compiler tools that serve as valuable resources for students learning computer architecture.

Jon Sterlingمشاهده پروفایل

دانشیار

• Programming Languages
• Semantics
• Type Theory
• +۵ مورد دیگر

Jon Sterling is an Associate Professor at the Department of Computer Science and Technology, University of Cambridge. His research focuses on foundational aspects of programming languages and semantics, employing advanced mathematical frameworks such as type theory, category theory, domain theory, and topos theory. He is particularly known for contributions to cubical type theory, synthetic computability, and denotational semantics. His teaching responsibilities include lecturing on Discrete Mathematics (Part IA). Sterling's work bridges theoretical computer science and mathematics, emphasizing formal systems that ensure program correctness and computational adequacy. He has contributed to proof assistants like RedPRL and developed novel approaches to reasoning about higher-order store and effectful computations. His recent research explores topics such as univalent reference types, guarded domain theory, and cost-aware logical frameworks. Notable collaborations include work with Carnegie Mellon University and Aarhus University on foundational type-theoretic systems.

Guowei Yangمشاهده پروفایل

مدرس ارشد

• Software Engineering
• Machine Learning
• Programming Languages
• +۱ مورد دیگر

Dr. Guowei Yang is a Senior Lecturer at the School of Electrical Engineering and Computer Science , The University of Queensland, Australia. He transitioned to this role in 2021 after serving as a tenured Associate Professor at Texas State University's Department of Computer Science. His research focuses on the intersection of Software Engineering Machine Learning Programming Languages Cybersecurity with an emphasis on system reliability and security. His recent publications (2022-2025) analyze: Android API compatibility challenges Symbolic execution optimizations Fuzzing techniques for JVM security Moving target defense strategies Automated patch generation Constraint classification in code analysis He leads a research group seeking students with backgrounds in software engineering, formal methods, and AI. Current funding includes a 2023-2026 Oracle Corporation grant for DevSecOps analysis. Dr. Yang supervises multiple PhD and Master's projects, often as principal advisor, focusing on topics like deep learning testing, IoT analysis, and DevSecOps integration.

Tim Frenchمشاهده پروفایل

دانشیار

• Logic
• Artificial Intelligence
• Knowledge Representation and Reasoning
• +۵ مورد دیگر

Tim French is an Associate Professor in the Department of Computer Science and Software Engineering at the University of Western Australia's School of Physics, Maths and Computing. He is affiliated with the UWA Oceans Institute and serves as Regional Contest Director for the South Pacific Programming Contest and Programme Chair for the Australasian Conference on Artificial Intelligence 2022. His research focuses on logic, artificial intelligence, knowledge representation, and reasoning about uncertainty in multi-agent systems, probabilistic reasoning in games, and industrial applications like automated planning and machine learning for complex processes. French holds a PhD in Computer Science (2007) and BSc in Computer and Mathematical Sciences (1999), both from UWA. His expertise spans algorithms, automated reasoning, formal methods in software, and temporal logic verification systems. He has led or contributed to 6 major research projects including the ARC Research Hub for Transforming Energy Infrastructure and the ARC Training Centre for Transforming Maintenance through Data Science. His research outputs include 118 publications covering topics like aleatoric logic for probabilistic reasoning, semantic knowledge extraction from industrial maintenance systems, and deep learning applications in wastewater treatment. He has developed novel methods for knowledge graph construction, state estimation in complex systems, and user interface design informed by work characteristics models. Key grants: 6 active/finished projects totaling $M+ funding Leadership roles: Programming contest director, conference chair Interdisciplinary focus: Combines formal logic with industrial automation challenges French's work contributes to UN Sustainable Development Goals through education and innovation in sustainable industrial processes and environmental systems modeling. His team has developed practical solutions for maintenance procedure digitization, wastewater plant optimization, and robust agent-based systems for uncertain environments.

• Compilers
• Program Verification
• Formal Methods
• +۶ مورد دیگر

Nuno P. Lopes is an Associate Professor at Instituto Superior Técnico (University of Lisbon) and affiliated with INESC-ID . His research focuses on compiler optimization, program verification, formal methods, and hardware-software co-design for AI workloads. He advises students at both PhD and MSc levels in areas such as compilers, machine learning frameworks, and blockchain security. Education: PhD in Computer Science from Instituto Superior Técnico (2014), Master's from the same institution, and Bachelor's in Computer Science. Research Interests: Compilers, static analysis, LLVM optimization validation, undefined behavior exploitation, tensor contraction processors, and secure smart contract verification. He leads projects like Alive2 for LLVM optimization validation and Torchy , a tracing JIT compiler for PyTorch. Awards: Distinguished Paper at PLDI 2015, Best Paper at SPIN 2013. His student Juneyoung Lee won the EuroLLVM'19 SRC award and best PhD thesis in Seoul National University's Engineering College. Grants: Supported by Google, Matter Labs, Oracle, PRACE, and Woven by Toyota. His lab focuses on sustainable AI computing and compiler-driven optimizations. Current Projects: Alive2, TCP (Tensor Contraction Processor), and FuriosaAI collaborations. Advises students on topics like blockchain mining efficiency, Rust-C++ translation, and secure smart contract execution.

• Category Theory
• Type Theory
• Formal Semantics
• +۳ مورد دیگر

Dr. Roy Crole is an Associate Professor in the School of Computing and Mathematical Sciences at the University of Leicester. He holds a PhD in Computer Science from the University of Cambridge, where his thesis focused on 'Programming Metalogics with a Fixpoint Type.' After postdoctoral research at Imperial College London (funded by the ESPRIT project) and an EPSRC Fellowship, he joined Leicester in 1994. His academic journey includes studies in Mathematics at Churchill College, Cambridge (MA, MMath), followed by doctoral work under Prof. Andrew Pitts. His research spans Category Theory , Type Theory , and Formal Semantics , with a focus on multi-language systems, categorical logic, and foundational programming language theory. Key research contributions include work on multi-language abstraction, static analysis, and hybrid logical frameworks. His articles explore topics like nominal logic, Yoneda lemmas in category theory, and dependent type systems. Roy has received the SERC (now EPSRC) Open Research Fellowship and has contributed to international workshops on algebraic and coalgebraic methods in program construction. His teaching and supervision span advanced topics in theoretical computer science and mathematics.

• Static Analysis
• Logic Programming
• Program Verification
• +۴ مورد دیگر

Manuel V. Hermenegildo is a Professor at the Universidad Politécnica de Madrid, Spain. He is a prominent researcher in the field of programming languages and static analysis, with significant contributions to logic programming, program verification, and formal methods. His work focuses on advancing static analysis techniques, compiler optimization, and energy-efficient computing. He has co-authored numerous papers and organized international conferences such as LOPSTR and SAS, demonstrating his leadership in academic and research communities. His research explores topics including abstract interpretation, runtime checking, and parallel logic programming systems. He is a key contributor to the Ciao Prolog system, emphasizing comprehensive tool integration and formal methods. His research interests span static analysis frameworks, program verification, resource usage analysis, and energy efficiency in computing. He has developed methodologies for optimizing program performance while ensuring correctness, with applications in both theoretical and applied domains. His work often bridges the gap between high-level program analysis and low-level hardware constraints, particularly in embedded systems. Recent trends in his publications include advancements in static cost analysis, dynamic inference of invariants, and tools for incremental assertion checking. His collaborations with institutions like the University of Copenhagen and the University of Kent reflect a global network in advancing computational logic and software engineering. He has been actively involved in academic service, including editorial roles for conference proceedings and journals. His contributions highlight a commitment to both foundational research and practical tools for the programming language community.

Arthur Charguéraudمشاهده پروفایل

پژوهشگر

• Program Verification
• Separation Logic
• Interactive Theorem Proving
• +۸ مورد دیگر

Arthur Charguéraud is a senior researcher (Directeur de Recherche) at Inria, based in Strasbourg within the Camus team, affiliated with the iCube laboratory at Université de Strasbourg. His research spans program verification, program optimization, and mechanized semantics of programming languages, with a strong focus on separation logic and interactive theorem proving using Coq. Affiliation: Inria, Camus team, iCube Laboratory, Université de Strasbourg Position: Senior Researcher (Directeur de Recherche) Research Focus: Formal verification, separation logic, source-to-source transformations, high-performance computing His research interests center on developing formal methods to ensure correctness and efficiency in software systems. He works extensively on separation logic to verify both time and space complexity of programs, especially in the presence of garbage collection. His work bridges theoretical foundations with practical tools, such as the CFML framework and the OptiTrust optimization framework, which enables trustworthy source-to-source transformations with formal guarantees. His publications reveal a consistent focus on interactive verification, formal semantics, and performance optimization. Key themes include granularity control in parallelism, mechanized semantics (e.g., for JavaScript), and verified compilation. He has made significant contributions to separation logic, including extensions for time and space credits, big-O reasoning, and higher-order representation predicates. Arthur Charguéraud has received notable recognition for his work, including: Distinguished Paper Award at CPP 2022 SIGPLAN Research Highlight at PPoPP 2019 He has advised several PhD students and postdoctoral researchers, including Guillaume Bertholon, Alexandre Moine, and Armaël Guéneau. He leads the ANR-funded OptiTrust project (2022–2027), which aims to build a framework for verified source-to-source optimizations. He has also been involved in other major projects such as ANR VOCAL, ANR AJACS, and ERC DeepSea. His work is supported by both national (ANR, Inria) and institutional (CEA, ENS) grants. He is actively involved in the programming languages research community, serving on the program committees of top conferences including POPL, ICFP, PLDI, CPP, and CoqPL, and has chaired several workshops. He is also engaged in education and outreach, co-authoring the book Separation Logic Foundations in the Software Foundations series and designing challenges for the Concours Castor Informatique to promote computer science among young students.

• Distributed Software Systems
• Network Function Virtualization
• Formal Verification
• +۳ مورد دیگر

Patrick Eugster is a full professor at the Università della Svizzera italiana (USI) and leads the Software Systems (SWYSTEMS) group within the Computer Systems Institute . He has held academic positions at Purdue University, TU Darmstadt, and MIT as a visiting faculty. His research focuses on distributed software systems , addressing challenges in consistency, efficiency, and security in decentralized environments. Current affiliation: USI Faculty of Informatics Prior affiliations: Purdue University (2005-2016), TU Darmstadt (2014-2017), MIT (2012/2013) Research Interests Distributed Systems : Investigating reliable failure detection, deterministic data paths for 6G, and hybrid synchronous/asynchronous architectures. Network Innovation : Optimizing TCAM encoding, analyzing microbursts, and developing quantum network protocols. Security & Verification : Creating confidentiality-preserving mechanisms and formal verification approaches for distributed software. Scientific Contributions 2025: Best paper at TACAS on Horn clause validation 2025: IFIP Jean-Claude Laprie Award for dependable computing 2024: Key papers at IEEE Network, ACM PLDI, and IEEE INFOCOM Funding & Collaborations Swiss National Science Foundation grants #200021_197353 and #200021_192121 EU Horizon Europe MSCA staff exchange project CloudStars Industry partners: Cisco, Amazon AWS, Facebook Research, SAP, Northrop Grumman Cybersecurity Research Consortium Labs & Teams Directs the SWYSTEMS group, which includes postdocs like Sina Darabi and Shamiek Mangipudi, PhD students such as Anita Buckley and Jérôme Graf, and alumni who have become faculty at institutions like Télécom Paris and University of Southern California.

Jorge Fandinnoمشاهده پروفایل

استادیار

• Artificial Intelligence
• Knowledge Representation
• Reasoning
• +۵ مورد دیگر

Dr. Jorge Fandinno is an Assistant Professor of Computer Science at the University of Nebraska at Omaha since 2020. His academic journey includes an Alexander von Humboldt Fellowship at the University of Potsdam (Germany) and a Postdoctoral Fellowship at the Toulouse Institute of Computer Science Research (France). He earned his Ph.D. in Computer Science from the University of Corunna (Spain) in 2015. Current Role: Assistant Professor, Computer Science Department, University of Nebraska at Omaha (2020–present) Previous Roles: Alexander von Humboldt Fellow (University of Potsdam, Germany), Postdoctoral Fellow (Toulouse Institute of Computer Science Research, France) Dr. Fandinno’s research focuses on Artificial Intelligence , particularly in Knowledge Representation and Reasoning , Answer Set Programming , and Epistemic Logic . His work bridges theoretical and practical aspects, including the development of formal semantics, deductive systems, and applications in causal reasoning and constraint handling. Recent publications emphasize automated reasoning, strong equivalence verification, and integrating quantitative information into logic programming frameworks. His scholarly output includes over 60 publications in prestigious venues such as Artificial Intelligence , Journal of Artificial Intelligence Research , and conferences like AAAI, IJCAI, and LPNMR. He has received three best technical paper awards at LPNMR (2015, 2017, 2019) and mentored students who won best student papers at JELIA and ICLP. Notably, he secured a NSF CAREER award (2024) for his project on Answer Set Programming for Quantitative Information. Scientific Awards: NSF CAREER award (2024) Best technical paper, LPNMR 2015 Best technical paper, LPNMR 2017 Best technical paper, LPNMR 2019 Best student paper, JELIA 2019 (supervised student) Best student paper, ICLP 2020 (supervised student) Dr. Fandinno’s publications span theoretical advancements in logic programming, epistemic reasoning, and practical applications in causal analysis and constraint satisfaction. His recent work explores automated reasoning tools (e.g., Anthem 2.0 ), recursive aggregates, and complexity assessments in ASP.

• Programming Languages
• Formal Methods
• Compilers
• +۳ مورد دیگر

Jacob Laurel is an Assistant Professor in the School of Computer Science at Georgia Institute of Technology. His research focuses on applying continuous mathematics to develop program analyses for differentiable and probabilistic programming languages, with current emphasis on precise, general, and scalable static analyses for Automatic Differentiation. He holds a PhD in Computer Science from the University of Illinois Urbana-Champaign (expected Fall 2024) and dual bachelor's degrees in Electrical Engineering and Applied Mathematics (Scientific Computation Track) from the University of Alabama at Birmingham. Education: PhD in Computer Science, University of Illinois Urbana-Champaign (expected 2024) Bachelor of Science in Electrical Engineering, University of Alabama at Birmingham Bachelor of Science in Applied Mathematics (Scientific Computation Track), University of Alabama at Birmingham Research interests include advancing compiler optimizations, formal verification techniques, and mathematical frameworks to improve program analysis in machine learning and probabilistic systems. His work has been recognized in top-tier conferences such as POPL, OOPSLA, ESOP, DAC, DATE, CVPR, and ICLR. No specific scientific awards or grants are explicitly listed in the provided information. Current affiliations include the School of Computer Science at Georgia Tech. His research group likely focuses on interdisciplinary applications of mathematics in programming language theory, though specific lab/team details are not mentioned.

Chang Louمشاهده پروفایل

استادیار

• Distributed Systems
• Cloud Computing
• Runtime Assurance
• +۴ مورد دیگر

Chang Lou is an Assistant Professor in the Department of Computer Science at the University of Virginia, part of the School of Engineering and Applied Science. His research focuses on enhancing cloud system reliability through runtime assurance, distributed systems, and formal verification techniques. He holds a Ph.D. from Johns Hopkins University (2023) and a B.S. from Shanghai Jiao Tong University (2016), with a gap year at IPADS under Prof. Haibo Chen. Education: Ph.D., Computer Science, Johns Hopkins University, 2023 (Advisor: Prof. Peng Huang) B.S., Computer Science, Shanghai Jiao Tong University, 2016 Research Interests: Dr. Lou’s work addresses complex failures in distributed systems, including runtime failure detection, formal verification for ML models, and anomaly mitigation in cloud infrastructure. His lab develops tools like OKLib and RESIN , deployed in production environments such as Microsoft Azure. Recent efforts include NSF-funded research on low-effort runtime assurance for cloud systems. Awards: Recipient of the NSF CAREER Award (2024), NSDI’20 Best Paper Award, and the ACM SIGOPS Dissertation Honorable Mention (2023). Teaching: Teaches CS4740: Cloud Computing and CS6501: Cloud System Reliability at UVA. Courses emphasize distributed systems principles, reliability techniques, and practical project-based learning. Service: Serves on program committees for NSDI’26, SOSP’25, EuroSys’25, and others. Co-organizes workshops on Formal Methods in Networked Systems (SIGCOMM 2024).

• Logic
• Computability Theory
• Lambda Calculus
• +۳ مورد دیگر

Marek Zaionc is a Professor at the Faculty of Mathematics and Computer Science, Jagiellonian University in Kraków, Poland. He specializes in theoretical computer science, logic, and computability theory. His research focuses on asymptotic properties of logical systems, lambda calculus, and the quantitative analysis of fuzzy logics. He has held visiting positions at institutions including the University of Alabama (USA), University of Buffalo (USA), and Université de Versailles (France). Education and Career: PhD in Mathematics, University of Warsaw (1985) Habilitation, Jagiellonian University (1993) Professor of Mathematical Sciences, Jagiellonian University (2003) Deputy Dean of Faculty of Mathematics and Computer Science (2002–2003) Research Interests: Asymptotic probability in logic and computability Typed lambda calculus and functional programming Quantitative studies of fuzzy logics and non-classical logics Combinatorial analysis of logical terms and structures Grants and Projects: NCN Grant (2019–2023): Investigating asymptotic equivalence in set theories NCBR Grant (2014–2017): Asymptotic methods in lambda calculus and combinatory logic Narodowe Centrum Badań (2010–2013): Quantitative studies in logic and computation Awards and Recognition: While no specific awards are listed, his extensive publications and leadership roles reflect significant contributions to theoretical computer science and logic. Labs and Teams: Active contributor to the Algorithmics Research Group and Foundations of Computer Science initiatives at Jagiellonian University.

• Concurrency and Parallelism
• Real-time Systems
• Distributed Systems
• +۶ مورد دیگر

Lukasz (Luke) Ziarek serves as Associate Dean for Academic Affairs and Associate Professor in the Department of Computer Science and Engineering at the University at Buffalo's School of Engineering and Applied Sciences. His work bridges theoretical computer science with practical systems engineering, focusing on real-time capabilities in distributed environments and safety-critical applications. His educational foundation includes a PhD in Computer Science from Purdue University (2011) and a BS in Computer Science from the University of Chicago (2003). Ziarek's research centers on formal verification of distributed protocols , real-time systems engineering , and mobile/embedded computing . He pioneers session type theory for IoT security, develops real-time variants of Android (RTDroid) and Standard ML (RTML), and investigates UAV software reliability. His work consistently addresses the tension between theoretical guarantees and practical system constraints in concurrency, timing, and security. Recent publications (2022-2025) reveal three dominant trajectories: formal methods for rate-based session types in IoT protocols, performance analysis of visual SLAM systems for robotics, and security vulnerabilities in embedded platforms like ARM TrustZone. These threads converge on ensuring correctness and timeliness in resource-constrained distributed systems. His scientific accolades include the IEEE Region One Technological Innovation Award (2023) and NSF CAREER Award (2018), reflecting dual excellence in research and education. IEEE Region One Technological Innovation (Academic) Award, 2023 President Emeritus and Mrs. Meyerson Award for Distinguished Undergraduate Teaching and Mentoring, 2022 NSF CAREER Award, 2018 SEAS Early Career Teacher of the Year, 2016 Halstead Award for Outstanding Research in Software Engineering, 2009 Intel Fellowship, 2008 GAANN Fellowship, 2004 Ziarek directs significant research initiatives including a $900K NSF UAV infrastructure project (as PI) and a $1.7M MRI grant for connected vehicle testing. His funding portfolio spans real-time systems, compiler design, and pocket-scale data management, emphasizing collaborative, interdisciplinary approaches to software reliability. CRI:CI-New UAV Infrastructure ($900K, PI 31%) NSF CAREER: Real-time Object-Oriented Systems ($500K, PI 100%) MRI: iCAVE2 Vehicle Testing ($1.7M, co-PI 14%) III: Just-in-Time Data Structures ($499K, co-PI 50%) II-EN: MLton Compiler Research ($606K, PI 63%) He leads an open-source ecosystem including RTDroid (real-time Android), Multi-MLton (parallel SML compiler), and BlueSeal (Android security analyzer), fostering community-driven advances in systems software.

Deian Stefanمشاهده پروفایل

دانشیار

• Security
• Programming Languages
• Systems
• +۷ مورد دیگر

Deian Stefan is an Associate Professor in the Computer Science and Engineering (CSE) Department at University of California, San Diego (UCSD) . His research focuses on secure systems , spanning security , programming languages , and systems . Notably, he works on WebAssembly , JavaScript JITs , and language-based security (e.g., constant-time programming, memory safety, information flow control). Education : PhD in Computer Science from Stanford University (2015), M.Eng and B.Eng in Electrical Engineering from Cooper Union (2011) His research trend emphasizes secure compilation , transient execution attacks , and hardware-software co-design for security . Key themes include SFI (Software Fault Isolation) , constant-time cryptography , and WebAssembly hardening . Scientific Awards Distinguished paper awards at POPL 2023, IEEE MICRO Top Picks 2024 IEEE Cybersecurity Award for Practice 2022 CSA W first place (2020), DJB Prize (2010) He teaches graduate courses like CSE 227: Graduate Computer Security and CSE 291: Building Secure Systems , covering topics from supply chain attacks to hardware defenses . He co-founded web-security startup Intrinsic (acquired by VMWare).